Vitajte na [www.pocitac.win] Pripojiť k domovskej stránke Obľúbené stránky
Jazyk L je spoločne rozpoznateľný, ak je jeho doplnok, L ', rozpoznateľný. Turingovo rozpoznateľný jazyk je jazykom, v ktorom môže Turingov stroj zastaviť a akceptovať reťazce v jazyku, ale môže sa navždy vyskytovať na reťazcoch * nie * v jazyku. Spoločne rozoznateľný stroj preto môže v jazyku zastaviť a odmietnuť reťazce * nie *, ale môže navždy slučovať reťazce v jazyku.
Odpoveď je teda definitívny áno .