Dosiero:DFA example multiplies of 3.svg

El testwiki
Salti al navigilo Salti al serĉilo
Fonta dosiero (SVG-dosiero, 358 × 158 rastrumeroj, grandeco de dosiero: 7 KB)

Ĉi tiu dosiero estas de Vikimedia Komunejo kaj estas uzebla de aliaj projektoj. Jen la priskribo en ties dosier-priskriba paĝo.

Resumo

Priskribo
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.
Dato
Fonto Propra verko
Aŭtoro Self-made
Ceteraj versioj Original PNG
  ε
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)*)*

Permesiloj:

Public domain Mi, la posedanto de la aŭtorrajto por ĉi tiu verko, liberigas ĝin tutmonde kiel publikan havaĵon.
En iuj landoj tio povas esti laŭleĝe neebla; en tiu okazo:
Mi rajtigas ĉiun ajn uzi ĉi tiun verkon por ajna celo, sen iuj ajn kondiĉoj, krom se tiuj kondiĉoj estas postulataj per leĝo.

Titoloj

Donu unulinian priskribon de la enhavo de ĉi tiu dosiero

Eroj prezentitaj en ĉi tiu dosiero

montras

image/svg+xml

9fd8169865e66c0aabac0fd077b62a9e4e42bc14

7 258 bajto

158 rastrumero

358 rastrumero

Dosiera historio

Klaku daton/tempon por vidi la dosieron kia ĝi aspektis tiam.

Dato/tempoBildetoDimensiojUzantoKomento
nuna09:38, 4 nov. 2020Bildeto por versio ekde 09:38, 4 nov. 2020358 × 158 (7 KB)wikimediacommons>Jochen Burghardtcolorize state circles

La jena paĝo ligas al ĉi tiu dosiero: