Plik:DFA example multiplies of 3.svg

Rozmiar pierwotny(Plik SVG, nominalnie 358 × 158 pikseli, rozmiar pliku: 7 KB)

Opis

Opis
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.
Data
Źródło Praca własna
Autor Self-made
Inne wersje 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)*)*

Licencja

Public domain Ja, właściciel praw autorskich do tej pracy, udostępniam ją jako własność publiczną. Dotyczy to całego świata.
W niektórych krajach może nie być to prawnie możliwe, jeśli tak, to:
Zapewniam każdemu prawo do użycia tej pracy w dowolnym celu, bez żadnych ograniczeń, chyba że te ograniczenia są wymagane przez prawo.

Podpisy

Dodaj jednolinijkowe objaśnienie tego, co ten plik pokazuje

Obiekty przedstawione na tym zdjęciu

przedstawia

image/svg+xml

9fd8169865e66c0aabac0fd077b62a9e4e42bc14

158 piksel

358 piksel

Historia pliku

Kliknij na datę/czas, aby zobaczyć, jak plik wyglądał w tym czasie.

Data i czasMiniaturaWymiaryUżytkownikOpis
aktualny10:38, 4 lis 2020Miniatura wersji z 10:38, 4 lis 2020358 × 158 (7 KB)Jochen Burghardtcolorize state circles
20:31, 12 lut 2018Miniatura wersji z 20:31, 12 lut 2018358 × 158 (8 KB)LeythReshaped the graph again.
20:27, 12 lut 2018Miniatura wersji z 20:27, 12 lut 2018654 × 194 (8 KB)LeythEnhancing the graph with an automata generation helper.
18:33, 16 maj 2008Miniatura wersji z 18:33, 16 maj 20081230 × 523 (21 KB)Mormegilbottom arrows fixed
05:08, 20 mar 2007Miniatura wersji z 05:08, 20 mar 20071230 × 523 (19 KB)MikmFixed two of the arrows
05:05, 20 mar 2007Miniatura wersji z 05:05, 20 mar 20071230 × 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

Następujące strony korzystają z tego pliku:

Globalne wykorzystanie pliku

Ten plik jest wykorzystywany także w innych projektach wiki:

Metadane