K
A
pr
o
doplněk:
Probl
é
m
•
P
ředchozí
algoritm
us
vyžaduje
úplný
K
A
•
Pokud
M
není úplný K
A
,
potom
M
mus
í
b
ýt převed na
úplný KA a pak může být použit předchozí algoritmus
a
s
f
b
c
Neúplný DKA:
c
a
,
b
q
false
a
,
b
,
c
Úplný DKA:
b
a
s
f
c
M
:
Příklad:
c
a
,
b
a
,
b
,
c
a
c
f
s
b
q
false
M
2
’
:
L
(
M
2
’
)
=
L
(
M
)
L
(
M
1
’
)
¹
L
(
M
)
!
-
c
Ï
L
(
M
),
c
Ï
L
(
M
1
’)
s
c
a
f
b
M
1
’
:
16/26