finish 2c
alphabet in p-automaton are only alphabet