véges állapotú automata (FSA)