Изменения

==Пример использования==

Используя теорему о рекурсии, приведём простое доказательство неразрешимости языка <tex>L=\{p|p(\epsilon)=\perp\}</tex>.

|id=st2

|statement= Язык <tex>L=\{p|p(\epsilon)=\perp\}</tex> неразрешим.