turing-complete

12熱度

2回答

我花了一個星期或兩個編程一個簡單的邏輯解算器。建立它之後，我發現自己想知道它解決的語言是否是圖靈完備的。因此，我編寫了一小組方程式，它們接受SKI組合函數演算中的任何有效表達式，並生成一個包含該表達式的常規形式的結果集。由於SKI 是圖靈完成，證明我的語言可以執行SKI將展示其圖靈完備性。但是有一個小故障。解算器不會按正常順序減少表達式。其實它所做的就是嘗試每一個可能的減少訂單。這意味着解決方案

1熱度

1回答

在HTML + CSS中編寫編譯器

是否可以在HTML + CSS中編寫編譯器？我知道他們（在一起）應該是圖靈完整的，至少是HTML5/CSS3組合。所以應該有可能爲它編寫一個編譯器，比如Java呢？或者，我是否對圖靈完備性意味着某種根本的誤解？由於HTML + CSS本身不是編譯語言，這是否意味着編寫一個編譯器是不可能的？（你還可以爲HTML/CSS編寫一個編譯器嗎？）

3熱度

2回答

VHDL圖靈是否完整？

VHDL圖靈是否完整？我的理解是，VHDL創建一個註冊機器，並且註冊機器 - 沒有任意RAM - 不是圖靈完整的。這是準確的嗎？對於註冊機器無法解決的問題，是否有標準方法 - 例如在VHDL之外使用RAM，並通過VHDL進行管理？

5熱度

2回答

圖靈完整的字母數字x86指令集（子集）

我期待創建一個最小的，計算上通用的字母數字x86操作子集。最終，我希望子集包含儘可能少的指令，如果有多個最小子集，我也想知道。子集應該能夠模擬任何可以用整套字母數字指令寫入的程序。說明應僅涵蓋與「A-Z」，「a-z」和「0-9」字符對應的說明。到目前爲止，我認爲一個push，pop，inc，dec，cmp和je就足夠了，但我敢肯定有一個較小的一套。我怎麼能證明我生成的一個集合能夠使用所有的字母數

0熱度

1回答

Wolfram語言是一種真正的編程語言嗎？

Wolfram即將發佈其「基於知識的編程語言」，但它是否像C＃，Java等一樣是真正的編程語言？爲了避免這種過於主觀的，我會澄清，「真正的編程語言，」我的意思是：是圖靈完整？

5熱度

2回答

C++預處理器元編程圖靈完成？

我知道C++模板元編程是圖靈完備的。預處理器元編程有同樣的功能嗎？

5熱度

1回答

Ansible Turing Complete？

Ansible提供了許多過濾器和條件。據我所知，應該可以實現一個Ansible操作手冊，該手冊執行一組與Turing Complete語言達到相同結果的任務。那麼，圖靈完成了嗎？

8熱度

2回答

lambda演算的圖靈完備性？

你怎麼認爲lambda微積分是圖靈完成的事實（以最簡單的方式）？

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-complete langu

24熱度

1回答

斯卡拉的類型系統的哪個屬性使它完成圖靈？

斯卡拉使用基於系統Fω的類型系統，通常認爲它是強烈正常化的。強烈正常化意味着非圖靈完備性。儘管如此，Scala的類型系統是圖靈完備的。與正式算法和系統相比，哪些更改/添加/修改會使Scala的類型系統Turing-complete？