-
1. Data: 2011-02-13 13:00:39
Temat: Dopełnienie języka rekurencyjnie przeliczalnego
Od: Pol <p...@g...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
mógłby go z grubsza opisać?
Pozdrawiam
Pol
-
2. Data: 2011-03-05 08:35:24
Temat: Re: Dopełnienie języka rekurencyjnie przeliczalnego
Od: "Rafal\(sxat\)" <g...@u...to.op.pl>
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 :)
do góry
Freelancer: jak pracuje, ile zarabia, skąd ma zlecenia?
