Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Лекции по теории автоматов - 1.pdf
Минимизация автомата Мили
|
X1 |
X2 |
|
X5 |
X7 |
X8 |
|
X3 |
X4 |
X6 |
X9 |
X11 |
|
X10 |
X12 |
ρ1 |
C4 |
C4 |
|
C3 |
C3 |
C4 |
|
C2 |
C2 |
C2 |
C2 |
C2 |
|
C1 |
C1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ρ2 |
C2 |
C2 |
|
C3 |
C3 |
C3 |
|
C3 |
C3 |
C3 |
C3 |
C3 |
|
C2 |
C2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
π3 = {X1,X2} D1,
{X5,X7} D2
{X8} D3 {X3,X4,X6,X9,X11} D4
{X10,X12} D5
Минимизация автомата Мили
X '={X1, X 5, X 8, X 3, X10}
X1 X3 X5 X8 X10
ρ1 X10 X5 X3 X10 X1
ρ2 X5 X3 X3 X3 X8
X1 X3 X5 X8 X10
ρ1 λ1 λ 2 λ 1 λ 1 λ2
ρ 2 λ 2 λ 1 λ 2 λ2 λ 1
Минимизация автомата Мура
|
λ1 |
λ1 |
λ3 |
λ 3 |
λ3 |
λ2 |
λ 3 |
λ 1 |
λ2 |
λ 2 |
λ 2 |
λ2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X1 |
X2 |
X3 |
X4 |
X5 |
X6 |
X7 |
X8 |
X9 |
X10 |
X11 |
X12 |
ρ1 |
X10 |
X12 |
X5 |
X7 |
X3 |
X7 |
X3 |
X10 |
X7 |
X1 |
X5 |
X2 |
ρ2 |
X5 |
X7 |
X6 |
X11 |
X9 |
X11 |
X6 |
X4 |
X6 |
X8 |
X9 |
X8 |
Совмещённая модель автомата (C-автомата )
S = 
X ,Ρ, Λ,U ,ϕ,ψ1 ,ψ2 , X 0 
ЛП Λ
Ρ
ЭП U