File:DFA example multiplies of 3.svg

Wikimedia Commons, 자유로운 미디어 저장소
둘러보기로 이동 검색으로 이동

원본 파일(SVG 파일, 실제 크기 358 × 158 픽셀, 파일 크기: 7 KB)

캡션

설명

이 파일이 나타내는 바에 대한 한 줄 설명을 추가합니다

파일 설명[편집]

설명
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.
날짜
출처 자작
저자 Self-made
다른 버전 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)*)*

라이선스[편집]

Public domain 나는 이 작품의 저작권자로서, 이 작품을 퍼블릭 도메인으로 모두에게 공개합니다. 이 공개 선언은 전 세계적으로 유효합니다.
만약 저작권의 포기가 법률적으로 가능하지 않은 경우,
나는 이 작품을 법적으로 허용되는 한도 내에서 누구나 자유롭게 어떤 목적으로도 제한없이 사용할 수 있도록 허용합니다.

파일 역사

날짜/시간 링크를 클릭하면 해당 시간의 파일을 볼 수 있습니다.

날짜/시간섬네일크기사용자설명
현재2020년 11월 4일 (수) 08:382020년 11월 4일 (수) 08:38 판의 섬네일358 × 158 (7 KB)Jochen Burghardt (토론 | 기여)colorize state circles
2018년 2월 12일 (월) 18:312018년 2월 12일 (월) 18:31 판의 섬네일358 × 158 (8 KB)Leyth (토론 | 기여)Reshaped the graph again.
2018년 2월 12일 (월) 18:272018년 2월 12일 (월) 18:27 판의 섬네일654 × 194 (8 KB)Leyth (토론 | 기여)Enhancing the graph with an automata generation helper.
2008년 5월 16일 (금) 16:332008년 5월 16일 (금) 16:33 판의 섬네일1,230 × 523 (21 KB)Mormegil (토론 | 기여)bottom arrows fixed
2007년 3월 20일 (화) 03:082007년 3월 20일 (화) 03:08 판의 섬네일1,230 × 523 (19 KB)Mikm (토론 | 기여)Fixed two of the arrows
2007년 3월 20일 (화) 03:052007년 3월 20일 (화) 03:05 판의 섬네일1,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

다음 문서 3개가 이 파일을 사용하고 있습니다:

이 파일을 사용하고 있는 모든 위키의 문서 목록

다음 위키에서 이 파일을 사용하고 있습니다:

메타데이터