Abstrakt. Vi visar att många klassiska beslutsproblem om 1-counter-språk, sammanhangsfria språk, eller obegränsade rationella relationer, är Π 1 2 -fullständiga, alltså ligger på den andra nivån i den analytiska hierarkin, och "mycket obeslutbara". I synnerhet universalitetsproblemet, integrationsproblemet, ekvivalensproblemet, determinibilitetsproblemet, komplementaritetsproblemet och de tvetydiga problemen är alla D 1 2 -kompletterade för kontextfria språk eller för obegränsade rationella förbindelser. Topologiska och aritmetiska egenskaper hos 1-counter-språk, sammanhangsfria språk, eller oändliga rationella relationer, är också mycket obeslutsamma. Dessa mycket överraskande resultat ger de första exemplen på mycket obeslutsamma problem med beteendet hos mycket enkla finita maskiner som 1-counter automata eller 2-tape automata.
Vissa fullständighetsresultat för låga nivåer av den analytiska hierarkin för beslutsproblem om obegränsade rationella relationer visades i REF.
Highly Undecidable Problems For Infinite Computations
{'venue': 'RAIRO - Theoretical Informatics and Applications 43, 2 (2009) 339-364', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}