Note that this definition includes

Note that this definition includes both deterministic finite automata (DFAs), which we will be discussing shortly, and nondeterministic finite automata (NFAs), which we will touch on later.

Building the different types of automata in JFLAP is fairly similar, so let's start by building a DFA for the language L = {ambn : m ≥ 0, n > 0, n is odd}. That is, we will build a DFA that recognizes that language of any number of a's followed by any odd number of b's. (Examples taken from JFLAP: An Interactive Formal Languages and Automata Package by Susan Rodger and Thomas Finley.)

ผลลัพธ์ (ไทย) 1:

หมายเหตุว่า คำนิยามนี้มี deterministic จำกัดยูโรโกะ (DFAs), ซึ่งเราจะคุยไม่นาน และถูกจำกัดยูโรโกะ (NFAs), ซึ่งเราจะสัมผัสได้ในภายหลังสร้างชนิดของยูโรโกะใน JFLAP จะค่อนข้างคล้าย เริ่มต้น ด้วยการสร้าง DFA ภาษา L = { ambn: m ≥ 0, n > 0, n คือคี่} คือ เราจะสร้าง DFA ที่รู้จักภาษาการมีของตาม ด้วยเลขคี่ของ b's (ตัวอย่างที่นำมาจาก JFLAP: การโต้ตอบทางภาษาและแพคเกจ Automata โดย Susan Rodger และฟินลีย์ Thomas)

ผลลัพธ์ (ไทย) 2:

โปรดทราบว่าคำนิยามนี้รวมถึงออโต จำกัด ทั้งกำหนด (DFAs) ซึ่งเราจะคุยไม่นานและ nondeterministic ออโต จำกัด (NFAs) ซึ่งเราจะสัมผัสกับภายหลัง. อาคารประเภทที่แตกต่างกันของออโตมาใน JFLAP จะคล้ายเป็นธรรมจึงขอเริ่มต้น โดยการสร้าง DFA สำหรับภาษา L = {ambn: ม. ≥ 0, n> 0, n เป็นเลขคี่} นั่นก็คือเราจะสร้าง DFA ที่ตระหนักถึงภาษาของจำนวนใด ๆ ที่ตามด้วยเลขคี่ใด ๆ ของข (ตัวอย่างที่นำมาจาก JFLAP: เป็นอินเทอร์อย่างเป็นทางการภาษาและออโตแพคเกจโดยซูซานทราบและโทมัสเอฟ.)

ผลลัพธ์ (ไทย) 3:

在这两种注这automata（包括有限差分法，这是DFAs），我们将discussing shortly具有不确定性，这automata NFAs）有限差分法（我们将在后来的触摸。在不同的建筑的automata JFLAP B是fairly类似，所以让我们开始一个DFA，通过建筑的语言ambn：L = { m，n≥0 } > 0，n是所知，那是我们将建立。这是一个recognizes language of DFA遵循任何一个' s number由任何所知（number of B .从一个Examples taken JFLAP互动：通过正式和Automata苏珊Rodger Languages包芬利）和托马斯。