Нормальні алгоритми: відмінності між версіями

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