Użytkownik "Pol" <p...@g...com> napisał w wiadomości
news:f333faac-4523-41c2-91c7-1b6e200f59a5@l18g2000yq
m.googlegroups.com...
Cześć
W polskiej Wikipedii znalazłem zdanie:
Język L jest językiem rekurencyjnym wtedy i tylko wtedy, gdy zarówno
L, jak i jego dopełnienie są rekurencyjnie przeliczalne.
http://pl.wikipedia.org/wiki/J%C4%99zyk_rekurencyjny
Mam pytanie czy ktoś może dysponuje dowodem tego twierdzenia lub



Znów jakiś teoretyk wymyślił opis czegoś czego nie zrozumiał...
wtedy i tylko wtedy... spytaj się autora :)