- Deterministic--there is no element of choice
- Finite--only a finite number of states and arcs
- Acceptors--produce only a yes/no answer

One designated state is the

Some states (possibly including the start state) can be designated as

Arcs between states represent

Copyright © 1996 by David Matuszek

Last modified Jan 29, 1996