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.