Ficheiro:DFA example multiplies of 3.svg

O conteúdo da página não é suportado noutras línguas.
Origem: Wikipédia, a enciclopédia livre.

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

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

Elementos retratados neste ficheiro

retrata

tipo de média

image/svg+xml

soma de verificação

9fd8169865e66c0aabac0fd077b62a9e4e42bc14

método de determinação: SHA-1

altura

158 pixel

largura

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

Este ficheiro contém informação adicional, provavelmente adicionada a partir da câmara digital ou scanner utilizada para criar ou digitalizar a imagem. Caso o ficheiro tenha sido modificado a partir do seu estado original, alguns detalhes poderão não refletir completamente as mudanças efetuadas.

Obtida de "https://pt.wikipedia.org/wiki/Ficheiro:DFA_example_multiplies_of_3.svg"