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