Finite Automata introduction with inputs