Vikipedio

Dosiero:DFA example multiplies of 3.svg

Bildo en pli alta difino ‎(SVG-dosiero, 358 × 158 rastrumeroj, grandeco de dosiero: 7 KB)

Jen dosiero de la Wikimedia-Komunejo. La priskribo en ties priskriba paĝo estas montrata suben.
La Komunejo estas dosieruja retejo de libere licencitaj dosieroj.

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
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)*)*

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

MIME-tipo

image/svg+xml

Dosierhistorio

Alklaku iun daton kaj horon por vidi kiel la dosiero tiam aspektis.

Dato/HoroBildetoGrandecojUzantoKomento
nun08:38, 4 nov. 2020Bildeto por versio ekde 08:38, 4 nov. 2020358 × 158 (7 KB)Jochen Burghardtcolorize state circles
18:31, 12 feb. 2018Bildeto por versio ekde 18:31, 12 feb. 2018358 × 158 (8 KB)LeythReshaped the graph again.
18:27, 12 feb. 2018Bildeto por versio ekde 18:27, 12 feb. 2018654 × 194 (8 KB)LeythEnhancing the graph with an automata generation helper.
16:33, 16 maj. 2008Bildeto por versio ekde 16:33, 16 maj. 20081 230 × 523 (21 KB)Mormegilbottom arrows fixed
03:08, 20 mar. 2007Bildeto por versio ekde 03:08, 20 mar. 20071 230 × 523 (19 KB)MikmFixed two of the arrows
03:05, 20 mar. 2007Bildeto por versio ekde 03:05, 20 mar. 20071 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

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

Suma uzado de la dosiero

Metadatumoj

Ĉi tiu dosiero entenas aldonan informon, probable aldonitan de la diĝita fotilo aŭ skanilo uzita por ĝin krei aŭ diĝitigi. Se la dosiero estas modifita disde sia originala stato, detaloj povas ne ĝuste priskribi tiun modifitan bildon.

Elŝutita el "https://eo.wikipedia.org/wiki/Dosiero:DFA_example_multiplies_of_3.svg"