나는이 DFA을 최소화하기 위해 노력하고 있어요 : http://img145.imageshack.us/img145/3006/dfac.png 여기 내 최소화 DFA 것 : http://img195.imageshack.us/img195/4131/mdfa.png 내가 수정 있습니까? 감사합니다. P.S.- 숙제입니다. 우리는 숙제를 의논 할 수 있습니다. 나는
G의 언어가 nil 인 문맥 자유 문법 G가있는 경우 G는 결정 가능합니까? 나는 대답이 '예'라는 것을 알고 있지만, 이것을 증명하는 데 문제가 있습니다. 나의 첫 번째 생각은 G와 같은 Turing Machine의 시작 상태와 수락 상태를 나타내는 상태가 하나만 있다고 가정하는 것입니다.이 컴퓨터는 입력을 허용하지 않고 수락에 도달 했으므로 즉시 중단하
The Design and Analysis of Computer Algorithms 사본이 오늘 도착했습니다. 첫 번째 장에서 저자는 Turing Machines를 소개했습니다. 두 알고리즘의 다른 교과서 인 Introduction to Algorithms과 The Algorithm Design Manual이 있지만 알고리즘과 데이터 구조라는 주제로 유명한
언어가 비 결정적 튜링 기계의 문맥에 민감하다는 것을 어떻게 보여줄 수 있습니까? LBA (Linear Bound Automated Automaton)에서 허용하는 언어는 상황에 영향을받지 않는 언어라는 것을 알고 있습니다. 그리고 LBA는 비 결정적 튜링 기계입니다. 어떤 생각이라도 내가이 모든 것을 어떻게 연관시킬 수 있으며 문맥에 민감한 언어임을 보여
(Φ)를 사용하여 양 끝에 palindrome replacement letters를 찾는 것은 꽤 쉽습니다. ΦabaΦ
ΦΦbaΦ
ΦΦbaΦ
ΦΦbaΦ
ΦΦbaΦ
ΦΦbaΦ
ΦΦbΦΦ
ΦΦbΦΦ
ΦΦbΦΦ
ΦΦΦΦΦ
ΦΦΦΦΦ
ΦΦΦΦΦ YES
a를 a로 변경하고 작업 끝에서 A를 a로 변경할 수 있습니다. 그러나 아무도 아이디어가
JFLAP에서 Turing Machine을 만들었습니다. 이진 가산기입니다. 그것은 3 테이프 TM입니다 : 첫 번째 두 개의 테이프는 입력이고, 세 번째 테이프는 출력을 얻습니다. 일괄 테스트 (정보는 here입니다)를 수행하려고하면 내 .txt 파일에서 세 번째 문자열을 출력 테이프로 사용할 수 없습니다. 내 .txt 파일이 같이 내장되어 있습니다 :
튜링 머신과 PDA에 대해 공부할 때 첫 번째 컴퓨팅 디바이스가 튜링 머신이라고 생각했습니다. 따라서 나는 튜링 기계라고 불리는 실용적인 기계가 있으며 그 상태가 특수 장치 (예 : 플립 플롭)로 표현 될 수 있으며 자기 테이프의 입력을 받아 들일 수 있다고 생각했습니다. 따라서 의심 나는 How input string is represented in ma