turing-machines

1열

3답변

쉽게 접근 할 수 있습니까? Turing Machine의 다이어그램을보고 결정자인지 알 수 있습니까?

0열

1답변

그것은 충분히 간단한 함수를 들어, 가능한 입력을 중단 할 경우 알 수 있습니다 function(boolean input){ while(input){ } } 을 가정 해 봅시다 나의 이해이다. 위의 함수는 false에 대해 종료되고 true. It's only impossible to solve the halting problem f

0열

1답변

Turing Machine 이진 카운터

튜링 머신의 방법론을 시뮬레이션하는 바이너리 카운터를 만들 것이라고 결정했습니다. 구체적으로 말하자면,이 첫 번째 예제를 에뮬레이트 할 계획입니다. (https://www.cl.cam.ac.uk/projects/raspberrypi/tutorials/turing-machine/four.html) 그러면 내 컴퓨터를 위해 더 많은 것을 만들 수있게 될 것입니

1열

1답변

특정 이동을하면 다른 튜링 기계를 허용하는 튜링 기계

turing-machine을 추가로 입력 할 수 있으며, 수신 된 기계가 왼쪽 또는 오른쪽 (또는 아무것도) 이동을 수행 할 경우 입력을 허용합니다. 그 끈?

1열

1답변

왜 Turing 's Halting Proof에서 부정 부분을 사용해야합니까?

예를 들어,이 튜링 기계 인 H는 프로그램과 입력이 중단되는지 여부를 알려줍니다. 자체적으로 H를 호출한다고 가정 해 봅시다. 답변을 주어야합니다. 따라서 "멈추지 않는다"라는 문구를 인쇄한다면 기술적으로 문구를 인쇄하지 않는 것이 아닌가? 아니면 항상 이론 상으로는 "멈추지 않을 것"이라고 인쇄 할 것인가? 나는 H를 순전히 부정적으로 부르지 않고, 부정

0열

1답변

매핑 감소 함수 란 무엇입니까?

이것은 복잡도 이론에서 쉽게 생각할 수있는 문제입니다. 데프 매핑 감소에 따르면 #Consider the language E over the binary alphabet #consisting of strings representing even non-negative #integers (with leading zeros allowed). #I.e. E

1열

3답변

프로그램 추가가 작동하지 않습니다.

파이썬에서 간단한 바이너리 추가 프로그램을 작성하려고합니다. 파이썬이 이미 그것을 할 수 있다는 것을 알고 있습니다. 기본적인 컴퓨팅 개념을 연습하기 위해 노력하고 있습니다. #Binary Adding Machine def add(a,b): #create empty variables result="" state=0 #e

0열

1답변

{<M> | (| L (M) | = 3) M은 3 개 단어를 받아 들일 TM}입니다

나는이 문제와 붙어있어 {<M> | M은 3 개 단어를} 받아들이는 TM입니다 내가 해결하는 방법을 알고 이 |L(M)|=3에 관해서 |L(M)|>3 또는 |L(M)|<3하지만, 내가 진행하는 방법을 알고하지 않습니다!

0열

1답변

튜링 기계의 정지가 정확히 무엇입니까?

나는 결단력을 초보 다. 나는 문제를 멈추는 문제를 멈추는 것을 읽었지만 실제로 의미하는 바를 얻지 못했습니다. 나는 이미 설명을 듣고있다. 누구나 내게 어떤 소리 설명이나 atleast 일부 정보를 제공 할 수 있습니까, 그것은 많은 도움이 될 것입니까?

1열

1답변

결정자가 {<M> | M은 TM이고 | L (M) | = n}을 결정하면 결정자가 n-1을 결정합니다.

이것이 가능합니까? 결정자가 {| M은 TM이고 | L (M) | = n}을 결정한다고 가정하십시오. 결정자를 구성하려면 {| M은 TM이고 | L (M) | = n-1} 을 결정하십시오. 가능한 경우 어떻게?