3622
правки
Изменения
→Вычислительные формализмы
# Оформить правильно источники информации
# Добавить категории
<li> ''взялиfixed'' [[Стековые машины, эквивалентность двухстековой машины МТ]] (0.5) </li>
# Интервики
# Разбить доказательство на абзацы для читабельности
# Добавить категории
# Правильно оформить источники информации
<li> ''взялиfixed'' [[Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ]] (0.5) </li>
# Оформить правильно источники информации
# Добавить категории
<li> ''взялиfixed'' [[Линейный клеточный автомат, эквивалентность МТ]] (0.5) </li>
# Англоязычные термины правильно оформить
# Переменные взять в Tex
