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