비의 미적 특성에 대한 쌀의 정리

라이스 장관은 정리의 유일한라고 우리에게 이야기 의미 의 특성 튜링 기계 우리가 결정할 수 있음 (기계에 의해 계산 된 기능 즉, 속성) (즉, 항상 진실하고 항상 false) 두 사소한 특성이 있습니다.

그러나 결정 할 수없는 Turing Machines의 다른 속성이 있습니다. 예를 들어, 주어진 튜링 머신에 도달 할 수없는 상태가있는 특성은 결정 불가능한 입니다. $^{\dagger}$

쌀의 정리와 유사한 성질의 결정 성을 분류하는 유사한 정리가 있습니까? 정확한 정의가 없습니다. 내가 제시 한 예를 다루는 알려진 정리는 저에게 흥미로울 것입니다.

$^\dagger$ Kleene 's Recursion / Fixed Point 정리를 사용하여이 세트를 결정할 수 없음을 쉽게 증명할 수 있습니다.

computability undecidability

— 카베
소스

정지 문제는 본질적으로 정지 상태에 도달 할 수 있는지에 대한 문제이므로 어떤 상태에 도달 할 수 있는지에 대한 일반적인 질문은 확실히 해결할 수 없습니다.

— Carl Mummert

@Carl, 예, 알고 있습니다. 그러나 그것은 나의 예와 다릅니다. 내 예는 다음과 같습니다 : <M>, 도달 할 수없는 상태가 있습니까? 제거하면 입력에 기계에 영향을 미치지 않습니다. 공식적인 방법의 질문과 비슷합니다. 불필요한 코드 줄이 있습니까? (일반적으로 프로그램이 예상대로 작동하지 않음을 의미합니다).

— Kaveh

@Kaveh : 일반적으로 중단 문제는 완전히 자신의 입력을 무시 기계의 정지 문제에 -equivalent, 기계 중단 문제 ''는 ''는 정지 상태에 도달 할 수 있는지 여부의 문제의 특수 학급에 대한 감각.

1

$1$

— Carl Mummert

@Carl, 그렇습니다. 직접 축소를 알고 있습니다 (다른 모든 주에 도달 할 수 있도록해야합니다). 그러나 내 질문은 문제 자체에 관한 것이 아니라 결정 불가능한 비의 미적 언어의 쉬운 예였습니다. 비의 미적 속성을 다루는 라이스 정리와 비슷한 것이 있는지 아십니까? 아니면 그러한 정리가 존재하지 않을 것이라고 생각합니까?

— Kaveh

$\Sigma^0_1$ $m$ $\Sigma^0_1$

$\Sigma^0_1$

— 칼 머 머트
소스