Aceitar significa que a TM lerá e reconhecerá um caractere da célula da qual está lendo atualmente? E é o caso de uma TM parar se a entrada for decidida?
terminology
turing-machines
undecidability
sdfasdgasg
fonte
fonte
Respostas:
Aceitar e rejeitar o estado em que uma máquina de Turing pode eventualmente entrar, baseia-se na sequência lida na fita, não apenas no símbolo de uma célula. Obviamente, a decisão sobre inserir uma fita de aceitação ou rejeição é finalmente tomada com base em um símbolo.
Uma máquina de Turing pode, eventualmente, entrar em um estado de aceitação, entrar em um estado de rejeição ou fazer um loop para sempre. Se entrar em um estado de aceitação ou rejeição, será interrompido.
Uma máquina de Turing é considerada total se parar em todas as entradas.
O idioma aceito por uma máquina de Turing é o conjunto de todas as palavras que, quando fornecidas como entrada para a máquina de Turing, fazem com que a máquina de Turing entre no estado de aceitação.
Diz-se que um idioma é decidível se, e somente se, existe uma máquina de Turing total que aceitará o idioma.
fonte