Dopełnienie języka rekurencyjnie przeliczalnego - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › Dopełnienie języka rekurencyjnie przeliczalnego

Ilość wypowiedzi w tym wątku: 2

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

[ pokaż wiadomość z nagłówkami ]

do góry
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 :)

[ pokaż wiadomość z nagłówkami ]

do góry