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 )*