Test for semi-automatism

This is a test for semi-automatism, but it can be used to test for k-automatism as well.

Please enter your substitution in the following form:

    a>abc
b>cab
c>ab


or:

    0>01
1>0


as long as you do not use any of the letters x or X.