외부 프로그램 / 함수에 연결 해야하는 인터프리터를 작성할 때 이상한 문제가 발생했습니다 .'C '및'C ++ '의 함수 는 가변성 함수를 연결할 수 없습니다 . 예를 들어'printf ' 정확히 동일한 인수를 사용하고 대신 variadic 객체를 취하는 대체 버전을 호출해야합니다. 익명 후크를 보유한 객체를 만들 수 있기 때문에 이것은 매우 문제가됩니다. 따라서 …
나는 C가 Turing-complete라고 누군가에게 설명하려고 노력했고 실제로 그것이 실제로 Turing-complete인지 알지 못한다는 것을 깨달았습니다. (C는 실제 구현이 아닌 추상 의미론과 동일합니다.) "명백한"답변 (대략 : 임의의 양의 메모리를 처리 할 수 있으므로 RAM 시스템을 에뮬레이트 할 수 있으므로 Turing-complete입니다)은 C 표준이 허용하는 것처럼 알 수있는 한 실제로 정확하지 않습니다. size_t가 임의로 …
Turing-complete가 무엇인지에 대한 대부분의 정의는 어느 정도 팽팽한 것으로 보입니다. 예를 들어 Google에서 "Turing complete의 의미는 무엇입니까?" 컴퓨터가 튜링 기계가 할 수있는 문제를 해결할 수 있다면 튜링 완료입니다 ... 다른 시스템이 튜링 완료인지 여부는 잘 정의되어 있지만 튜링 완료의 의미 / 결과가 무엇인지에 대한 설명은 보지 못했습니다. 튜링 머신은 튜링 …
나는 Iota와 Jot 에 대해 읽고 있었고이 섹션이 혼란 스럽다는 것을 알았습니다. 문자열의 구문 트리가 왼쪽 또는 오른쪽으로 분기 될 수있는 Iota와 달리 Jot 구문은 균일하게 왼쪽 분기됩니다. 결과적으로, Iota는 엄격하게 컨텍스트가 없지만 Jot는 일반 언어입니다. 내 이해는 Iota와 Jot이 모두 Turing이라는 것입니다. 그러나 분명히 하나는 맥락이 없으며 다른 하나는 …
프로그래밍 방법을 알고 있지만 CS 이론의 초보자입니다. 이 답변 에 따르면 튜링 완성도는 계산 성의 추상 개념입니다. 언어가 Turing 완료 인 경우 다른 Turing 완료 언어가 수행 할 수있는 계산을 수행 할 수 있습니다. 그리고 어떤 튜링 완전한 언어로 작성된 프로그램은 다른에 다시 작성할 수 있습니다 . 승인. 이것은 말이됩니다. …
필자는 명령형 프로그래밍 언어에서 언어 튜링을 완벽하게하기위한 제어 흐름 구조로 while-do 루프가 충분하다는 것을 알고 있습니다 (제어 흐름이 진행되는 한-물론 우리는 무제한 메모리와 특정 연산자가 필요합니다 ...) . 내 질문의 요지는 : do-while 루프가 while-do 루프와 동일한 계산 능력을 가지고 있습니까? 다시 말해, 명령어를 완전히 건너 뛸 수없는 경우 언어가 …
아마도 주제에 대한 나의 제한된 이해가 잘못되었지만 이것이 내가 지금까지 이해 한 것입니다. 함수형 프로그래밍은 Alonzo Church가 공식화 한 Lambda Calculus를 기반으로합니다. 명령형 프로그래밍은 교회 학생 인 Alan Turing이 만든 Turing 머신 모델을 기반으로합니다. 람다 미적분은 튜링 머신만큼 강력하고 성능이 뛰어나 계산 능력과 동등합니다. 함수형 프로그래밍이 Turing 머신이 아닌 Lambda …
다음과 같이 튜링 머신을 시뮬레이트하는 프로그램을 구성하여 PROLOG가 튜링 완료된 것으로 입증 될 수 있음을 알고 있습니다. turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), once(rule(Q0, Sym, Q1, NewSym, …
나는 NAND 게이트를 사용하여 모든 진리표를 구현하는 회로를 만들 수 있으며 최신 컴퓨터는 NAND 게이트로 구성됩니다. NAND 게이트와 튜링 완성도 사이의 이론적 연결은 무엇입니까? NAND 게이트 회로는 튜링 머신보다 유한 오토마타에 더 가깝습니다. 내 직감은 플립 플롭을 만들 수 있으므로 NAND 게이트에서 레지스터와 메모리를 만들 수 있으며 무한 메모리는 Turing …
같은 언어 있습니다 많은 하나의 감소에 따라. 에도 완전한 문제가 있음을 아는 것은 쉽지 않습니다. S. Schmitz [1] 은 과 사이의 일부 클래스를 고려 합니다. 그들은 특별히 만들어진 축소에서이 수업에 대한 완전한 문제를 제시합니다.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} 약한 감소와 관련하여 (일명 )에 대한 완전한 문제가 있습니까? 튜링 감소는 모든 작업을 수행 할 수 …
cstheory.SE에 대해 비슷한 질문 을했습니다 . Stackoverflow 에 대한 이 답변에 따르면 비 게으른 순수 함수형 프로그래밍 언어에는 복잡도를 갖는 알고리즘이 있지만 명령형 프로그래밍의 동일한 알고리즘은 Ω ( n ) 입니다. FP 언어에 게으름을 추가하면 알고리즘이 Ω ( n )이 됩니다.Ω ( n 로그n )Ω(nlogn)\Omega(n \log n)Ω ( n )Ω(n)\Omega(n)Ω …