TSA 355 automata