FA, PDA and LBA full support

Finite automata basic support: transition tables, formal definitions, graph manipulation, undo, step-by-step/fast recognition, both for DFAs and NFAs.