pbt4automata
