turing-complete

0열

1답변

Wolfram은 "지식 기반 프로그래밍 언어"를 공개하려고하지만 C#, Java 등과 같은 방식으로 진정한 프로그래밍 언어입니까? 너무 주관적인 것을 피하기 위해, 나는 "진정한 프로그래밍 언어"에 의해 의미 할 것입니다 : 은 튜링 완료입니까?

5열

2답변

C++ 전처리 기가 메타 프로그래밍 Turing-complete입니까?

C++ 템플릿 metaprogramming이 Turing-complete라는 것을 알고 있습니다. 전처리 메타 프로그래밍에도 똑같은 일이 남아 있습니까?

5열

1답변

안심 튜링이 완성 되었습니까?

많은 필터와 조건문을 제공합니다. 내가 말할 수있는 한; 튜링 컴플리트 (Turing Complete) 언어와 동일한 결과를 달성하는 일련의 작업을 실행하는 Ansible 플레이 북을 구현할 수 있어야합니다. 그래서, 그것은 Turing Complete입니까?

2열

2답변

자연 언어 튜링이 완성 되었습니까?

저는 인간 언어 (예 : 영어)가 튜링 기계를 시뮬레이트하기에 충분히 강력하다는 것을 확신합니다. 그러나 자연 언어가 프로그래밍 언어보다 표현력이 적거나 적다는 것을 의미합니다. 자연 언어 튜링이 완료 되었습니까?

5열

2답변

결정 론적 푸시 다운 오토 마트의 힘을 가지며 더 이상 사용할 수없는 프로그래밍 언어가 있습니까?

일부 프로그래밍 문제는 튜링 기계의 모든 기능을 필요로하지 않습니다. 그들은 훨씬 적은 힘으로 해결할 수 있습니다. 나는 더 적은 힘으로 프로그래밍 언어를 찾고있다. 스택에서 스택 팝 값에 값을 밀어 작업에 스택 : 은 이러한 기능을 지원하기 위해 제한되는 높은 수준의 프로그래밍 언어가 존재한다. 값을 입력하고, 상태에서 상태로 이동하고, 스택과 상호 작용

1열

1답변

가장 작은 컴파일러

어제 저는 BrainFuck이라는 프로그래밍 언어에 대한 기사를 인터넷에 집어 넣었습니다. http://www.muppetlabs.com/~breadbox/bf/ 그래서 내가 그래서이 Brainfuck is the ungodly creation of Urban Müller, whose goal was apparently to create a Turing-

2열

1답변

1 비트 메모리 셀을 가진 두뇌?

프로그래밍 언어 Brainfuck의 구현은 메모리 셀이 보통 8 비트가 아닌 1 비트 용량 인 경우 여전히 완성 될 것입니까? +와 - 명령어가 동일 해지지 만 문제는 아닙니다. 예를 들어 4 비트 메모리 셀과 관련해서는 아무런 문제가 없습니다. 그러나 이것이 단일 비트 값으로 확장되면 해결할 수 없습니다.

0열

1답변

튜링 기계가 정식 계산 모델이 튜링 완료인지 결정할 수 있습니까?

즉, 튜링 기계가 공식 시스템 S를 입력으로 사용하여 S가 튜링 완료인지를 결정할 수 있습니까? 이것이 결정 불가능한 문제라고 생각합니다. 맞습니까? 결정 불가능한 경우 왜 우리는 (인간으로서) 튜링의 완전성을 결정할 수 있습니까?

5열

2답변

Turing Complete 영숫자 x86 명령어 세트 (서브셋)

영숫자 x86 opcode의 최소한의 계산 상 범용 서브 세트를 만들려고합니다. 결국에는 하위 집합에 가능한 한 적은 수의 명령어가 포함되도록하고, 여러 개의 하위 집합이있는 경우이를 알고 싶습니다. 서브 세트는 전체 영숫자 명령어 세트로 작성 될 수있는 프로그램을 시뮬레이트 할 수 있어야합니다. 지침에는 "A-Z", "a-z"및 "0-9"문자에 해당하는

1열

1답변

Brainf ** k 프로그램에서 메모리 배열이 경계 밖으로 액세스되는지 확인할 수 있습니까?

어셈블리에서 자체 BF 인터프리터로 작성했으며 현재 어셈블리 코드로 컴파일하는 Java에서 BF 컴파일러를 작성하고 있습니다. 메모리 셀 배열이 범위를 벗어난 경우 감지 된 조금 좋은 기능을 구현하고 싶습니다. 배열의 일반적인 제한 사항은 인덱스를 [0, 30000)으로 설정하는 것입니다. 그렇지 않으면 [0, inf)도 일반적으로 사용됩니다. 또 다른 옵