Файл:DFA example multiplies of 3.svg

Матеріал з testwiki
Перейти до навігації Перейти до пошуку
Повна роздільність (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 Я, власник авторських прав на цю роботу, передаю роботу в суспільне надбання. Застосовується по всьому світу.
У деяких країнах це не може бути юридично можливо, в такому випадку:
Я даю кожному право на використання цієї роботи для будь-яких цілей, без будь-яких умов, якщо такі умови не вимагаються за законом.

Підписи

Додайте однорядкове пояснення, що саме репрезентує цей файл

Об'єкти, показані на цьому файлі

зображує

158 піксель

358 піксель

Історія файлу

Клацніть на дату/час, щоб переглянути, як тоді виглядав файл.

Дата/часМініатюраРозмір об'єктаКористувачКоментар
поточний09:38, 4 листопада 2020Мініатюра для версії від 09:38, 4 листопада 2020358 × 158 (7 КБ)wikimediacommons>Jochen Burghardtcolorize state circles

Така сторінка використовує цей файл: