Изменения

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

|definition=Язык <tex>\ U = \{\langle p, x \rangle \ |\ p(x) = 1\} </tex> называется '''универсальным'''('''universal''').