1 2 3 4 5 6 7 8 9
I -> cat & Q -> 0 & O -> N & ( Q0 -> 1 & Ic... -> ... | Q1 -> 2 & Ia... -> ... | Q1 -> 2 & Io... -> ... | Q2 -> 3 & It -> & O... -> Y )*