Opérations sous lesquelles la classe des langues indécidables n'est pas fermée

12

Existe-t-il des langages indécidables tels que leur union / intersection / langage concaténé est décidable? Quelle est l'interprétation physique d'un tel exemple car en général, les langages indécidables ne sont pas fermés sous ces opérations?

Que dire de la fermeture de Kleene? En avons-nous aussi des exemples? Est-ce que la fermeture d'une langue indécidable peut être décidable?

Peut-on aussi généraliser de telles classes indécidables?

David Richerby
la source

Réponses:

21

Oui, soit le codage binaire du problème d'arrêt et , , puis (pourquoi?)HA=0H1{0,1}{ϵ}B=1H0{0,1}{ϵ}AB={0,1}

sdcvvc
la source
9

Nous savons que le langage de l'arrêt est indécidable. Soit H son codage binaire. On peut également affirmer que le complément de H est indécidable. Par conséquent, l'union / l'intersection de H et HComp sont et , qui sont décidables.Σϕ


la source
9

Idem pour l'étoile Kleene (fermeture Kleene):

définir avec étant le problème d'arrêt. est clairement indécidable, et , qui est régulier (donc décidable).HP=HP{0,1}HPHP(HP)=Σ

A sonné.
la source
1

Ran a montré que les langues indécidables ne sont pas fermées sous l'opération de l'étoile de Kleen; mais ils ne sont pas fermés sous une simple concaténation "self" ( ); par exemple:LL=L2={xyx,yL}

L={1}{2n}{2n+1nHalt}

L 2L est indécidable, mais est décidable.L2

Vor
la source