FiniteAutomaton. Code to read deterministic or non-deterministic automata and check if a word can be accepted by them