Množina
Empty
Definice:
Nechť
G
= (
N
,
T
,
P
,
S
)
je
BK
G.
Empty
(
x
) = {
e
} if
x
Þ
*
e
;
jinak
Empty
(
x
) =
Æ
,
kde
x
Î
(
N
È
T
)
*
.
Myšlenka:
Empty
(
x
)
je množina, která obsahuje
jediný prvek
e
pokud
x
derivuje
e
, jinak je prázdná
Ilustrace:
x
=
X
1
X
2
X
n
…
x
=
X
1
X
2
…
X
n
Þ
*
e
Empty
(
x
) = {
e
}
e
e
e
…
e
16/57