Перейти на страницу файла на Викискладе

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

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

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

Элементы, изображённые на этом файле

изображённый объект

создатель

У этого свойства есть некоторое значение без элемента в

логин в проектах Викимедиа: Mikm
имя автора (строка): Self-made
URL: https://commons.wikimedia.org/wiki/user:Mikm

MIME-тип

image/svg+xml

высота/рост

158 пиксель

ширина

358 пиксель

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

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

Дата/времяМиниатюраРазмерыУчастникПримечание
текущий08:38, 4 ноября 2020Миниатюра для версии от 08:38, 4 ноября 2020358 × 158 (7 КБ)Jochen Burghardtcolorize state circles
18:31, 12 февраля 2018Миниатюра для версии от 18:31, 12 февраля 2018358 × 158 (8 КБ)LeythReshaped the graph again.
18:27, 12 февраля 2018Миниатюра для версии от 18:27, 12 февраля 2018654 × 194 (8 КБ)LeythEnhancing the graph with an automata generation helper.
16:33, 16 мая 2008Миниатюра для версии от 16:33, 16 мая 20081230 × 523 (21 КБ)Mormegilbottom arrows fixed
03:08, 20 марта 2007Миниатюра для версии от 03:08, 20 марта 20071230 × 523 (19 КБ)MikmFixed 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

Следующая страница использует этот файл:

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

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

Метаданные

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

Источник — https://ru.wikipedia.org/wiki/Файл:DFA_example_multiplies_of_3.svg