Модель машины Тьюринга на C# / Примеры / Умножение числел / Умножение в унарной системе

* s1 -> * s1 r
1 s1 -> 1 s1 r
x s1 -> x s2 r
1 s2 -> a s3 r
1 s3 -> 1 s3 l
a s3 -> a s3 l
= s3 -> = s3 l
x s3 -> x s4 l
1 s4 -> a s5 r
a s4 -> a s4 l
* s4 -> * s7 r
x s5 -> x s5 r
a s5 -> a s5 r
= s5 -> = s5 r
1 s5 -> 1 s5 r
* s5 -> 1 s6 r
_ s6 -> * s6 h
* s6 -> * s3 l
a s7 -> 1 s7 r
x s7 -> x s8 r
a s8 -> a s8 r
1 s8 -> a s3 r
= s8 -> = s9 l
a s9 -> 1 s9 l
x s9 -> x s0 h