Minden eldönthető nyelv felismerhető?

Pontszám: 4,3/5 ( 58 szavazat )

Megjegyzés: Az eldönthető nyelvek a kiegészítés alatt zárva vannak, de a felismerhető nyelvek nem . – A csak írás azt jelenti, hogy (a) a kimeneti szalagon lévő szimbólum nem befolyásolja az átmeneteket, és (b) a szalagfej csak jobbra mozog.

Minden reguláris nyelv eldönthető?

A reguláris nyelvek mindegyike TM által eldönthető . (B) Ha L és ¯ L TM által eldönthető, akkor L TM felismerhető. ... Minden utótag nyelvhez legalább egy állapot tartozik. (E) Ha L szabályos és L′ TM-eldönthető, akkor L ∩ L′ ​​TM-eldönthető.

Minden eldönthető nyelv rekurzív?

Minden eldönthető nyelv rekurzív nyelv és fordítva.

Honnan tudod, hogy egy nyelv felismerhető-e?

Egy L nyelv akkor és csak akkor ismerhető fel, ha létezik ellenőrző L nyelvre, ahol a hitelesítő egy Turing-gép, amely minden bemenetre és minden w∈Σ∗, w∈L↔∃c∈Σ∗ esetén megáll. V elfogadja a ⟨w,c⟩-t.

35 kapcsolódó kérdés található