P
ředchozí a
lgorit
mus
: Ilustrace
1)
Pro každé
a
Î
T
:
Empty
(
a
) :=
Æ
, protože
a
Þ
*
e
2)
Pro každé
r
:
A
®
e
Î
P
:
Empty
(
A
) := {
e
}
,
protože
A
Þ
1
e
[
r
]
Empty
(
A
) = {
e
}
e
e
e
…
e
•
if
A
®
X
1
X
2
…
X
n
Î
P
and
Empty
(
X
i
) = {
e
}
pro všechna
i
= 1,…,
n
then
Empty
(
A
) = {
e
}
•
A
X
1
X
2
…
X
n
3)
Používej následující pravidlo, dokud bude
možné měnit nějakou množinu
Empty
:
18/57