a list of Turing machine equivalents이라는 위키 백과 문서를 찾았습니다. 그러나 주어진 기계가 Turing machine equivalent인지 여부를 판별하는 방법에 대해서는 알려주지 않습니다. 증명을 위해 튜링 기계의 정의를 사용해야합니까? 예를 들어 주시겠습니까? 감사합니다.
컨텍스트가없는 언어의 집합의 부분 집합임을 증명이 문제를 건너 온 : 당신이 증명할 수있는 방법 정규 언어의 집합이 문맥 - 자유 언어의 집합의 적절한 부분 집합이라는 것을 의미한다. 이제는 언어가 유한 오토 마톤에 의해 받아 들여지는 경우 규칙적인 언어라는 것을 알고 있습니다. 그리고 언어가 문맥이없는 경우는 푸시 다운 자동 완성으로 허용됩니다. 하지만
셀 수없는 이 일부 개정을하려고하지만 확인을이 하나 있음을 증명 : Prove that the set of all languages over a finite alphabet is uncountable.
나는 그것이 Cantor Diagonalization 방법을 사용하여 필요합니다 느낌이있다 -하지만 난 ' 이 문제에 대해 어떻게 사용할지 모르겠습니다.
나는이 DFA을 최소화하기 위해 노력하고 있어요 : http://img145.imageshack.us/img145/3006/dfac.png 여기 내 최소화 DFA 것 : http://img195.imageshack.us/img195/4131/mdfa.png 내가 수정 있습니까? 감사합니다. P.S.- 숙제입니다. 우리는 숙제를 의논 할 수 있습니다. 나는
저는 오토 마타 이론에 관한 수업을 진행하고 있습니다. 그리고 지금 우리는 펌핑 보조 정리를 배우고 있습니다. 우리에게 "L이나 그 보완도 무한한 정규 하위 집합을 갖지 않도록 언어 L을 설계하라"고 요구하는 운동 질문이 있습니다. 그러나 나는 그 질문을 이해하지 못한다. 무한한 정규 하위 집합이란 무엇입니까? 이 요구 사항을 충족시킬 수있는 언어를 어떻게
대다수의 축소는 대칭이 아닙니다. 그것을 증명하려고 노력하고 있지만 작동하지 않습니다. 잘합니다. 을 감안할 때 두 가지 언어 A와 B는 A를 A_TM가 결정 불가능하지만 튜링 인식 할 A={w| |w| is even} , i.e. `w` has an even length
및 B=A_TM로 정의된다! 주어진 다음의 감소 : f(w) = { (P(x):{