finite automaton#Mathematical model