Нормальні алгоритми: відмінності між версіями
[неперевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Addbot (обговорення | внесок) м Вилучення 7 інтервікі, відтепер доступних на Вікіданих: d:q1900936 |
|||
Рядок 48:
Результатом застосування буде слово <math>||</math>.
== Можливості нормальних
Доведено, що відносно виконуваних перетворень, нормальні
Аналог [[Чорча теза|тези Чорча]] для нормальних алгорифмів є наступний принцип нормалізації А. А. Маркова: будь який алгорифм в алфавіті ''A'' достатньо еквівалентний відносно ''A'' деякому нормальному алгорифма над ''A''.
|