Explore and build formal models: finite automata, PDAs, CFGs, and Turing machines.
Create and simulate finite automata. Design states, transitions, and test input strings.
Model stack-based machines with push/pop transitions and simulate step-by-step.
Edit productions, derive strings, and visualize parse trees.
Define states, tape actions, and run multi-step simulations with breakpoints.