정지 감지기가 얼마나 좋은가요?

거의 모든 튜링 머신의 정지 여부를 결정할 수있는 튜링 머신이 있습니까?

튜링 머신의 열거 와 자연수 세트 ” ⋅ ” 의“크기”에 대한 개념이 있다고 가정 하고 다음을 정의합니다.$\mathbb{N} \rightarrow \{M_i\}$$\| \cdot \|$

다른 ” ⋅ ”에 대해 최소값 의 어떤 특성이 존재 합니까? 예를 들어, 가정 ‖ S ‖는 행 번호의 최대 비율의 limsup 인 K 에 S . 거기 내가 되는 F ( I ) = 0 ?$f$$\| \cdot \|$$\| S \|$$k$$S$$i$$f(i) = 0$

true인지 false인지는 인코딩에 따라 다르기 때문에 "nice"속성이 아닙니다.

David et al의 Asymptotically 거의 모든 용어가 강력하게 정규화$\lambda$ 되어 제목에서 말하는 것을 증명합니다. 그러나이 논문은 또한 SKI- 콤비 네이터 (람다 용어를 구성 적으로 포함 할 수 있음)에 대한 반대 입장을 보여줍니다.

$\lambda$

그러나 람다 용어는 의미 보존 방식으로 SKI 결합기 (또는 그 반대로)와 같은 결합 계산식으로 , 그리고 조합 식 계산법에서 무조건 모든 용어가 루프로 변환 될 수 있습니다.