LL
gramatiky s
e
-
pravidly: Definice
Definice:
Nechť
G
= (
N
,
T
,
P
,
S
)
je BK
G
.
G
je
LL
-
grama
tika
, pokud pro
ka
ž
dé
a
Î
T
a ka
ž
dé
A
Î
N
existuje
maximálně jedno
A
-
pravidlo tvaru
A
®
X
1
X
2
...
X
n
Î
P
a platí:
a
Î
Predict
(
A
®
X
1
X
2
...
X
n
)
Ilustrace:
a
Î
Predict
(
A
®
X
1
X
2
...
X
n
)
Nesmí nastat v LL-gramatice
a
Î
Predict
(
A
®
Y
1
Y
2
...
Y
m
)
Pravidlo
r
1
:
A
®
X
1
X
2
...
X
n
X
1
X
2
X
n
…
Pravidlo
r
2
:
A
®
Y
1
Y
2
...
Y
m
Y
1
Y
2
Y
m
…
a
A
x
S
y
a
A
x
S
y
40/57