Je jazyk rozpoznávaný strojom, ktorý sa rozpoznáva?

Áno, jazyk rozpoznávaný pomocou spoločného rozpoznávateľného stroja je spoločne rekurzívne vymeniteľný jazyk (CO-RE). To je podľa definície.

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 .

• Predchádzajúca strana: Aké sú bežné aplikácie operátora modulu v programovacích jazykoch? 
• Ďalšia strana: Môžete uviesť príklad, ako používať premennú slučky v programovacom jazyku?