0 -> S S -> 0 S -> R R -> S 0 -> R