tcp automata corrected