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