File:DFA example multiplies of 3.svg

頁面內容唔支援其他語言。
出自維基百科,自由嘅百科全書

原本檔案(SVG檔案,表面大細: 358 × 158 像素,檔案大細:7 KB)

摘要

描述
English: Example of a DFA that accepts binary numbers that are multiples of 3.
Čeština: Příklad deterministického konečného automatu, který přijímá binární čísla, která jsou beze zbytku dělitelná třemi.
日期
來源 自己作品
作者 Self-made
Other versions Original PNG
Transition monoid
  ε
012
0
021
1
102
10
120
01
201
010
210
ε
012
ε
012
0
021
1
102
10
120
01
201
010
210
0
021
0
021
ε
012
01
201
010
210
1
102
10
120
1
102
1
102
10
120
ε
012
0
021
010
210
01
201
10
120
10
120
1
102
010
210
01
201
ε
012
0
021
01
201
01
201
010
210
0
021
ε
012
10
120
1
102
010
210
010
210
01
201
10
120
1
102
0
021
ε
012

Numeric entries denote functions mapping a state to a state; e.g. 102 abbreviates the function mapping state 0, 1, and 2 to state 1, 0, and 2, respectively; this is the function for digesting an input "1". The table shows the result of function composition, e.g. 021 ∘ 102 = 201, and 102 ∘ 021 = 120. Grey entries give a shortest input string corresponding to a function.

Equivalent alternate representations
Regular grammar
(Start symbol S0):
S0 ε | 0 S0 | 1 S1
S1 0 S2 | 1 S0
S2 0 S1 | 1 S2

Regular expression:

(0|(1(01*(00)*0)*1)*)*

協議

Public domain I, the copyright holder of this work, release this work into the public domain. This applies worldwide.
In some countries this may not be legally possible; if so:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

圖中顯示嘅係

20 3 2007

image/svg+xml

檔案歷史

撳個日期/時間去睇響嗰個時間出現過嘅檔案。

日期/時間縮圖尺寸用戶註解
現時2020年11月4號 (三) 08:38響2020年11月4號 (三) 08:38嘅縮圖版本358 × 158(7 KB)Jochen Burghardtcolorize state circles
2018年2月12號 (一) 18:31響2018年2月12號 (一) 18:31嘅縮圖版本358 × 158(8 KB)LeythReshaped the graph again.
2018年2月12號 (一) 18:27響2018年2月12號 (一) 18:27嘅縮圖版本654 × 194(8 KB)LeythEnhancing the graph with an automata generation helper.
2008年5月16號 (五) 16:33響2008年5月16號 (五) 16:33嘅縮圖版本1,230 × 523(21 KB)Mormegilbottom arrows fixed
2007年3月20號 (二) 03:08響2007年3月20號 (二) 03:08嘅縮圖版本1,230 × 523(19 KB)MikmFixed two of the arrows
2007年3月20號 (二) 03:05響2007年3月20號 (二) 03:05嘅縮圖版本1,230 × 523(19 KB)Mikm{{Information |Description= (en) Example of a DFA that accepts binary numbers that are multiplies of 3. (cs) Ukázka deterministického konečného automatu, který přijímá binární čísla, která jsou beze zbytku dělitelná třemi. |Source= Self-m

以下嘅1版用到呢個檔:

全域檔案使用情況

下面嘅維基都用緊呢個檔案:

Metadata