Wikipedia

Fișier:DFA example multiplies of 3.svg

Mărește rezoluția imaginii ‎(Fișier SVG, cu dimensiunea nominală de 358 × 158 pixeli, mărime fișier: 7 KB)

Acest fișier se află la Wikimedia Commons. Consultați pagina sa descriptivă acolo.

Descriere fișier

Descriere
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.
Dată
Sursă Operă proprie
Autor Self-made
Alte versiuni 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)*)*

Licențiere

Public domain Eu, deținătorul drepturilor de autor ale acestei opere, o eliberez domeniului public. Aceasta se aplică în întreaga lume.
În anumite țări există posibilitatea ca acest lucru să nu fie legal posibil; în acest caz:
permit oricui să utilizeze această operă în orice scop, fără nicio condiție, atâta timp cât asemenea condiții nu sunt cerute de lege.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

subiectul reprezentat

înființare

20 martie 2007

tip MIME

image/svg+xml

Istoricul fișierului

Apăsați pe Data și ora pentru a vedea versiunea trimisă atunci.

Data și oraMiniaturăDimensiuniUtilizatorComentariu
actuală4 noiembrie 2020 11:38Miniatură pentru versiunea din 4 noiembrie 2020 11:38358x158 (7 KB)Jochen Burghardtcolorize state circles
12 februarie 2018 21:31Miniatură pentru versiunea din 12 februarie 2018 21:31358x158 (8 KB)LeythReshaped the graph again.
12 februarie 2018 21:27Miniatură pentru versiunea din 12 februarie 2018 21:27654x194 (8 KB)LeythEnhancing the graph with an automata generation helper.
16 mai 2008 19:33Miniatură pentru versiunea din 16 mai 2008 19:331.230x523 (21 KB)Mormegilbottom arrows fixed
20 martie 2007 06:08Miniatură pentru versiunea din 20 martie 2007 06:081.230x523 (19 KB)MikmFixed two of the arrows
20 martie 2007 06:05Miniatură pentru versiunea din 20 martie 2007 06:051.230x523 (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

Următoarele pagini conțin această imagine:

Utilizarea globală a fișierului

Următoarele alte proiecte wiki folosesc acest fișier:

Informații

Acest fișier conține informații suplimentare, introduse probabil de aparatul fotografic digital sau scannerul care l-a generat. Dacă fișierul a fost modificat între timp, este posibil ca unele detalii să nu mai fie valabile.

Adus de la https://ro.wikipedia.org/wiki/Fișier:DFA_example_multiplies_of_3.svg