turing-machines

0열

3답변

함수 앞에 전역 변수를 정의한 다음 파이썬의 함수 내에서 전역 변수를 참조하는 방법은 무엇입니까?

나는 튜링 기계에 자신을 아주 기뻐했다. 나는 준 정밀도의 가상 튜링 기계를 만드는 과정에 있지만 단지 해결책이 있음을 알고있는 겉보기에 간단한 문제에 부딪쳤다. 온라인에서 조사했지만 내 문제를 해결 한 항목을 찾을 수 없습니다. 함수 내에서 'l'변수를 호출 가능하게 만드는 방법은 무엇입니까? 내가 함수가 루프 함수 내에서 변수의 초기 값을 정의하는 경우

2열

1답변

이 언어는 결정 가능하고 인식 가능하며 인식 할 수 없습니까?

M이 허용하는 언어가 유한 한 모든 튜링 기계 설명 M으로 구성된 언어 L입니다. 나는 M이 시작과 수락 상태 사이에 루프가 존재하면 거짓을 반환하고 그렇지 않으면 true를 반환하는 함수 D (M)에서 M을 실행할 수 있기 때문에 L은 결정할 수있는 언어라고 말했다. 나는 무한 루프를 감지하는 어려움을 과소 평가하기 때문에 내가 틀렸다는 느낌이 들었습니다

6열

1답변

DFA를 튜링 기계로 변환하는 방법은 무엇입니까?

DFA의 다이어그램을 어떻게 튜링 머신으로 변환 할 수 있습니까? DFA에서 허용하는 언어를 찾아 튜링 머신을 만들어야합니까? 아니면 직접적인 방법이 있습니까? 감사합니다.

1열

1답변

다음 언어가 결정할 수 없음을 증명하는 방법은 무엇입니까?

L = { <M> | M is a Turing machine over {0, 1}, and <M>||<M> (not in) L(M)} L을 인식 할 수 없다는 것을 어떻게 증명할 수 있습니까? 어떤 아이디어? 나는 L compliment 알아볼 입증했습니다이 Set Turing machine to J 1. Run J on input <M>||<M>

2열

1답변

튜링 머신에 DPDA?

결정적 푸시 다운 오토 마톤을 튜링 기계로 변환 할 수있는 방법이 있습니까? 테이프에 입력 한 후 스택에 넣을 생각, 그 사이에 '#'. 그러나 그것을 형식적으로 증명하는 것은 불가능한 것처럼 보입니다. 의견이 있으십니까? 누군가 이미 그것을 했습니까? 감사합니다.

0열

1답변

Turing-Recognizable 언어의 클래스가 보완하에 닫히지 않는 이유는 무엇입니까?

저는 튜링 머신을 공부하고 있습니다. 이미 유니온, 교차, 병합, 보완 및 클라인 스타의 운영을 위해 Turing-Decidable이 어떻게 닫혀 있는지 보여 줬습니다. 다음으로 T-Recognizable 언어가 Union, Intersection, Concatenation 및 Kleene Star에서 어떻게 닫혀 있는지 보여주는 몇 가지 데모를했습니다.

1열

2답변

튜링 기계

나는 언어에 관한 책을 읽고있다. & 오토 마트와 나는 튜링 기계를 이해하지 못한다. 나는 DFA의 NFA와 Pushdown Automata에 대해 아무런 문제없이 가르쳤다. 누군가이 일을 설명해 주시겠습니까? B = | 입력 011,000에서 시작될 때 단계 2 3을 계산하는 동안 {승 # 승 ∈ {0 승, 1} *} 다음 그림은 ML의 테이프 여러 스냅

1열

2답변

2 스택 PDA와 멀티 테루 튜링 기계의 장점

2 스택 PDA와 멀티 테루 튜링 기계의 장점은 무엇입니까? 2 스택 : 튜링 기계는 하나 왼쪽 테이프와 같은 스택 문맥 sensetive 데이터를 취할 수있는 권리 하나를 사용하는 것과 같이 동작 할 수 2 테이프 : Seperates 입력 및 계산 더 이상?

3열

2답변

어떤 튜링 기계 확장이 기계의 파워를 확장합니까?

두 튜닝 기계 확장 (양방향 무한 테이프, RAM, 다중 읽기/쓰기 헤드, 비 결정론) 중에서 TM으로 이전에 결정 불가능한 문제를 결정할 수 있습니까?

0열

2답변

스티븐 볼프람 (Stephen Wolfram)의 "새로운 종류의 과학"책의 p79에있는 튜링 머신 일러스트레이션을 해석하는 법?

스티븐 볼프람 (Stephen Wolfram)의 "새로운 과학의 종류"를 읽습니다. 현재 셀룰러 오토 마트 일러스트가 p79에 어떻게 생성되는지 이해할 수 없습니다. 패턴에서 헤드를 나타내는 활성 셀은 위쪽에서 -45도 사이의 방향을 변경하는 것처럼 보입니다. 그러나 위 또는 아래 이외의 방향으로 활성 셀을 포함하는 규칙은 없습니다. 패턴에서 -45 도의