Non-determinisitic finite automata (aka FNA, NDFA). http://www.cs.rpi.edu/~goldberg/NOTES-aut/node2.html http://www.wikipedia.com/wiki/Finite_state_machines