Изменения
Новая страница: «{{Определение |definition=Язык <tex>L</tex> называется '''разрешимым''' ('''рекурсивным'''), если существу...»
{{Определение
|definition=Язык <tex>L</tex> называется '''разрешимым''' ('''рекурсивным'''), если существует такая программа <tex> p </tex>, что <tex> \forall w \in L: p(w) = 1</tex> и <tex> \forall w \notin L: p(w) = 0</tex>.
}}
|definition=Язык <tex>L</tex> называется '''разрешимым''' ('''рекурсивным'''), если существует такая программа <tex> p </tex>, что <tex> \forall w \in L: p(w) = 1</tex> и <tex> \forall w \notin L: p(w) = 0</tex>.
}}
