Mobile, desktop and web
Turing Lab
Build and simulate formal languages and automata in an interactive learning workspace.
Explore automata, grammars, regular expressions and Turing machines through editable models and step-by-step traces. Bundled examples provide a starting point for classroom exercises and independent study.
Visual models
Create and edit automata on a responsive canvas.
Simulation and traces
Follow bounded simulations for finite automata, pushdown automata and Turing machines.
Conversions and exercises
Explore grammar transformations, regular expressions, transducers, L-systems and Pumping Lemma exercises.
Import and export
Exchange supported document formats with compatibility and loss diagnostics.