AutomataLab v2.0.0
·
8 commits
to c7667925c341e2d248be379da30bb9be035f922b
since this release
AutomataLab v2.0.0 brings Pushdown Automata to the lab — design them, simulate them, and watch the stack work in real time.
What's new
- Pushdown Automata (DPDA & NPDA) — two new machine types beyond DFA / NFA / ε-NFA. NPDA explores every computation branch breadth-first and accepts by final state, with guards against ε-loops.
- Live stack visualization — push/pop animations plus an instantaneous-description (ID) readout during PDA simulations.
- Computation-tree viewer (NFA, ε-NFA, NPDA) — the full tree of explored branches, colour-coded by status (accepted / rejected / running), with collapsible subtrees, click-to-inspect, and depth/branch stats.
Fixes
- Input tape no longer renders the current symbol twice — the most-recently-read cell is highlighted once.
- Simulation speed control is guarded against invalid values that could trigger a runaway play loop.
Download & install
Grab the file for your OS from the Assets below:
| OS | File | How to install |
|---|---|---|
| Windows | *-setup.exe |
Run the installer. If SmartScreen pops up → More info → Run anyway. |
| macOS | *.dmg |
Open it and drag the app to Applications. First launch: right-click → Open (app is unsigned). |
| Linux | *.AppImage / *.deb |
AppImage: chmod +x then run. Debian/Ubuntu: sudo dpkg -i <file>.deb. |
Auto-updates are enabled from v1.0.2 onward, so future releases install themselves.
Full details: CHANGELOG