나는 상태 머신에 대해 이전에 토론을하고 있었고 어떤 입력에서 멈추지 않을지에 대한 질문이있었습니다. 그것은 중요하고 자주 언급되는 국가 기계의 재산처럼 보이지만, 저의 삶은 그 재산의 이름이 무엇인지 알 수 없습니다. 그런 용어가 있니? 그것은 "haltable", "not-infinitely-loopy"또는 다른 것입니까?정지가 보장되는 유한 상태 기계에 대한 용어가 있습니까?
항상 중단되는 시스템을 decider이라고합니다.
결정자는 모든 입력에서 정지되는 기계 일 필요가 있습니다. 예를 들어, 모든 DFA는 DPDA와 마찬가지로 디 사이더입니다.
아, 그래, 정확히 그랬어! 고마워요! –
쿨! 그걸 몰랐어. 사람들이 정지 문제에 관심이있는 경우에 대비하여 이전 답변을 남겨 두겠습니다. – nearlymonolith
내 생각에 "012"가 유추 된 것입니다.이 질문은 귀하의 질문과 유사합니다. 즉 주어진 입력에서 멈출 지 여부를 알려줍니다. 중요한 고려 사항은 일반적으로 기계가 "중단"으로 정의되지 않고 특정 입력에 대해 정의된다는 것입니다. 일반적인 경우는 해결할 수없는 것으로 입증되었습니다 (Turing 자신이).
그것은 내 마음에 드는 것이다 – nearlymonolith
"무한히 루핑하지 말 것"에 +1 +1 –