Ficheiro:DFA example multiplies of 3.svg

Imagem numa resolução maior (ficheiro SVG, de 358 × 158 píxeis, tamanho: 7 kB)

Descrição do ficheiro

Descrição
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
Origem Obra do próprio
Autor Self-made
Outras versões 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)*)*

Licenciamento

Public domain Eu, titular dos direitos de autor desta obra, dedico-a ao domínio público, com aplicação em todo o mundo.
Nalguns países isto pode não ser legalmente possível; se assim for:
Concedo a todos o direito de usar esta obra para qualquer fim, sem quaisquer condições, a menos que tais condições sejam impostas por lei.

Legendas

Adicione uma explicação de uma linha do que este ficheiro representa
DFA (آلة الحالة المنتهية الحتمية) التي تقبل الأعداد الثنائية التي هي من مضاعفات العدد 3. - الحالة الابتدائية والحالة النهائية.

Elementos retratados neste ficheiro

retrata

image/svg+xml

9fd8169865e66c0aabac0fd077b62a9e4e42bc14

158 pixel

358 pixel

Histórico do ficheiro

Clique uma data e hora para ver o ficheiro tal como ele se encontrava nessa altura.

Data e horaMiniaturaDimensõesUtilizadorComentário
atual08h38min de 4 de novembro de 2020Miniatura da versão das 08h38min de 4 de novembro de 2020358 × 158 (7 kB)Jochen Burghardtcolorize state circles
18h31min de 12 de fevereiro de 2018Miniatura da versão das 18h31min de 12 de fevereiro de 2018358 × 158 (8 kB)LeythReshaped the graph again.
18h27min de 12 de fevereiro de 2018Miniatura da versão das 18h27min de 12 de fevereiro de 2018654 × 194 (8 kB)LeythEnhancing the graph with an automata generation helper.
16h33min de 16 de maio de 2008Miniatura da versão das 16h33min de 16 de maio de 20081 230 × 523 (21 kB)Mormegilbottom arrows fixed
03h08min de 20 de março de 2007Miniatura da versão das 03h08min de 20 de março de 20071 230 × 523 (19 kB)MikmFixed two of the arrows
03h05min de 20 de março de 2007Miniatura da versão das 03h05min de 20 de março de 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

As seguintes 2 páginas usam este ficheiro:

Utilização global do ficheiro

Metadados