Предполагается, что на ленту можно записывать символы 0,1,2,3,4,5,6,7. "_" - пустой символ.
Входные данные: двоичное число, например, 10100101, головка под первой слева цифрой. Начальное состояние 0.
На выходе: восьмеричное число, напрмер, 245, головка под первой слева цифрой. Конечное состояние либо 26, если перевод успешен, либо 6, если числа как такового нет (т.е. на вход подана пустая лента), либо 0, если встретились недвоичные цифры.
Команды записаны так: [состояние, символ на ленте] => [новое состояние, новый символ на ленте или L или R], где L и R - шаг головки влево и вправо, соответственно.
| Код |
[0, 0] => [0, R]
[0, 1] => [0, R]
[0, _] => [1, L]
[1, 0] => [2, L]
[1, 1] => [2, L]
[1, _] => [6, R]
[2, 0] => [3, L]
[2, 1] => [3, L]
[2, _] => [2, 0]
[3, 0] => [1, L]
[3, 1] => [1, L]
[3, _] => [6, 0]
[4, 0] => [6, 0]
[4, 1] => [6, 2]
[4, 2] => [6, 4]
[4, 3] => [6, 6]
[4, _] => [4, L]
[5, 0] => [6, 1]
[5, 1] => [6, 3]
[5, 2] => [6, 5]
[5, 3] => [6, 7]
[5, _] => [5, L]
[6, 0] => [7, R]
[6, 1] => [7, R]
[6, 2] => [7, R]
[6, 3] => [7, R]
[6, 4] => [7, R]
[6, 5] => [7, R]
[6, 6] => [7, R]
[6, 7] => [7, R]
[7, 0] => [4, _]
[7, 1] => [5, _]
[7, _] => [8, R]
[8, 0] => [4, _]
[8, 1] => [5, _]
[8, _] => [9, R]
[9, 0] => [10, R]
[9, 1] => [10, R]
[9, _] => [24, L]
[10, 0] => [10, R]
[10, 1] => [10, R]
[10, _] => [11, L]
[11, 0] => [12, _]
[11, 1] => [13, _]
[12, 0] => [14, _]
[12, 1] => [15, _]
[12, _] => [12, L]
[13, 0] => [16, _]
[13, 1] => [17, _]
[13, _] => [13, L]
[14, 0] => [18, L]
[14, 1] => [18, L]
[14, _] => [18, L]
[15, 0] => [19, L]
[15, 1] => [19, L]
[15, _] => [19, L]
[16, 0] => [20, L]
[16, 1] => [20, L]
[16, _] => [20, L]
[17, 0] => [21, L]
[17, 1] => [21, L]
[17, _] => [21, L]
[18, 0] => [14, 0]
[18, 1] => [15, 0]
[18, _] => [22, 0]
[19, 0] => [16, 0]
[19, 1] => [17, 0]
[19, _] => [23, 0]
[20, 0] => [14, 1]
[20, 1] => [15, 1]
[20, _] => [22, 1]
[21, 0] => [16, 1]
[21, 1] => [17, 1]
[21, _] => [23, 1]
[22, 0] => [22, L]
[22, 1] => [22, L]
[22, _] => [6, 0]
[23, 0] => [23, L]
[23, 1] => [23, L]
[23, _] => [6, 1]
[24, 0] => [25, L]
[24, 1] => [25, L]
[24, 2] => [25, L]
[24, 3] => [25, L]
[24, 4] => [25, L]
[24, 5] => [25, L]
[24, 6] => [25, L]
[24, 7] => [25, L]
[24, _] => [24, L]
[25, 0] => [25, L]
[25, 1] => [25, L]
[25, 2] => [25, L]
[25, 3] => [25, L]
[25, 4] => [25, L]
[25, 5] => [25, L]
[25, 6] => [25, L]
[25, 7] => [25, L]
[25, _] => [26, R]
|
На оптимальность не претендую  |