Epätyhjyysongelma

testwikistä
Versio hetkellä 21. huhtikuuta 2017 kello 22.49 – tehnyt imported>Hezzu (Lähde?)
(ero) ← Vanhempi versio | Nykyinen versio (ero) | Uudempi versio → (ero)
Siirry navigaatioon Siirry hakuun

Epätyhjyysongelmalla tarkoitetaan kysymystä siitä, hyväksyykö jokin mielivaltainen Turingin kone yhtään syötemerkkijonoa.Malline:Lähde Kyseessä on pysähtymisongelman tavoin ratkeamaton ongelma. Ongelman voi esittää myös formaalina kielenä seuraavasti: NE={c∈{0,1}*|L(Mc)≠∅}

Malline:Tynkä/Tietotekniikka

Noudettu kohteesta ”https://fi.wiki.beta.math.wmflabs.org/w/index.php?title=Epätyhjyysongelma&oldid=589”