Finite_Automata_HF