Skip to Content
深入理解運算原理|從簡單的機器到無所不能的程式
book

深入理解運算原理|從簡單的機器到無所不能的程式

by Tom Stuart
November 2017
Beginner to intermediate
344 pages
7h 2m
Chinese
GoTop Information, Inc.
Content preview from 深入理解運算原理|從簡單的機器到無所不能的程式
70
|
3
決定論
重要的是,這種自動機屬於
決定論
deterministic
):無論它目前的狀態為何,也不論它
讀取的字元為何,一定會確定它將在哪個狀態結束。只要我們遵守兩項限制,就能保證
這種確定:
無矛盾:因為規則衝突,因此無狀態機器的下一步並不明確(這意謂著沒有狀態可
能對同一個輸入字元有多個規則)。
不遺漏:因為缺少規則,因此無狀態機器的下一步是未知的(這意謂著每個可能輸
入字元的每個狀態必須擁有至少一條規則)。
總而言之,這些限制意謂著該機器的每一項狀態和輸入的組合都必須要有一條規則,
而遵從決定論限制的機器,它的技術名稱就是
決定論有限自動機
deterministic finite
automaton
DFA)。
模擬物
決定論有限自動機的目的是作為抽象的計算模型。我們已經繪製了一些機器範例示意
圖,並且思索它們的行為,但這些機器實際上不可能存在,因此我們無法實際將資料輸
入給它們,並且觀察它們的行為。所幸 DFA 非常簡單,我們很容易以 Ruby 建置
模擬
simulation
),並直接與它互動。
讓我們藉由實作我們稱為
規則手冊
rulebook
)的一組規則,來開始建置模擬:
class FARule < Struct.new(:state, :character, :next_state)
def applies_to?(state, character)
self.state == state && self.character == character
end ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.

Read now

Unlock full access

More than 5,000 organizations count on O’Reilly

AirBnbBlueOriginElectronic ArtsHomeDepotNasdaqRakutenTata Consultancy Services

QuotationMarkO’Reilly covers everything we've got, with content to help us build a world-class technology community, upgrade the capabilities and competencies of our teams, and improve overall team performance as well as their engagement.
Julian F.
Head of Cybersecurity
QuotationMarkI wanted to learn C and C++, but it didn't click for me until I picked up an O'Reilly book. When I went on the O’Reilly platform, I was astonished to find all the books there, plus live events and sandboxes so you could play around with the technology.
Addison B.
Field Engineer
QuotationMarkI’ve been on the O’Reilly platform for more than eight years. I use a couple of learning platforms, but I'm on O'Reilly more than anybody else. When you're there, you start learning. I'm never disappointed.
Amir M.
Data Platform Tech Lead
QuotationMarkI'm always learning. So when I got on to O'Reilly, I was like a kid in a candy store. There are playlists. There are answers. There's on-demand training. It's worth its weight in gold, in terms of what it allows me to do.
Mark W.
Embedded Software Engineer

You might also like

JSON實務手冊

JSON實務手冊

Tom Marrs

Publisher Resources

ISBN: 9789864766000