A Two-Way Pushdown Automaton for the Lua Language

131235-Thumbnail Image.png
Description
A two-way deterministic finite pushdown automaton ("2PDA") is developed for the Lua language. This 2PDA is evaluated against both a purpose-built Lua syntax test suite and the test suite used by the reference implementation of Lua, and fully passes both.
Date Created
2020-05
Agent