«linear-bounded-automata» 태그된 질문

적어도 제 자신의 참고 문헌 (Hopcroft + Ullman 1979)에서 Turing machine (TM)의 기본 정의는 결정적입니다. 따라서 정지 문제에 대한 내 자신의 이해 는 주로 결정 론적 TM에 대한 것이지만 다른 종류의 오토마타에서도 고려 될 수 있음을 알고 있습니다. 또한 사람들이 종종 TM을 참조하는 방식이나 정지 문제를 결정하는 데있어 결정론이 다소 …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

나는 Wikipedia 와 다른 텍스트를 읽었습니다. 정지 문제는 [...] LBA ( linear bounded automata ) [및] 유한 메모리를 가진 결정 성있는 머신에 대해 결정 가능합니다. 그러나 이전에는 정지 문제가 결정 불가능한 문제이므로 TM이 해결할 수 없다고 기록되었습니다! LBA는 TM의 유형으로 정의되므로 동일하지 않아야합니까?

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

나는 유한 한 우리의 컴퓨터가 궁극적으로 Finite State Machine보다 강력하지 않다는 인상을 받았습니다. 그러나 선형 경계 튜링 머신은 유한하지만 정규 언어는 문맥에 맞는 언어의 부적절한 하위 집합 인 것 같습니다. 분명히, 나는 여기에 뭔가 빠져 있습니다. 무슨 일이야?

11 finite-automata  computation-models  linear-bounded-automata