Модель машины Тьюринга на C# / Примеры / Вычитание / sub_rules

_ s1 -> _ s1 r
1 s1 -> 1 s2 l
_ s2 -> # s3 r
_ s3 -> _ s4 r
1 s3 -> 1 s3 r
_ s4 -> # s5 l
1 s4 -> 1 s4 r
_ s5 -> _ s6 h
1 s5 -> 1 s5 l
_ s6 -> _ s6 r
1 s6 -> _ s7 l
# s6 -> _ s8 l
_ s7 -> _ s7 l
1 s7 -> _ s6 r
_ s8 -> _ s8 l
1 s8 -> 1 s8 l
# s8 -> _ s0 l