Introduce Finite State Machines

The first part of chapter 3 on autonomatons, starting with
deterministics FSA and then continuing on to the non-deterministic
kinds.