2
저는 최근에 계산 모델을 연구 해왔고 질문이 떠 올랐습니다.물리적 인 기계에서 계산의 선언적 모델
많은 계산 모델의 경우 실제 컴퓨터에서 구현할 수있는 것처럼 보입니다. 사실 일부는 실제 물리적 개체를 기반으로합니다.
예를 들어 Automatas (FSM, PDA 및 Turing Machine), Post-Machines, RAM Machine와 같은 명령형 모델이 그 예입니다. 이것은 양자 컴퓨팅 및 바이오 컴퓨팅에서도 마찬가지입니다.
그러나 일부 계산 모델의 경우 실제 시스템에서 직접 구현할 수 있다는 징후는 본 적이 없습니다. 예를 들어 계산의 기능 모델 (Lambda Calculus)과 Computaiton의 논리 모델 (1 차 논리의 단편).
그러나 이론적으로 실제 시스템에서 함수와 베타 감소를 시뮬레이트해야합니다. Logic MoC의 경우 더욱 어려워 보입니다.
실제 컴퓨터에서 Functional MoC 및 Logic MoC의 구현에 대해 알고있는 사람이 있습니까?
미리 감사드립니다.
기능과 논리는 모두 프로그래밍 언어는 현재 명령형 프로그래밍 언어로 매우 유사한 방법으로 물리적 시스템에서 실행합니까 http://en.wikipedia.org/wiki/Warren_Abstract_Machine
안녕. RAM 머신과는 1 대 1로 대응하지 않습니다. – false
첫 번째 홍당무에서 @false와 동의해야합니다. 기계 수준에서 기능 및 논리 프로그래밍은 대부분 동일한 "기본 요소"로 효과적으로 작동합니다. 프롤로그 (Prolog)와 같은 언어의 재귀 적 특성을 감안할 때 스택 (예 : *, 구 HP 미니 컴퓨터)에 최적화 된 아키텍처의 이점을 누릴 수 있습니다. – lurker
나는 정말로 밑으로가는 길에 대해 이야기하고 있습니다. 나는 모든 기계가 결국 논리 게이트와 메모리 (플립 플롭)에 도달하여 정확하게 계산 모델이되는 시계와 함께 작동한다고 생각한다.나는 기능적 및 논리적 MoC를 직접 구현하는 기계 (최하위 레벨)를 가질 수 있는지, 즉 적어도 플립 플롭과 메모리, 그리고 로직 게이트가 없는지에 대해 이야기하고있다. – nerdy