Изменения

Теорема о рекурсии

1 байт добавлено, 04:56, 23 января 2012

Нет описания правки

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

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

{{Утверждение

|id=st2

271

правка