File:DFA example multiplies of 3.svg
Jump to navigation
Jump to search
Size of this PNG preview of this SVG file: 358 × 158 pixels. Other resolutions: 320 × 141 pixels | 640 × 282 pixels | 1,024 × 452 pixels | 1,280 × 565 pixels | 2,560 × 1,130 pixels.
Original file (SVG file, nominally 358 × 158 pixels, file size: 7 KB)
Summary
| Description |
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. |
| Date | |
| Source | Own work |
| Author | Self-made |
| Other versions | Original PNG |
| Transition monoid | |||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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 | |||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| |||||||||||||||||||||||||
Licensing
|
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 10:38, 4 November 2020 | | 358 × 158 (7 KB) | wikimediacommons>Jochen Burghardt | colorize state circles |
File usage
There are no pages that use this file.
