Une question relative à une machine de Turing avec un état inutile


10

OK, voici donc une question d'un test passé dans ma classe de théorie du calcul:

Un état inutile dans une MT est celui qui n'est jamais entré dans une chaîne d'entrée. Laissez Prouver que U S E L E S S T M est indécidable.

USELESSTM={M,qq is a useless state in M}.
USELESSTM

Je pense avoir une réponse, mais je ne sais pas si elle est correcte. L'inclura dans la section des réponses.


À l'avenir, veuillez inclure vos tentatives dans la question!
Raphael

1
@Rapael Je viens de le faire. Je l'ai écrit quand j'ai posé la question, mais étant donné mon manque de réputation, je n'ai pas pu le poster pendant au moins 8 heures. Je serais intéressé de savoir si c'est une réponse valide.
BrotherJack

Non, je voulais simplement l'inclure dans la question s'il y a des points précis où vous n'êtes pas certain.
Raphael

Réponses:


12

MxM,xMxMxUSELESSTM


..et comme le problème d'arrêt est indécidable, ce problème est également indécidable, n'est-ce pas?
BrotherJack

En effet, c'est correct.
Ran G.

2

USELESSTM

R

  • MPM
  • P
  • À partir de l'état de départ, commencez une recherche en largeur le long de chaque bord sortant marquant chaque nœud non marqué.
  • q

S

  1. R
  2. qR
  3. RR

RUSELESSTMSATMATMUSELESSTM


Quelle est la signification de transformer un TM en PDA avec une pile détendue?
Ran G.

1
RL
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.