1
공허 문제를 결정할 수없는 가장 간단한 계산 모델은 무엇입니까?
공허 문제를 결정할 수없는 가장 간단한 계산 모델은 무엇입니까? 계산 모델의 공허 문제 (예 : 유한 상태 오토 마톤, 교류 푸시 다운 오토 마톤, 카운터가있는 경계 오류 양자 오토 마톤, 결정적 LBA 등)는 해당 머신에 대해이 머신이 인식 / 정의한 언어인지 여부를 결정하는 것입니다. 비었다. 여기서 기계에 대한 설명은 유한해야합니다! …