jFAST is a simple finite automata (FA) graphical simulation utility; it is designed to feature simple mechanisms for creating, editing, and simulating FA. jFAST is ideal for use by students, instructors, and self-guided explorers alike.
A PDA that accepts palindromes
TM that adds two numbers
A PDA representing a simple expression evaluator
A PDA that accepts the language 0(^k)1(^k)
DFA describing 2-bit branch prediction (in Simulation Mode)
Description of the Editing Mode's user interface