Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#1 04. 11. 2011 10:37 — Editoval Lordikcz (04. 11. 2011 17:15)
Riceova věta
Dobrý den chtěl bych jestli by mi někdo zkusil nějak srozumitelně vysvětli Riceovu větu týkající se rekurzivnosti jazyka TS.
Pokud existuji stroje splňující tyto podmínky,tak jak jazyk L není rekuzivní.
Mějme nějaký jazyk L o kterém chceme zjistit jestli je nebo není rekurzivní.
M1 a M2 v poslední podmínce jsou jiné než ty v předcházející a pokud jazyk splňuje všechny tyto podmínky,tak není rekurzivní,ale nějak mi to nedochází proč :-(
Offline
#2 04. 11. 2011 18:03
- check_drummer
- Příspěvky: 5506
- Reputace: 106
Re: Riceova věta
Ahoj. Co se myslí pod pojmem L(M)? Díky.
"Máte úhel beta." "No to nemám."
Offline