Jurnal penerapan finite state automata travel