I -> "(()()()))" &
O -> N &
Q -> 0 &
K -> "$" &
(
Q0 -> 1 & I"("... -> ... & K... -> "$"... |
Q1 -> 1 & I"("... -> ... & K... -> X... |
Q1 -> 1 & I")"... -> ... & KX... -> ... |
Q1 -> 0 & I")"... -> ... & K"$"... -> ... |
Q0 -> 2 & I -> & O... -> Y
)*