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