editor
177
правок
Изменения
ToDo
=== Todo ===
«…то достаточно показать, что трехсчетчиковая машина эквивалентна по вычислительной мощности трехсчетчиковой машине.» Что-то здесь не так (подсказка: это утверждение очевидно=).<br>
«Тогда операции со стеком можно реализовать на трехсчетчиковой машине:…» В списке каждая строчка с маленькой буквы, строчки заканчиваются точкой с запятой.<br>
Код программы, реализующей добавление в стек {{---}} это замечательно, но мы строим автомат. Интуитивно поняяяятно, конечно, как он строится, но лучше сделать какие-нибудь комментарии (не слишком объёмные, желательно, но чтобы можно было понять, что вообще происходит).<br>
В условии второй леммы стоит заменить нелепый знак <tex>\forall</tex> на русский язык.<br>
«…где <tex>p_{k}</tex> - k-е простое число. Тогда любое состояние k-счетчиковой машины…» Здесь потерян тех. Под конец этого абзаца надо заменить нелепые <tex>\forall</tex> и <tex>\exists</tex> на русский язык.<br>
В доказательстве теоремы стоит указать какую-нибудь ссылку на тезис Тьюринга-Черча.<br>
Нормально оформить источники.<br>
Во всём конспекте править «ё» и тире.[[Участник:Leugenea|Евгений Лукьянец]]
«…то достаточно показать, что трехсчетчиковая машина эквивалентна по вычислительной мощности трехсчетчиковой машине.» Что-то здесь не так (подсказка: это утверждение очевидно=).<br>
«Тогда операции со стеком можно реализовать на трехсчетчиковой машине:…» В списке каждая строчка с маленькой буквы, строчки заканчиваются точкой с запятой.<br>
Код программы, реализующей добавление в стек {{---}} это замечательно, но мы строим автомат. Интуитивно поняяяятно, конечно, как он строится, но лучше сделать какие-нибудь комментарии (не слишком объёмные, желательно, но чтобы можно было понять, что вообще происходит).<br>
В условии второй леммы стоит заменить нелепый знак <tex>\forall</tex> на русский язык.<br>
«…где <tex>p_{k}</tex> - k-е простое число. Тогда любое состояние k-счетчиковой машины…» Здесь потерян тех. Под конец этого абзаца надо заменить нелепые <tex>\forall</tex> и <tex>\exists</tex> на русский язык.<br>
В доказательстве теоремы стоит указать какую-нибудь ссылку на тезис Тьюринга-Черча.<br>
Нормально оформить источники.<br>
Во всём конспекте править «ё» и тире.[[Участник:Leugenea|Евгений Лукьянец]]
