A modern, open-source replacement for JFLAP 7.1 — design, simulate, and experiment with formal languages and automata.
Scroll down
Build, simulate, and export automata with a tool designed for students, educators, and researchers.
Create, edit, and simulate deterministic and nondeterministic finite automata with an intuitive visual editor.
Build PDAs with real-time stack visualization. Watch the stack grow and shrink as input is processed step-by-step.
Single-tape Turing machine editor and simulator. Step through computation and watch the tape head move in real time.
Import and export .jff files seamlessly. Fully compatible with JFLAP 7.1 format for easy migration.
Use Jauto directly in the browser or download the native desktop app for Windows and macOS.
Built with TypeScript, Vue 3, and Vite. Fast, responsive, and designed with a clean modern interface.
JFLAP has been the go-to tool for formal languages and automata courses for decades. But its Java-based interface feels outdated, and it hasn't kept up with modern workflows.
Jauto is a ground-up rewrite as a modern web and desktop application. It's faster, more intuitive, and fully open source — so anyone can contribute, extend, and improve it.
Whether you're a student learning automata theory for the first time or an educator running a lab session, Jauto gives you a seamless experience across every platform.
Jauto is free and open source. Use it in the browser instantly, or download the native app for your platform.
No installation needed. Open Jauto in your browser and start building automata right away.
Open in Browser →Download the native desktop app for Windows. Full offline support with native file handling.
Download for Windows →Coming soon.
Make it happen →