A finite state automaton.

These classes implements a finite state automaton. States of automaton are represented by text names.