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
#3 13. 04. 2011 10:53
Re: Rozhodnutelnost UHP problemu
UHP znamena to co je v zadani to je specifikace problemu jde o to navrhnout algoritmus pro prevod vstupu HP problemu na vstup UHP problemu
tj. vstup HP problemu je :
Kod m1,w1
Kod m2,w2
atd
vystupy ANO/NE
otazka zni jak prevedu
Kod m1,w1 -> na Kod m´1
na internetu jsem nasel nasledujici postup:
Pøi prokázání HP ! UHP staèí navrhnout algoritmus, který k zadanému M, w sestrojí
stroj M0, jen¾ nejdøíve otestuje vstup a v pøípadì, ¾e jde o w, `spustí' (podprogram) M a
v opaèném pøípadì se ihned zastaví.
ale neni mi jasny prevod
Offline