PAK kempelen s automaton