0 -> T T -> 0 T -> 0 E -> 0 0 -> E 0 -> E