File:DFA example multiplies of 3.svg

Материал из Викисклада, хранилища свободных медиафайлов
Перейти к навигации Перейти к поиску

Исходный файл (SVG-файл, номинально 358 × 158 пкс, размер файла: 7 КБ)

Краткие подписи

Краткие подписи

Добавьте однострочное описание того, что собой представляет этот файл

Краткое описание

[править]
Описание
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
  ε
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 Я, владелец авторских прав на это произведение, передаю его в общественное достояние. Это разрешение действует по всему миру.
В некоторых странах это не может быть возможно юридически, в таком случае:
Я даю право кому угодно использовать данное произведение в любых целях без каких-либо условий, за исключением таких условий, которые требуются по закону.

История файла

Нажмите на дату/время, чтобы увидеть версию файла от того времени.

Дата/времяМиниатюраРазмерыУчастникПримечание
текущий08:38, 4 ноября 2020Миниатюра для версии от 08:38, 4 ноября 2020358 × 158 (7 КБ)Jochen Burghardt (обсуждение | вклад)colorize state circles
18:31, 12 февраля 2018Миниатюра для версии от 18:31, 12 февраля 2018358 × 158 (8 КБ)Leyth (обсуждение | вклад)Reshaped the graph again.
18:27, 12 февраля 2018Миниатюра для версии от 18:27, 12 февраля 2018654 × 194 (8 КБ)Leyth (обсуждение | вклад)Enhancing the graph with an automata generation helper.
16:33, 16 мая 2008Миниатюра для версии от 16:33, 16 мая 20081230 × 523 (21 КБ)Mormegil (обсуждение | вклад)bottom arrows fixed
03:08, 20 марта 2007Миниатюра для версии от 03:08, 20 марта 20071230 × 523 (19 КБ)Mikm (обсуждение | вклад)Fixed two of the arrows
03:05, 20 марта 2007Миниатюра для версии от 03:05, 20 марта 20071230 × 523 (19 КБ)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 страницы используют этот файл:

Глобальное использование файла

Данный файл используется в следующих вики:

Метаданные

Файл содержит дополнительные данные, обычно добавляемые цифровыми камерами или сканерами. Если файл после создания редактировался, то некоторые параметры могут не соответствовать текущему изображению.

Источник — https://commons.wikimedia.org/w/index.php?title=File:DFA_example_multiplies_of_3.svg&oldid=873361830