Bug automata

Bug automata