Page 11 - 4625

q веде дуга позначена a , коли q ∈ δ(q , a ). На діаграмі
j
i
k
j
k
переходів скінченного автомата це позначається так:

Рисунок 1

У подальшому, на діаграмі скінченного автомата М
елементи з множини заключних станів будемо позначати так:
●q .
i
Приклад 1. Побудуємо діаграму переходів скінченного
автомата М, який розпізнає множину цілочислових констант
мови С.

Рисунок 2
З побудованого прикладу видно, що наведений автомат
не повністю визначений.

10