Нормальні алгоритми: відмінності між версіями
[перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
м оформлення |
Немає опису редагування |
||
Рядок 54:
Аналог [[Чорча теза|тези Чорча]] для нормальних алгорифмів є такий принцип нормалізації А. А. Маркова: будь-який алгорифм в алфавіті ''A'' достатньо еквівалентний відносно ''A'' деякому нормальному алгорифма над ''A''.
Визначення
Використовуючи поняття нормального
== Джерела інформації ==
|