Turing Machine의 매크로는 정확히 어떻게 작동합니까?
shmob
여기 교과서의 스크린 샷 (Sudkamp, 3e)이 있으며 Turing Machine에서 매크로가 어떻게 사용되는지 이해하려고합니다. 특히 전에 매크로에 대해 배운 적이 없기 때문에 이해하는 데 어려움을 겪고 있습니다. 누구든지 여기에서 설명을 도울 수 있다면 정말 감사하겠습니다.
내가 정말로 이해하는 유일한 것은 CPY가 입력을 복사하고 3 n이된다는 것입니다. 그렇지 않으면 그 결론에 도달하는 방법을 이해하지 못합니다. 내가 너무 모호하다면 좀 더 구체적으로 알려줄 수 있습니다.
피터 류 폴드
For the specific problem: yes, via CPY you get three times n. For computing f(n) = 3n the machine then computes n+n+n = 3n via the addition A.
일반적인 매크로 정보 : 실제로 다이어그램에서 제안한 방식으로 작동하지 않습니다. 다른 기계를 계산할 때 복사 할 기계를 "장소"에 놓을 수는 없습니다. 알파벳, 시작 상태 등에 대한 조정이 필요합니다. 문제는 TMs 프로그램이 매우 커지고 많은 상태가 전환되고 읽을 수 없다는 것입니다. 따라서 우리는 이러한 작은 적응이 원칙적으로 이루어질 수 있다고 가정합니다. 이제 우리는 더 이상 복잡한 기계를 자세히 지정하지 않고, TM으로 계산할 수있는 작업 (복사 및 추가 등)에 대해 이러한 매크로를 사용합니다. 결과 설명이 더 이해하기 쉽습니다. 어셈블러 구현에 신경 쓰지 않고 복잡한 구조와 데이터 구조를 사용할 수있는 고급 프로그래밍 언어와 비슷합니다.
이 기사는 인터넷에서 수집됩니다. 재 인쇄 할 때 출처를 알려주십시오.
침해가 발생한 경우 연락 주시기 바랍니다[email protected] 삭제
에서 수정
관련 기사
Related 관련 기사
- 1
이 JPA 매핑은 정확히 어떻게 작동합니까?
- 2
PhantomData는 Rust에서 정확히 어떻게 작동합니까?
- 3
프록시는 정확히 어떻게 작동합니까?
- 4
AudioRecord 클래스는 정확히 어떻게 작동합니까?
- 5
DNS는 정확히 어떻게 작동합니까?
- 6
DNS는 정확히 어떻게 작동합니까?
- 7
NOT EXISTS는 SQL에서 정확히 어떻게 작동합니까?
- 8
이 for / in 루프는 정확히 어떻게 작동합니까?
- 9
도커는 정확히 어떻게 작동합니까? (이론)
- 10
sockaddr_storage는 정확히 어떻게 작동합니까?
- 11
Typescript의 제네릭 형식 별칭 Exclude <T, U>는 정확히 어떻게 작동합니까?
- 12
* 비차 단성 *의 libuv 구현은 정확히 어떻게 작동합니까?
- 13
Perl의 -0 옵션은 정확히 어떻게 작동합니까?
- 14
Perl의 -0 옵션은 정확히 어떻게 작동합니까?
- 15
OSX에서 pydoc 호출-링크가 정확히 어떻게 작동합니까?
- 16
클립에서 정확히 어떻게 (새로 고침) 작동합니까?
- 17
입력 Streams.read ()는 어떻게 정확히 작동합니까?
- 18
constexpr double Point :: * coords [3]는 정확히 어떻게 작동합니까?
- 19
Erlang 비교 연산자는 정확히 어떻게 작동합니까?
- 20
마더 보드 PW 스위치는 정확히 어떻게 작동합니까?
- 21
Javascript 변수 범위는 정확히 어떻게 작동합니까?
- 22
마운트 드라이브는 정확히 어떻게 작동합니까?
- 23
AngularJS 다이제스트 루프는 정확히 어떻게 작동합니까?
- 24
람다는 정확히 어떻게 작동합니까? C # 및 스레드
- 25
LibGDX Bullet 확장의 ContactListener는 어떻게 작동합니까?
- 26
LibGDX Bullet 확장의 ContactListener는 어떻게 작동합니까?
- 27
Pytorch의 정규화는 어떻게 작동합니까?
- 28
Spring MVC의 명시 적 페이지 매핑과 관련된 일부 의심, 정확히 어떻게 작동합니까?
- 29
매개 변수 팩의 확장은 std :: forward로 정확히 어떻게 평가됩니까?
몇 마디 만하겠습니다