Разрешимые (рекурсивные) языки

Материал из Викиконспекты
Версия от 05:35, 14 декабря 2011; 192.168.0.2 (обсуждение) (Новая страница: «{{Определение |definition=Язык <tex>L</tex> называется '''разрешимым''' ('''рекурсивным'''), если существу...»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Определение:
Язык [math]L[/math] называется разрешимым (рекурсивным), если существует такая программа [math] p [/math], что [math] \forall w \in L: p(w) = 1[/math] и [math] \forall w \notin L: p(w) = 0[/math].
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Разрешимые_(рекурсивные)_языки&oldid=14517»