diff --git a/BACKLOG.md b/BACKLOG.md new file mode 100644 index 0000000..5d6fabb --- /dev/null +++ b/BACKLOG.md @@ -0,0 +1,19 @@ +# Бэклог + +## Машина Тьюринга на ДЛМ («усердный бобёр») + +Идея для следующей статьи на Хабре, если первая хорошо зайдёт. + +ДЛМ — комбинационная схема без памяти, но таблицу правил машины Тьюринга она посчитать может. +Лента на бумаге и память о состоянии — на человеке. Получается «ДЛМ + человек = машина Тьюринга». + +«Усердный бобёр» с двумя состояниями (A0 → 1RB, A1 → 1LB, B0 → 1LA, B1 → 1RH) помещается в машину: + +- входы: А — состояние (0 = A, 1 = B), Б — прочитанный символ, В не нужен; +- выходы: V — что записать (всегда 1), X — сдвиг вправо, Y — следующее состояние B, Z — стоп; +- столбцы: 1 — всё «оба гнезда» → V; 2 — ¬А·¬Б → X; 3 — А·Б → X; 4 — ¬А → Y; 5 — А·Б → Z; +- 5 столбцов из 7, 22 штеккера из 30, 5 перемычек из 7. + +Бобёр на три состояния в лоб не помещается: при прямом кодировании нужно 9 столбцов. Другие кодировки не перебирались. + +Для эмулятора: программа «Машина Тьюринга» и полоска ленты рядом с пультом, по которой человек водит головку по ответам ламп.