Open Source · MIT License

A modern, open-source replacement for JFLAP 7.1 — design, simulate, and experiment with formal languages and automata.

Scroll down

Everything you need for automata theory

Build, simulate, and export automata with a tool designed for students, educators, and researchers.

DFA & NFA

Create, edit, and simulate deterministic and nondeterministic finite automata with an intuitive visual editor.

Pushdown Automata

Build PDAs with real-time stack visualization. Watch the stack grow and shrink as input is processed step-by-step.

Turing Machine

Single-tape Turing machine editor and simulator. Step through computation and watch the tape head move in real time.

JFLAP Compatible

Import and export .jff files seamlessly. Fully compatible with JFLAP 7.1 format for easy migration.

Cross-Platform

Use Jauto directly in the browser or download the native desktop app for Windows and macOS.

Modern Stack

Built with TypeScript, Vue 3, and Vite. Fast, responsive, and designed with a clean modern interface.

Why Jauto?

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.

q₀ q₁ q₂ a b a,b

Download or try it online

Jauto is free and open source. Use it in the browser instantly, or download the native app for your platform.

Contributors

Loading from GitHub…

View on GitHub