Tomato is a simple HTML5-based application for drawing Nondeterministic Finite Automaton (NFA) used in Automata theory.