DFA Tester!

JFLAP is software for experimenting with formal languages topics including nondeterministic finite automata, nondeterministic pushdown automata, multi-tape Turing machines, several types of grammars, parsing, and L-systems. In addition to constructing and testing examples for these, JFLAP allows one to experiment with construction proofs from one form to another, such as converting an NFA to a DFA to a minimal state DFA to a regular expression or regular grammar.

Welcome to Delivering Freight ASAP. This application is a riveting puzzle game and an educational tool rolled into one. Play the three increasingly difficult levels of Delivering Freight ASAP, and learn how Deterministic Finite-State Automata work.

Finitris is a game where the objective is to construct a finite state machine given a regular expression. This is done by placing states on the game field, and labeling the connecting arrows with particular characters.

Create weighted and unweighted graphs and run algorithms step by step. Learn graph theory interactively… much better than a book!