automata_kr