1. A state transition table defining a plurality of statements in a programming language, each statement defined by at least one token, comprising: a plurality of sub-tables, each sub-table corresponding to one of said plurality of statements, wherein each sub-table is a two-dimensional array defining an action for at least one token in at least one state.