Finite State Kernel Creator. SMC: The State Machine Compiler. STAX, The Finite State Machine Compiler & Simulator. What is STAX and where did it come from?
STAX is a programming language designed to develop various types of finite state machines which utilize zero, one or multiple stacks: Deterministic Finite Automata (DFAs), Non-deterministic Finite Automta (NFAs) and Push-down Automata (PDAs). DFAs and NFAa are finite state machines which do not utilize any stacks at all; PDAs utilize one or more stacks. [NOTE: A PDA with two or more stacks has computational power equivalent to a Turing machine, (i.e., can recognize any decidable language).]
STAX was inspired by my theory of computation professor who made it---the semester project, that is---30% of the total grade in the class.