A Java library and Android app for teaching purposes that simulates the operations nondeterministic finite automata.