抽象機器,也叫自動機,是理論計算機科學的一個組成部分。抽象機器類似于數學中的函數。它根據指定的規則接收輸入并產生輸出。抽象機器不同于一般意義上的機器,因為它們被認為是完美的,獨立于硬件的。它們被細分為特征的基...
抽象機器,也叫自動機,是理論計算機科學的一個組成部分。抽象機器類似于數學中的函數。它根據指定的規則接收輸入并產生輸出。抽象機器不同于一般意義上的機器,因為它們被認為是完美的,獨立于硬件的。它們被細分為特征的基礎,例如他們如何進行操作,他們能接收到什么類型的輸入。在對抽象機器進行分類時,女性在與計算機進行倒立,最簡單的區別之一是在任何給定的點上允許它們執行的操作的數量。如果抽象機器總是只有一種方法可以繼續,則稱它為確定性的。如果機器至少在一種可能的狀態下存在多種可能性,則它是不確定的。“下推”自動機是一種有能力操縱其輸入堆棧的機器,而不是簡單地按照它們出現的順序對它們作出一個簡單的響應。Wolfram MathWorld給出了兩個著名的抽象機器的例子。其中一個例子是Conway~ s game of life,它是一個確定性的抽象機器,因為只有一個配置這個游戲使用一個網格,每個盒子或細胞的狀態都可以是“活的”或“死的”。整個網格的狀態是根據之前的狀態來決定的。如果一個活細胞正好接觸到另外兩個或三個活細胞,它會繼續活下去。如果它有一個,兩個,或者超過三個鄰居(最多可能有八個),它會死亡。一個只有三個鄰居的死細胞會復活;否則,它將保持死亡。另一個例子,圖靈機器,圖靈機是計算機科學中最基本和最基本的抽象機器之一,它在一個無限大小的符號串上執行操作它包含改變符號和改變它運行的符號的指令。一個簡單的圖靈機器可能只有指令“將符號轉換為1,然后向右移動”。這個機器只輸出一個1~s的字符串。這個簡單的圖靈機器是確定性的,但是,也可以構造出非確定性圖靈機,它可以在相同的輸入下執行幾種不同的操作。這些抽象機器可以有很多用途。它們可以是有趣的理論玩具,但也可以作為真實計算機系統的模型。抽象機器是計算機科學的核心,作為一種紀律
-
發表于 2020-08-07 12:54
- 閱讀 ( 1366 )
- 分類:電腦網絡