Added finite automata source