Soubor:DFA example multiplies of 3.svg

Obsah stránky není podporován v jiných jazycích.
Z Wikipedie, otevřené encyklopedie

Původní soubor(soubor SVG, nominální rozměr: 358 × 158 pixelů, velikost souboru: 7 KB)

Popis

Popis
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.
Datum
Zdroj Vlastní dílo
Autor Self-made
Další verze 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)*)*

Licence

Public domain Já, autor tohoto díla, jej tímto uvolňuji jako volné dílo, a to celosvětově.
V některých zemích to není podle zákona možné; v takovém případě:
Poskytuji komukoli právo užívat toto dílo za libovolným účelem, a to bezpodmínečně s výjimkou podmínek vyžadovaných zákonem.

Popisky

Přidejte jednořádkové vysvětlení, co tento soubor představuje

Položky vyobrazené v tomto souboru

zobrazuje

Historie souboru

Kliknutím na datum a čas se zobrazí tehdejší verze souboru.

Datum a časNáhledRozměryUživatelKomentář
současná4. 11. 2020, 10:38Náhled verze z 4. 11. 2020, 10:38358 × 158 (7 KB)Jochen Burghardtcolorize state circles
12. 2. 2018, 20:31Náhled verze z 12. 2. 2018, 20:31358 × 158 (8 KB)LeythReshaped the graph again.
12. 2. 2018, 20:27Náhled verze z 12. 2. 2018, 20:27654 × 194 (8 KB)LeythEnhancing the graph with an automata generation helper.
16. 5. 2008, 18:33Náhled verze z 16. 5. 2008, 18:331 230 × 523 (21 KB)Mormegilbottom arrows fixed
20. 3. 2007, 05:08Náhled verze z 20. 3. 2007, 05:081 230 × 523 (19 KB)MikmFixed two of the arrows
20. 3. 2007, 05:05Náhled verze z 20. 3. 2007, 05:051 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

Tento soubor používají následující 2 stránky:

Globální využití souboru

Tento soubor využívají následující wiki:

Metadata