1

U
N
I
D
A
D

I
:

L
E
N
G
U
A
J
E
S

Y

G
R
A
M

T
I
C
A
S

C
a
p

t
u
l
o

1
.

I
n
t
r
o
d
u
c
c
i

n
.


C
a
p

t
u
l
o

2
.

L
e
n
g
u
a
j
e
s

F
o
r
m
a
l
e
s



C
a
p

t
u
l
o

3
.

G
r
a
m

t
i
c
a
s

F
o
r
m
a
l
e
s
.



3
.
1
.

C
o
n
c
e
p
t
o

d
e

g
r
a
m

t
i
c
a

f
o
r
m
a
l

P
r
o
d
u
c
c
i
o
n
e
s
.

G
r
a
m

t
i
c
a

F
o
r
m
a
l
.

L
e
n
g
u
a
j
e

a
s
o
c
i
a
d
o

a

u
n
a

g
r
a
m

t
i
c
a
.

R
e
c
u
r
s
i
v
i
d
a
d
.

G
r
a
m

t
i
c
a
s

e
q
u
i
v
a
l
e
n
t
e
s
.


3
.
2
.

T
i
p
o
s

d
e

g
r
a
m

t
i
c
a
s

J
e
r
a
r
q
u

a

d
e

C
h
o
m
s
k
y
.

G
r
a
m

t
i
c
a
s

d
e

t
i
p
o
s

0
,

1
,

2
,

y

3
.



3
.
3
.

r
b
o
l
e
s

d
e

d
e
r
i
v
a
c
i

n

R
e
p
r
e
s
e
n
t
a
c
i

n

a
r
b
o
r
e
s
c
e
n
t
e

d
e

d
e
r
i
v
a
c
i
o
n
e
s
.

A
m
b
i
g

e
d
a
d
.


2

3
.
1

C
o
n
c
e
p
t
o

d
e

g
r
a
m

t
i
c
a

f
o
r
m
a
l

H
e
m
o
s

v
i
s
t
o

q
u
e

l
e
n
g
u
a
j
e
s

s
o
n

s
u
b
c
o
n
j
u
n
t
o
s

d
e

l
a
s

p
a
l
a
b
r
a
s

s
o
b
r
e

u
n

a
l
f
a
b
e
t
o

(
L

W
(

)
)
.

m
o

s
e

p
u
e
d
e

d
e
f
i
n
i
r

l
a
s

p
a
l
a
b
r
a
s

q
u
e

p
e
r
t
e
n
e
c
e
n

a

u
n

d
e
t
e
r
m
i
n
a
d
o

l
e
n
g
u
a
j
e
?

E
n
u
m
e
r
a
n
d
o

e
l

c
o
n
j
u
n
t
o

d
e

p
a
l
a
b
r
a
s

a
l
g
u
n
o
s

l
e
n
g
u
a
j
e
s

s
o
n

i
n
f
i
n
i
t
o
s
?

D
e
s
c
r
i
p
c
i

n

i
n
f
o
r
m
a
l

d
e

l
a
s

p
a
l
a
b
r
a
s
:

a

v
e
c
e
s

c
o
m
p
l
i
c
a
d
o

y

d
e
m
a
s
i
a
d
o

i
m
p
r
e
c
i
s
o

D
e
s
c
r
i
p
c
i

n

f
o
r
m
a
l
,

b
a
s
a
d
a

e
n

l
o
s

o
p
e
r
a
d
o
r
e
s

d
e

p
a
l
a
b
r
a
s
:

n
o

s
u
e
l
e
n

s
e
r

s
u
f
i
c
i
e
n
t
e
s

p
a
r
a

e
s
p
e
c
i
f
i
c
a
r

t
o
d
o
s

l
o
s

l
e
n
g
u
a
j
e
s


N
e
c
e
s
i
t
a
m
o
s

u
n

f
o
r
m
a
l
i
s
m
o

p
a
r
a

d
e
f
i
n
i
r

l
o
s

l
e
n
g
u
a
j
e
s

(
l
a
s

p
a
l
a
b
r
a
s

q
u
e

p
e
r
t
e
n
e
c
e
n

a

u
n

l
e
n
g
u
a
j
e
)
.




u
n
a

p
o
s
i
b
i
l
i
d
a
d

-

G
r
a
m

t
i
c
a
s

f
o
r
m
a
l
e
s
:

U
n
a

g
r
a
m

t
i
c
a

d
e
s
c
r
i
b
e

d
e

f
o
r
m
a

i
n
e
q
u

v
o
c
a

l
a

e
s
t
r
u
c
t
u
r
a

d
e

l
a
s

p
a
l
a
b
r
a
s

d
e

u
n

l
e
n
g
u
a
j
e

P
r
o
p
o
r
c
i
o
n
a
n

u
n

m
e
c
a
n
i
s
m
o

p
a
r
a

g
e
n
e
r
a
r

t
o
d
a
s

l
a
s

p
a
l
a
b
r
a
s

q
u
e

p
e
r
t
e
n
e
c
e
n

a

u
n

d
e
t
e
r
m
i
n
a
d
o

l
e
n
g
u
a
j
e

(
t
a
m
b
i

n

s
e

l
l
a
m
a
n

g
r
a
m

t
i
c
a
s

g
e
n
e
r
a
d
o
r
a
s
)


3

3
.
1
.
1

P
r
o
d
u
c
c
i
o
n
e
s

D
e
f
i
n
i
c
i

n

(
P
r
o
d
u
c
c
i

n
)
:

S
e
a

u
n

a
l
f
a
b
e
t
o
.

U
n
a

p
r
o
d
u
c
c
i

n
,

o

r
e
g
l
a

d
e

p
r
o
d
u
c
c
i

n
,

o

r
e
g
l
a

d
e

d
e
r
i
v
a
c
i

n
,

o

r
e
g
l
a

d
e

e
s
c
r
i
t
u
r
a
,

e
s

u
n

p
a
r

o
r
d
e
n
a
d
o

(
x
,
y
)
,

t
a
m
b
i

n

r
e
p
r
e
s
e
n
t
a
d
o

p
o
r

x
:
:
=
y
,

t
a
l

q
u
e

x

+

e

y

*
.

S
e

l
l
a
m
a

x

l
a

c
a
b
e
z
a

o

p
a
r
t
e

i
z
q
u
i
e
r
d
a

d
e

l
a

p
r
o
d
u
c
c
i

n
,

e

y


s
u

c
u
e
r
p
o

o

p
a
r
t
e

d
e
r
e
c
h
a
.

D
e
f
i
n
i
c
i

n

(
D
e
r
i
v
a
c
i

n

d
i
r
e
c
t
a
)
:

S
e
a

u
n

a
l
f
a
b
e
t
o
,

x
:
:
=
y

u
n
a

p
r
o
d
u
c
c
i

n

s
o
b
r
e

,

y

v
,
w

*
.

w

e
s

u
n
a

d
e
r
i
v
a
c
i

n

d
i
r
e
c
t
a

d
e

v
,

o

v

p
r
o
d
u
c
e

d
i
r
e
c
t
a
m
e
n
t
e

w
,

o

v

s
e

r
e
d
u
c
e

d
e

f
o
r
m
a

d
i
r
e
c
t
a

a

w
,

r
e
p
r
e
s
e
n
t
a
d
o

p
o
r

v

w
,

s
i
:

z
,

u

*
:

v
=
z
x
u

w
=
z
y
u


E
j
e
m
p
l
o
s
:

=
{
a
b
}
;

a
:
:
=
b
b

v
=
a
a
b
b
a
a

w
1
=
b
b
a
b
b
a
a

w
2
=
a
a
b
b
a
a

P
a
r
a

q
u
e

w
i

s
e

v
e
r
i
f
i
c
a

v

w
i
?

w
3
=
b
b
b
b
b
b
a
a

w
4
=
a
a
b
b
a
b

v
=
a

w
=
b
b

:


v

s
i

x
:
:
=
y
,

e
n
t
o
n
c
e
s

s
e

v
e
r
i
f
i
c
a

x

y

N
o
t
a
:

A
p
a
r
t
e

d
e

:
:
=

s
e

u
s
a
r
a

t
a
m
b
i

n

"

c
o
m
o

s

m
b
o
l
o

d
e

l
a

o
p
e
r
a
c
i

n

d
e

p
r
o
d
u
c
c
i

n
.

E
l

c
o
n
t
e
x
t
o

d
e
t
e
r
m
i
n
a

s
i

s
e

r
e
f
i
e
r
e

a

u
n
a

p
r
o
d
u
c
c
i

n

o

u
n
a

d
e
r
i
v
a
c
i

n
.

4

D
e
f
i
n
i
c
i

n

(
D
e
r
i
v
a
c
i

n
)
:

S
e
a

u
n

a
l
f
a
b
e
t
o
,

y

P

u
n

c
o
n
j
u
n
t
o

d
e

p
r
o
d
u
c
c
i
o
n
e
s

s
o
b
r
e

.

S
e
a
n

v

y

w

d
o
s

p
a
l
a
b
r
a
s

d
e

*
.

S
e

d
i
c
e

q
u
e

w

d
e
r
i
v
a

d
e

v
,

o

v

p
r
o
d
u
c
e

w
,

o

v

s
e

r
e
d
u
c
e

a

w
,

y

s
e

p
r
e
s
e
n
t
a

p
o
r

v

*
w

s
i
:

1
.

v
=
w

o

2
.

e
x
i
s
t
e

u
n
a

s
e
c
u
e
n
c
i
a

f
i
n
i
t
a

d
e

d
e
r
i
v
a
c
i
o
n
e
s

d
i
r
e
c
t
a
s

u
0

u
1

u
1

u
2

u
n
-
1

u
n

t
a
l
e
s

q
u
e

u
0
=
v

y

u
n
=
w
.


L
a

l
o
n
g
i
t
u
d

d
e

u
n
a

d
e
r
i
v
a
c
i

n

v

*
w

e
s

e
l

n

m
e
r
o

d
e

d
e
r
i
v
a
c
i
o
n
e
s

d
i
r
e
c
t
a
s

e
n

l
a

s
e
c
u
e
n
c
i
a
.

E
l

o
p
e
r
a
d
o
r

+

s
e

r
e
f
i
e
r
e

a

u
n
a

d
e
r
i
v
a
c
i

n

c
o
n

l
o
n
g
i
t
u
d

>
0
.

E
j
e
m
p
l
o
s
:


1
.

L
a

l
o
n
g
i
t
u
d

d
e

u

*
u

e
s

0
.

2
.

=
{
C
,
N
,
0
,
1
,
2
}

P
=
{

N
:
:
=
C
N
,

N
:
:
=
C
,

C
:
:
=
0
,

C
:
:
=
1
,

C
:
:
=
2
}

C
N

C
N

C
C



C
C

0
C

*
0
0

c
o
n

l
o
n
g
i
t
u
d

4

0
C

0
0

{
x
|
x


*

y

C
C
C

*
x

y

x

e
s

i
r
r
e
d
u
c
i
b
l
e

}
?

{
x
|
x


*

y

N

*
x

y

x

e
s

i
r
r
e
d
u
c
i
b
l
e

}
?

P
r
o
p
i
e
d
a
d
e
s

d
e

l
a

d
e
r
i
v
a
c
i

n

1
.

R
e
f
l
e
x
i
v
a
:

*

:

x

*
x

2
.

T
r
a
n
s
i
t
i
v
a
:

x
,
y
,
z

*

:

s
i

x

*
y

e

y

*
z
,

e
n
t
o
n
c
e
s

x

*
z
.

3
.

S
i
m

t
r
i
c
a
:

n
o



5

3
.
1
.
2

G
r
a
m

t
i
c
a

f
o
r
m
a
l

M
o
t
i
v
a
c
i

n

E
j
e
m
p
l
o

C
a
s
t
e
l
l
a
n
o
:

L
a

s
i
n
t
a
x
i
s

d
e
l

c
a
s
t
e
l
l
a
n
o

s
e

d
e
f
i
n
e

m
e
d
i
a
n
t
e

r
e
g
l
a
s
:

1
.

U
n

o
r
a
c
i

n

c
o
n
s
t
a

d
e

s
u
j
e
t
o

y

p
r
e
d
i
c
a
d
o

y

t
e
r
m
i
n
a

c
o
n

u
n

p
u
n
t
o
.

2
.

U
n

s
u
j
e
t
o

e
s

u
n
a

f
r
a
s
e

n
o
m
i
n
a
l
.

3
.

U
n
a

f
r
a
s
e

n
o
m
i
n
a
l

e
s

u
n

g
r
u
p
o

n
o
m
i
n
a
l

s
e
g
u
i
d
o

d
e

u
n

c
a
l
i
f
i
c
a
t
i
v
o

(
q
u
e

p
u
e
d
e

f
a
l
t
a
r
)

4
.

.
.
.

P
o
d
e
m
o
s

u
s
a
r

p
r
o
d
u
c
c
i
o
n
e
s

p
a
r
a

r
e
p
r
e
s
e
n
t
a
r

e
s
t
a
s

r
e
g
l
a
s
:


<
o
r
a
c
i

n
>
:
:
=
<
s
u
j
e
t
o
>

<
p
r
e
d
i
c
a
d
o
>
.


<
s
u
j
e
t
o
>
:
:
=
<
f
r
a
s
e
_
n
o
m
i
n
a
l
>


<
f
r
a
s
e
_
n
o
m
i
n
a
l
>
:
:
=
<
g
r
u
p
o
_
n
o
m
i
n
a
l
>

<
c
a
l
i
f
i
c
a
t
i
v
o
>


<
f
r
a
s
e
_
n
o
m
i
n
a
l
>
:
:
=
<
g
r
u
p
o
_
n
o
m
i
n
a
l
>

.
.
.

P
o
d
e
m
o
s

a
n
a
l
i
z
a
r

s
i

u
n
a

p
a
l
a
b
r
a

d
e
l

l
e
n
g
u
a
j
e

(
e
n

c
a
s
t
e
l
l
a
n
o

s
o
n

f
r
a
s
e
s
)

e
s

g
r
a
m
a
t
i
c
a
l
m
e
n
t
e

c
o
r
r
e
c
t
a

:

<
o
r
a
c
i

n
>




<
s
u
j
e
t
o
>




<
p
r
e
d
i
c
a
d
o
>

<
f
r
a
s
e
_
n
o
m
i
n
a
l
>














.
.
.






.
.
.

<
g
r
u
p
o
_
n
o
m
i
n
a
l
>




<
c
a
l
i
f
i
c
a
t
i
v
o
>



.
.
.








.
.
.

E
l

g
a
t
o








p
e
q
u
e

o



















j
u
e
g
a











.

6

L
a

i
d
e
a

c
o
n
s
i
s
t
e

e
n

d
e
f
i
n
i
r

u
n

l
e
n
g
u
a
j
e

m
e
d
i
a
n
t
e

r
e
g
l
a
s

d
e

p
r
o
d
u
c
c
i

n
.

E
j
e
m
p
l
o

l
e
n
g
u
a
j
e

f
o
r
m
a
l

1

=
{
S
,
A
,
a
,
b
}

P
=
{
S
:
:
=
A
b
,

A
:
:
=
a
A
b
,

A
:
:
=

C
u

l
e
s

s
o
n

t
o
d
a
s

l
a
s

p
o
s
i
b
l
e
s

d
e
r
i
v
a
c
i
o
n
e
s

(
i
r
r
e
d
u
c
i
b
l
e
s
)

d
e
s
d
e

S
?




S

A
b

b

S

A
b

a
A
b
b

a
b
b

S

A
b

a
A
b
b

a
a
A
b
b
b

a
a
b
b
b

.
.
.

{
x
|
S

*
x

y

x

e
s

i
r
r
e
d
u
c
i
b
l
e

}
=
{
a
n
b
n
+
1
|
n
>
=
0
}

E
j
e
m
p
l
o

l
e
n
g
u
a
j
e

f
o
r
m
a
l

2

=
{
S
,
a
,
b
}

P
=
{
S
:
:
=

,

S
:
:
=
a
S
b
}

{
x
|
S

*
x

y

x

e
s

i
r
r
e
d
u
c
i
b
l
e

}
?


S
e

p
u
e
d
e

c
o
n
s
i
d
e
r
a
r

q
u
e

l
o
s

e
l
e
m
e
n
t
o
s

d
e

t
i
e
n
e
n

d
i
s
t
i
n
t
a

f
u
n
c
i
o
n
a
l
i
d
a
d
:


S

y

A

v
a
r
i
a
b
l
e
s

(

m
b
o
l
o
s

n
o

t
e
r
m
i
n
a
l
e
s

)


a

y

b

m
b
o
l
o
s

t
e
r
m
i
n
a
l
e
s

m
b
o
l
o

n
o

t
e
r
m
i
n
a
l

d
e

p
a
r
t
i
d
a

(

a
x
i
o
m
a

)

E
j
e
m
p
l
o

l
e
n
g
u
a
j
e

f
o
r
m
a
l

3

D
e
f
i
n
i
c
i

n

d
e

l
a

i
n
s
t
r
u
c
c
i

i
f

d
e

u
n

l
e
n
g
u
a
j
e

d
e

p
r
o
g
r
a
m
a
c
i

n
.


7

D
e
f
i
n
i
c
i

n

(
G
r
a
m

t
i
c
a

f
o
r
m
a
l
)
:

S
e

d
e
n
o
m
i
n
a

g
r
a
m

t
i
c
a

f
o
r
m
a
l

a

u
n
a

c
u

d
r
u
p
l
a
:

G
=
(

N
,

T
,

S
,

P
)

d
o
n
d
e
:

N

e
s

u
n

a
l
f
a
b
e
t
o

d
e

s

m
b
o
l
o
s

n
o

t
e
r
m
i
n
a
l
e
s

T

e
s

u
n

a
l
f
a
b
e
t
o

d
e

s

m
b
o
l
o
s

t
e
r
m
i
n
a
l
e
s

T

=

;

l
l
a
m
a
r
e
m
o
s

a
l

c
o
n
j
u
n
t
o

N

e
s

e
l

a
x
i
o
m
a

o

s

m
b
o
l
o

i
n
i
c
i
a
l

P

e
s

u
n

c
o
n
j
u
n
t
o

d
e

p
r
o
d
u
c
c
i
o
n
e
s

u
:
:
=
v
,

t
a
l

q
u
e
:

+

y

v

u
=
x
A
y
,


x
,
y

*
,

A

N

E
j
e
m
p
l
o
s
:


1
.

G
1
=
(
{
S
,
A
)
,

{
a
,
b
}
,
S
,
P
)

P
=
{
S
:
:
=
A
b
,

A
:
:
=
a
A
b
,

A
:
:
=

}

2
.

G
=
(

N
,

T
,

S
,

P
)

n
o

e
s

u
n
a

g
r
a
m

t
i
c
a

s
i

u
:
:
=
v

P

c
o
n

u

T
*

a
:

a

N

D
e
f
i
n
i
c
i

n

(
g
r
a
m

t
i
c
a

e
n

B
N
F
)
:

U
n
a

g
r
a
m

t
i
c
a

s
e

e
n
c
u
e
n
t
r
a

r
e
p
r
e
s
e
n
t
a
d
a

e
n

l
a

f
o
r
m
a

B
a
c
k
u
s
-
N
a
u
r

(
B
N
F
)
,

s
i

t
o
d
a
s

l
a
s

p
r
o
d
u
c
c
i
o
n
e
s

t
i
e
n
e
n

l
a

f
o
r
m
a

u
:
:
=
v

y

t
o
d
a
s

l
a
s

p
r
o
d
u
c
c
i
o
n
e
s

c
o
n

l
a

m
i
s
m
a

c
a
b
e
z
a
:

u
:
:
=
v

,

u
:
:
=
w
,

.
.
.

s
e

r
e
p
r
e
s
e
n
t
a
n

p
o
r
:

u
:
:
=
v

|

w

|

.
.
.

3
.
1
.
3

L
e
n
g
u
a
j
e

a
s
o
c
i
a
d
o

a

u
n
a

g
r
a
m

t
i
c
a

D
e
f
i
n
i
c
i

n

(
f
o
r
m
a

s
e
n
t
e
n
c
i
a
l
)
:

S
e
a

u
n
a

g
r
a
m

t
i
c
a

G
=
(

N
,

T
,

S
,

P
)
.

U
n
a

f
o
r
m
a

s
e
n
t
e
n
c
i
a
l

d
e

G

e
s

u
n
a

s
e
c
u
e
n
c
i
a

d
e

s

m
b
o
l
o
s

x

*

t
a
l

q
u
e

S

*
x
.


8

E
j
e
m
p
l
o
s
:


G
=
(
{
S
,
A
)
,

{
a
,
b
}
,
S
,
P
)

P
=
{
S
:
:
=
A
b
,

A
:
:
=
a
A
b
|

F
o
r
m
a
s

s
e
n
t
e
n
c
i
a
l
e
s
:

S
,

A
b
,

a
a
A
b
b
b
,

a
a
b
b
b
,

b

N
o

l
o

s
o
n
:

a
,

a
a
A
b
b


D
e
f
i
n
i
c
i

n

(
s
e
n
t
e
n
c
i
a
)
:

U
n
a

s
e
n
t
e
n
c
i
a

d
e

G

e
s

u
n
a

f
o
r
m
a

s
e
n
t
e
n
c
i
a
l

x

t
a
l

q
u
e

x

T
*
.

N
o
t
a
:

U
s
a
r
e
m
o
s

t
a
m
b
i

n

e
l

t

r
m
i
n
o

p
a
l
a
b
r
a
.

D
e
f
i
n
i
c
i

n

(
l
e
n
g
u
a
j
e

r
e
c
o
n
o
c
i
d
o
)
:

D
a
d
a

u
n
a

g
r
a
m

t
i
c
a

G
=
(

N
,

T
,

S
,

P
)
,

e
l

l
e
n
g
u
a
j
e

r
e
c
o
n
o
c
i
d
o

o

g
e
n
e
r
a
d
o

p
o
r

G

e
s
t

f
o
r
m
a
d
o

p
o
r

t
o
d
a
s

l
a
s

s
e
n
t
e
n
c
i
a
s

(
p
a
l
a
b
r
a
s
)

d
e

G
:


L
(
G
)
=
{
x
|
S

*
x

y

x

T
*
}

E
j
e
m
p
l
o
s
:


1
.
G
1
=
(
{
S
,
A
)
,

{
a
,
b
}
,
S
,
P
)

c
o
n

P
=
{
S
:
:
=
A
b
,

A
:
:
=
a
A
b
|

L
(
G
1
)
=
{
a
n
b
n
+
1
|
n

0
}

2
.
G
2
=
(
{
S
,
A
)
,

{
a
,
b
}
,
S
,
P
)

c
o
n

P
=
{
S
:
:
=
A
b
,

A
:
:
=
a
A
b
}

L
(
G
2
)
?

3
.
G
3
=
(
{
S
,
A
)
,

{
a
,
b
}
,
S
,
P
)

c
o
n

P
=
{
S
:
:
=
A
b
,

A
:
:
=
a
A
b
|
a
S
}

L
(
G
3
)
?

4
.
G
4
=
(
{
S
,
A
)
,

{
a
,
b
}
,
S
,
P
)

c
o
n

P
=
{
S
:
:
=
A
b
,

A
:
:
=
a
b
|
a
}

L
(
G
4
)
?

5
.
G
5
=
(
{
A
,
B
,
C
,
D
,
E
,
S
}
,
{
a
}
,
S
,
P
)

c
o
n

P
=
{
S
:
:
=
A
B
a
C
,

B
a
:
:
=
a
a
B
,

B
C
:
:
=
D
C
|
E
,

a
D
:
:
=
D
a
,

A
D
:
:
=
A
B
,

a
E
:
:
=
E
a
,

A
E
:
:
=

L
(
G
5
)
?

6
.
G
6
=
(
{
S
,
A
)
,

{
a
,
b
}
,
S
,
P
)

c
o
n

P
=
{
S
:
:
=
A
b
,

A
:
:
=
A
a
b
|
a
}

L
(
G
6
)
?


9

3
.
1
.
4

R
e
c
u
r
s
i
v
i
d
a
d


D
e
f
i
n
i
c
i

n

(
g
r
a
m

t
i
c
a

r
e
c
u
r
s
i
v
a
)
:

U
n
a

g
r
a
m

t
i
c
a

s
e

l
l
a
m
a

r
e
c
u
r
s
i
v
a

e
n

U
,

U

N
,

s
i

e
x
i
s
t
e
n

d
e
r
i
v
a
c
i
o
n
e
s

U

+
x
U
y

c
o
n

x
,
y

*
.

S
i

p
a
r
a

t
o
d
a
s

l
a
s

d
e
r
i
v
a
c
i
o
n
e
s

r
e
c
u
r
s
i
v
a
s

e
n

U

s
e

v
e
r
i
f
i
c
a

x
=

,

s
e

d
i
c
e

q
u
e

l
a

g
r
a
m

t
i
c
a

e
s

r
e
c
u
r
s
i
v
a

a

i
z
q
u
i
e
r
d
a
s

e
n

U
.

S
i

p
a
r
a

t
o
d
a
s

l
a
s

d
e
r
i
v
a
c
i
o
n
e
s

r
e
c
u
r
s
i
v
a
s

e
n

U

s
e

v
e
r
i
f
i
c
a

y
=

,

s
e

d
i
c
e

q
u
e

l
a

g
r
a
m

t
i
c
a

e
s

r
e
c
u
r
s
i
v
a

a

d
e
r
e
c
h
a
s

e
n

U
.

E
j
e
m
p
l
o
s
:

1
.

G
=
(
{
S
,
A
)
,

{
a
,
b
}
,
S
,
P
)

c
o
n

P
=
{
S
:
:
=
A
b
|
S
a
,

A
:
:
=
a
A
b
|

r
e
c
u
r
s
i
v
a

e
n

A

y

S
;

r
e
c
u
r
s
i
v
a

a

i
z
q
u
i
e
r
d
a
s

e
n

S

2
.

G
=
(
{
S
,
A
)
,

{
a
,
b
}
,
S
,
P
)

c
o
n

P
=
{
S
:
:
=
a
A
b
,

A
:
:
=
S
b
|

r
e
c
u
r
s
i
v
a

e
n

A

y

S
;

n
o

r
e
c
u
r
s
i
v
a

a

i
z
q
u
i
e
r
d
a
s

e
n

S

C
o
r
o
l
a
r
i
o
s
:

L
e
n
g
u
a
j
e
s

i
n
f
i
n
i
t
o
s

s

l
o

p
u
e
d
e
n

d
e
s
c
r
i
b
i
r
s
e

m
e
d
i
a
n
t
e

g
r
a
m

t
i
c
a
s

r
e
c
u
r
s
i
v
a
s
.

E
x
i
s
t
e
n

g
r
a
m

t
i
c
a
s

r
e
c
u
r
s
i
v
a
s

q
u
e

g
e
n
e
r
a
n

l
e
n
g
u
a
j
e
s

f
i
n
i
t
o
s
.

3
.
1
.
5

G
r
a
m

t
i
c
a
s

e
q
u
i
v
a
l
e
n
t
e
s

D
e
f
i
n
i
c
i

n

(
G
r
a
m

t
i
c
a
s

e
q
u
i
v
a
l
e
n
t
e
s
)
:

D
o
s

g
r
a
m

t
i
c
a
s

G
1

y

G
2

s
o
n

e
q
u
i
v
a
l
e
n
t
e
s

s
i

L
(
G
1
)
=
L
(
G
2
)
.

(
s
e

e
s
c
r
i
b
e

G
1

G
2
)
.


E
j
e
m
p
l
o
s
:


1
.

G
1
=
(
{
S
}
,
{
a
,
b
}
,
S
,
{
S
:
:
=
a
S
b
|
a
b
}
)

G
2
=
(
{
A
,
B
,
C
,
E
}
,
{
a
,
b
}
,
A
,
P
)

c
o
n


P
=
{
A
:
:
=
a
A
B
C
|
a
b
C
,

C
B
:
:
=
B
C
,

b
B
:
:
=
b
b
,

b
C
:
:
=
b
,

E
:
:
=
b
}

G
1

y

G
2

s
o
n

e
q
u
i
v
a
l
e
n
t
e
s
.


1
0

3
.
2

T
i
p
o
s

d
e

g
r
a
m

t
i
c
a
s

3
.
2
.
1

J
e
r
a
r
q
u

a

d
e

C
h
o
m
s
k
y


T
o
d
a
s

l
a
s

g
r
a
m

t
i
c
a
s

p
o
s
i
b
l
e
s
:

G
3

G
2

G
1

G
0




L
(
G
0
)
=

l
e
n
g
u
a
j
e
s

r
e
c
u
r
s
i
v
a
m
e
n
t
e

e
n
u
m
e
r
a
b
l
e
s

s
i
n

r
e
s
t
r
i
c
c
i
o
n
e
s

L
(
G
1
)
=

l
e
n
g
u
a
j
e
s

s
e
n
s
i
b
l
e
s

a
l

c
o
n
t
e
x
t
o

L
(
G
2
)
=

l
e
n
g
u
a
j
e
s

i
n
d
e
p
e
n
d
i
e
n
t
e
s

d
e
l

c
o
n
t
e
x
t
o

L
(
G
3
)
=

l
e
n
g
u
a
j
e
s

r
e
g
u
l
a
r
e
s

3
.
2
.
2

G
r
a
m

t
i
c
a
s

d
e

t
i
p
o

0

(
g
r
a
m

t
i
c
a
s

s
i
n

r
e
s
t
r
i
c
c
i
o
n
e
s
)

D
e
f
i
n
i
c
i

n

(
G
r
a
m

t
i
c
a
s

d
e

t
i
p
o

0
)
:

L
a
s

g
r
a
m

t
i
c
a
s

d
e

t
i
p
o

0

s
o
n

l
a
s

d
e
f
i
n
i
d
a
s

a
n
t
e
r
i
o
r
m
e
n
t
e
,

c
u
y
a
s

r
e
g
l
a
s

d
e

p
r
o
d
u
c
c
i

n

t
i
e
n
e

l
a

f
o
r
m
a
:


x
A
y
:
:
=
v

c
o
n

x
,
y
,
v

*
,

A

N


D
e
f
i
n
i
c
i

n

(
g
r
a
m

t
i
c
a

d
e

e
s
t
r
u
c
t
u
r
a

d
e

f
r
a
s
e
s
)
:

U
n
a

g
r
a
m

t
i
c
a

d
e

e
s
t
r
u
c
t
u
r
a

d
e

f
r
a
s
e
s

e
s

a
q
u
e
l
l
a

c
u
y
a
s

p
r
o
d
u
c
c
i
o
n
e
s

t
i
e
n
e
n

l
a

f
o
r
m
a
:


x
A
y
:
:
=
x
v
y

c
o
n

x
,
y
,
v

*
,

A

N


N
o
t
a
:

v

p
u
e
d
e

s
e
r





l
a

c
r
a
m

t
i
c
a

p
u
e
d
e

t
e
n
e
r

r
e
g
l
a
s

c
o
m
p
r
e
s
o
r
a
s

y

d
e
r
i
v
a
c
i
o
n
e
s

d
e
c
r
e
c
i
e
n
t
e
s
.
G
0

G
1

G
2

G
3


1
1

P
r
o
p
i
e
d
a
d
e
s

d
e

g
r
a
m

t
i
c
a
s

d
e

t
i
p
o

0

1
.

T
o
d
o

l
e
n
g
u
a
j
e

d
e
s
c
r
i
t
o

p
o
r

u
n
a

g
r
a
m

t
i
c
a

d
e
l

t
i
p
o

0
,

p
u
e
d
e

s
e
r

g
e
n
e
r
a
d
o

p
o
r

u
n
a

g
r
a
m

t
i
c
a

d
e

e
s
t
r
u
c
t
u
r
a
s

d
e

f
r
a
s
e
s
.

E
j
e
m
p
l
o
s
:

1
.

D
e

l
a
s

s
i
g
u
i
e
n
t
e
s

p
r
o
d
u
c
c
i
o
n
e
s
,

i
n
d
i
c
a
r

c
u
a
l
e
s

c
u
m
p
l
e
n

e
l

c
r
i
t
e
r
i
o

d
e

g
r
a
m

t
i
c
a
s

d
e

e
s
t
r
u
c
t
u
r
a

d
e

f
r
a
s
e
s

y

c
u
a
l
e
s

n
o
.

a
A
B
c
D
:
:
=
a
A
B
D
;


a
A
d
:
:
=
a
d
;


a
A
B
d
:
:
=
a
A
C
D
E
f
A
d

a
A
B
E
:
:
=
a
A
B
e
E
;











C
B
:
:
=
B
C

2
.

m
o

c
o
n
v
e
r
t
i
r

C
B
:
:
=
B
C

e
n

e
s
t
r
u
c
t
u
r
a

d
e

f
r
a
s
e
s
?

C
B
:
:
=
X
B
;

X
B
:
:
=
X
Y
;

X
Y
:
:
=
B
Y
;

B
Y
:
:
=
B
C


3
.
2
.
3

G
r
a
m

t
i
c
a
s

d
e

t
i
p
o

1

(
g
r
a
m

t
i
c
a
s

s
e
n
s
i
b
l
e
s

a
l

c
o
n
t
e
x
t
o
)

D
e
f
i
n
i
c
i

n

(
G
r
a
m

t
i
c
a
s

d
e

t
i
p
o

1
)
:

L
a
s

g
r
a
m

t
i
c
a
s

d
e

t
i
p
o

1

s
o
n

a
q
u
e
l
l
a
s

c
u
y
a
s

p
r
o
d
u
c
c
i
o
n
e
s

t
i
e
n
e
n

u
n
a

d
e

l
a
s

d
o
s

f
o
r
m
a
s

s
i
g
u
i
e
n
t
e
s
:

1
.

x
A
y
:
:
=
x
v
y

c
o
n

x
,
y

*
,

A

N
,

v

+


2
.

S
:
:
=

,

s
i
e
n
d
o

S

N

e
l

a
x
i
o
m
a



N
o
t
a
:

L
a
s

p
r
o
d
u
c
c
i
o
n
e
s

m
a
n
t
i
e
n
e
n

e
l

c
o
n
t
e
x
t
o

p
e
r
o

n
o

p
u
e
d
e
n

s
e
r

c
o
m
p
r
e
s
o
r
a
s

(
c
o
n

l
a

e
x
c
e
p
c
i

n

d
e

S
:
:
=

)
:

u
1

u
2

.
.
.

u
n

c
o
n

1

|
u
1
|

|
u
2
|

.
.
.

|
u
n
|



(
s
i

n
o

s
e

u
t
i
l
i
z
a

l
a

r
e
g
l
a

S
:
:
=

L
a

r
e
g
l
a

S
:
:
=

p
e
r
m
i
t
e

g
e
n
e
r
a
r

l
a

p
a
l
a
b
r
a

v
a
c

a
.


E
j
e
m
p
l
o
s
:

C
u

l
e
s

d
e

l
a
s

s
i
g
u
i
e
n
t
e
s

r
e
g
l
a
s

s
o
n

d
e

t
i
p
o

1
?

A
B
:
:
=
a
C
d
B
;










a
A
:
:
=
a
C
B
b
b
;










a
B
A
:
:
=
a
;


A
B
C
:
:
=
A
C
;











A
a
B
F
:
:
=
A
a
C
F



1
2

3
.
2
.
4

G
r
a
m

t
i
c
a
s

d
e

t
i
p
o

2

(
g
r
a
m

t
i
c
a
s

i
n
d
e
p
e
n
d
i
e
n
t
e
s

d
e
l

c
o
n
t
e
x
t
o
)

D
e
f
i
n
i
c
i

n

(
G
r
a
m

t
i
c
a
s

d
e

t
i
p
o

2
)
:

L
a
s

g
r
a
m

t
i
c
a
s

d
e

t
i
p
o

2

s
o
n

a
q
u
e
l
l
a
s

c
u
y
a
s

p
r
o
d
u
c
c
i
o
n
e
s

t
i
e
n
e
n

l
a

f
o
r
m
a
:

A
:
:
=
v

c
o
n

v

*
,

A

N


N
o
t
a
:

A
:
:
=

e
s

u
n
a

p
r
o
d
u
c
c
i

n

d
e

t
i
p
o

2
.

S
i
n

e
m
b
a
r
g
o
,

s
e

p
u
e
d
e

d
e
m
o
s
t
r
a
r

q
u
e

t
o
d
o

l
e
n
g
u
a
j
e

g
e
n
e
r
a
d
o

p
o
r

u
n
a

g
r
a
m

t
i
c
a

d
e

t
i
p
o

2

p
u
e
d
e

s
e
r

g
e
n
e
r
a
d
o

p
o
r

u
n
a

g
r
a
m

t
i
c
a

c
u
y
a
s

p
r
o
d
u
c
c
i
o
n
e
s

t
i
e
n
e
n

l
a

f
o
r
m
a
:

1
.

A
:
:
=
v

c
o
n

v

+
,

A

N

2
.

S
:
:
=

s
i
e
n
d
o

S

e
l

a
x
i
o
m
a

d
e

l
a

g
r
a
m

t
i
c
a

(
s
e

d
e
m
u
e
s
t
r
a

e
n

e
l

c
a
p

t
u
l
o

1
0
)


E
j
e
m
p
l
o
s
:

C
u

l
e
s

d
e

l
a
s

s
i
g
u
i
e
n
t
e
s

r
e
g
l
a
s

s
o
n

d
e

t
i
p
o

2
?

A
A
:
:
=
b
;










A
:
:
=
a
a
B
;











a
B
A
:
:
=
a
;


a
:
:
=
A
C
;












A
:
:
=

1
3

3
.
2
.
5

G
r
a
m

t
i
c
a
s

d
e

t
i
p
o

3

(
g
r
a
m

t
i
c
a
s

r
e
g
u
l
a
r
e
s
)

D
e
f
i
n
i
c
i

n

(
G
r
a
m

t
i
c
a
s

r
e
g
u
l
a
r
e
s

n
o
r
m
a
l
i
z
a
d
o
s
)
:

G
r
a
m

t
i
c
a
s

l
i
n
e
a
l
e
s

p
o
r

l
a

i
z
q
u
i
e
r
d
a
:

t
o
d
a
s

a
q
u
e
l
l
a
s

c
u
y
a
s

p
r
o
d
u
c
c
i
o
n
e
s

t
i
e
n
e
n

u
n
a

d
e

l
a
s

s
i
g
u
i
e
n
t
e
s

f
o
r
m
a
s
:

A
:
:
=
a


A
:
:
=
V
a



(
S
,
A
,
V

N
,

a

T
,

y

S

e
l

a
x
i
o
m
a
)

S
:
:
=

G
r
a
m

t
i
c
a
s

l
i
n
e
a
l
e
s

p
o
r

l
a

d
e
r
e
c
h
a
:

t
o
d
a
s

a
q
u
e
l
l
a
s

c
u
y
a
s

p
r
o
d
u
c
c
i
o
n
e
s

t
i
e
n
e
n

u
n
a

d
e

l
a
s

s
i
g
u
i
e
n
t
e
s

f
o
r
m
a
s
:

A
:
:
=
a


A
:
:
=
a
V



(
S
,
A
,
V

N
,

a

T
,

y

S

e
l

a
x
i
o
m
a
)

S
:
:
=

U
n
a

g
r
a
m

t
i
c
a

e
s

r
e
g
u
l
a
r

(
o

d
e

t
i
p
o

3
)

s
i

e
s

l
i
n
e
a
l

p
o
r

l
a

d
e
r
e
c
h
a

o

l
i
n
e
a
l

p
o
r

l
a

i
z
q
u
i
e
r
d
a
.


E
j
e
m
p
l
o
s
:

1
.

C
u

l
e
s

d
e

l
a
s

s
i
g
u
i
e
n
t
e
s

r
e
g
l
a
s

s
o
n

d
e

t
i
p
o

3
?

a
A
:
:
=
a
a
V
;











A
:
:
=
a
b
V
;











a
:
:
=
B
a
;


a
:
:
=
C
;












A
:
:
=

2
.

G
=
(
{
A
,
B
,
C
}
,
{
a
,
b
}
,
A
,
P
)

c
o
n

P
=
{
A
:
:
=
a
B
,

B
:
:
=
C
b
,

.
.
.
}

N
o

e
s

l
i
n
e
a
l

p
o
r

l
a

d
e
r
e
c
h
a

n
i

l
i
n
e
a
l

p
o
r

l
a

i
z
q
u
i
e
r
d
a
,

p
e
r
o

s

e
s

u
n
a

g
r
a
m

t
i
c
a

l
i
n
e
a
l
.


N
o
t
a
:

H
a
y

d
e
f
i
n
i
c
i
o
n
e
s

m

s

g
e
n
e
r
a
l
e
s

p
a
r
a

g
r
a
m

t
i
c
a
s

l
i
n
e
a
l
e
s

p
o
r

l
a

d
e
r
e
c
h
a

(
i
z
q
u
i
e
r
d
a
)

[
L
i
n
z
,

p
p
.

9
1
-
.
.
.
]
:

U
n
a

g
r
a
m

t
i
c
a

s
e

d
e
n
o
m
i
n
a

l
i
n
e
a
l

p
o
r

l
a

d
e
r
e
c
h
a

s
i

s
u
s

p
r
o
d
u
c
c
i
o
n
e
s

t
i
e
n
e
n

l
a
s

s
i
g
u
i
e
n
t
e
s

f
o
r
m
a
s
:

1
.

A
:
:
=
x
B

2
.

A
:
:
=
x

,

d
o
n
d
e

A
,
B

N

y

x

T
*
.

(
e
n

c
l
a
s
e

u
s
a
r
e
m
o
s

l
a
s

d
e
f
i
n
i
c
i
o
n
e
s

d
a
d
a
s

a
n
t
e
r
i
o
r
m
e
n
t
e
)



1
4

E
j
e
m
p
l
o
s
:


1
.

L
e
n
g
u
a
j
e

r
e
p
r
e
s
e
n
t
a
d
o

p
o
r

G
1
=
(
{
S
,
A
,
B
}
,
{
0
,
1
}
,
S
,
P
)

c
o
n

P
=
{
S
:
:
=
0
A
|
1
,

A
:
:
=
1
A
|
1
B
,

B
:
:
=
0
S
}

1


S

0
A

0
1
B

0
1
0
S

0
1
0
1


S

0
A

0
1
A

0
1
1
B

0
1
1
0
S

0
1
1
0
1


S

0
A

0
1
A

0
1
1
B

0
1
1
0
S

0
1
1
0
0
A

0
1
1
0
0
1
B

0
1
1
0
0
1
0
S

0
1
1
0
0
1
0
1


S

0
A

*
0
1
.
.
.
1
A

0
1
.
.
.
1
B

0
1
.
.
.
1
B

0
1
.
.
.
1
0
S

0
1
.
.
.
1
0
1


S

0
A

*
0
1
.
.
.
1
A

0
1
.
.
.
1
B

0
1
.
.
.
1
B

0
1
.
.
.
1
0
S

0
1
.
.
.
1
0
0
A

*
0
1
.
.
.
1
0
0
1
.
.
.
1
A

*
0
1
.
.
.
1
0
0
1
.
.
.
1
B

0
1
.
.
.
1
0
0
1
.
.
.
1
0
S

0
1
.
.
.
1
0
0
1
.
.
.
1
0
1


L
(
G
)
=
{
(
0
1
i
0
)
j
1
|
i

1
,

j

0
}

2
.

L
e
n
g
u
a
j
e

r
e
p
r
e
s
e
n
t
a
d
o

p
o
r

G
2
=
(
{
S
,
B
}
,
{
0
,
1
}
,
S
,
P
)

c
o
n

P
=
{
S
:
:
=
B
1
|
1
,

B
:
:
=
S
0
}

3
.

L
e
n
g
u
a
j
e

r
e
p
r
e
s
e
n
t
a
d
o

p
o
r

G
3
=
(
{
S
,
B
}
,
{
0
,
1
}
,
S
,
P
)

c
o
n

P
=
{
S
:
:
=
1
B
|
1
,

B
:
:
=
0
S
}



1
5

L
e
n
g
u
a
j
e

G
r
a
m

t
i
c
a

P
r
o
d
u
c
c
i
o
n
e
s

G
e
n
e
r
a
l

x
A
y
:
:
=
v







c
o
n

x
,
y
,
v

*

y

A

N

R
e
c
u
r
s
i
v
a
m
e
n
t
e

e
n
u
m
e
r
a
b
l
e


(
s
i
n

e
s
t
r
i
c
c
i
o
n
e
s
)

T
i
p
o
0

E
s
t
r
u
c
t
u
r
a

d
e

f
r
a
s
e
s

x
A
y
:
:
=
x
v
y



c
o
n

x
,
y
,
v

*

y

A

N

S
e
n
s
i
b
l
e
s

a
l

c
o
n
t
e
x
t
o

T
i
p
o
1

x
A
y
:
:
=
x
v
y



c
o
n

x
,
y

*

,

v

+

y

A

N

S
:
:
=

S

a
x
i
o
m
a

G
e
n
e
r
a
l

A
:
:
=
v











c
o
n

v

*

y

A

N

I
n
d
e
p
e
n
d
i
e
n
t
e
s

d
e
l

c
o
n
t
e
x
t
o

T
i
p
o
2

N
o
r
m
a
l
i
z
a
d
o

A
:
:
=
v











c
o
n

v

+

y

A

N

S
:
:
=

S

a
x
i
o
m
a

G
e
n
e
r
a
l

A
:
:
=
x











c
o
n

x

T
*

y

A
,
B

N

A
:
:
=
B
x


L
i
n
e
a
l

p
o
r

l
a

i
z
q
u
i
e
r
d
a


N
o
r
m
a
l
i
z
a
d
o

A
:
:
=
a











c
o
n

a

T

y

A
,
B

N

A
:
:
=
B
a

S
:
:
=

S

a
x
i
o
m
a

G
e
n
e
r
a
l

A
:
:
=
x











c
o
n

x

T
*

y

A
,
B

N

A
:
:
=
x
B



R
e
g
u
l
a
r
e
s

T
i
p
o
3


L
i
n
e
a
l

p
o
r

l
a

d
e
r
e
c
h
a


N
o
r
m
a
l
i
z
a
d
o

A
:
:
=
a











c
o
n

a

T

y

A
,
B

N

A
:
:
=
a
B

S
:
:
=

S

a
x
i
o
m
a


1
6

3
.
3

r
b
o
l
e
s

d
e

d
e
r
i
v
a
c
i

n

3
.
3
.
1

R
e
p
r
e
s
e
n
t
a
c
i

n

a
r
b
o
r
e
s
c
e
n
t
e

d
e

d
e
r
i
v
a
c
i
o
n
e
s

D
e
f
i
n
i
c
i

n

(

r
b
o
l

d
e

d
e
r
i
v
a
c
i

n
)
:

S
e
a

G
=
(

N
,

T
,

S
,

P
)

u
n
a

g
r
a
m

t
i
c
a

d
e

e
s
t
r
u
c
t
u
r
a

d
e

f
r
a
s
e
s

y

w

u
n
a

f
o
r
m
a

s
e
n
t
e
n
c
i
a
l

d
e

G
,

q
u
e

s
e

o
b
t
i
e
n
e

m
e
d
i
a
n
t
e

u
n
a

d
e
r
i
v
a
c
i

n
:

u
0
=
S

u
1

.
.
.

u
n
=
w

E
l

r
b
o
l

d
e

d
e
r
i
v
a
c
i

n

d
e

w

c
o
r
r
e
s
p
o
n
d
i
e
n
t
e

a

d
i
c
h
a

d
e
r
i
v
a
c
i

n

c
u
m
p
l
e

l
a
s

s
i
g
u
i
e
n
t
e
s

p
r
o
p
i
e
d
a
d
e
s
:

1
.

L
a

r
a

z

d
e
l

r
b
o
l

e
s

S

2
.

C
a
d
a

d
e
r
i
v
a
c
i

n

d
i
r
e
c
t
a

s
e

r
e
p
r
e
s
e
n
t
a

m
e
d
i
a
n
t
e

u
n

c
o
n
j
u
n
t
o

d
e

r
a
m
a
s

q
u
e

s
a
l
e
n

d
e

u
n

n
o
d
o

d
a
d
o

d
e

l
a

s
i
g
u
i
e
n
t
e

f
o
r
m
a
:

S
i

u
i

u
i
+
1

e
s

u
n
a

d
e
r
i
v
a
c
i

n

d
i
r
e
c
t
a

e
n

l
a

s
e
c
u
e
n
c
i
a
,

t
a
l

q
u
e
:

u
i
=

x
i
A
i
y
i

c
o
n

A
i

N

,

x
i
,
y
i

*

u
i
+
1
=

x
i
v
i
y
i

c
o
n

v
i

*

y

v
i
=
v
i
1
.
.
.
v
i
n

e
n
t
o
n
c
e
s


.
.
.
.









A
i

.
.
.
.




v
i
1



v
i
2



.
.
.



v
i
n




E
j
e
m
p
l
o
s
:

1
.

G
1
=

(

{
a
,
b
}

{
A
,
B
,
S
}
,

S
,

{

S
:
:
=
A
B
,


A
:
:
=

a
A

|

a
,


B
:
:
=

b
B
|
b
}
)

y

l
a

d
e
r
i
v
a
c
i

n

S

A
B

a
B

a
b
B

a
b
b

2
.

G
2
=
(
{
A
,
B
,
C
}
,
{
a
,
b
}
,
A
,
P
)

c
o
n



S

A

B

a

b

B

b


1
7

P
=
{
A
:
:
=
a
A
B
C
|
a
b
C
,

b
C
B
:
:
=
b
B
,

b
B
:
:
=
b
b
,

b
C
:
:
=
b
}

S

a
A
B
C

a
a
b
C
B
C

a
a
b
B
C

a
a
b
b
C

a
a
b
b

S



A


B

C




















C



a




a





b

=
a
a
b
b


3
.

S
i

t
e
n
e
m
o
s

u
n
a

g
r
a
m

t
i
c
a

e
n

f
o
r
m
a

g
e
n
e
r
a
l

d
e

t
i
p
o

0
,

e
n
t
o
n
c
e
s

e
s

p
o
s
i
b
l
e

r
e
p
r
e
s
e
n
t
a

l
a
s

d
e
r
i
v
a
c
i
o
n
e
s

e
n

f
o
r
m
a

d
e

r
b
o
l
?

N
o
t
a
s
:

s
o
b
r
e

r
b
o
l
e
s

d
e

d
e
r
i
v
a
c
i

T
o
d
o
s

l
o
s

n
o
d
o
s

i
n
t
e
r
i
o
r
e
s

c
o
r
r
e
s
p
o
n
d
e
n

a

s

m
b
o
l
o
s

n
o

t
e
r
m
i
n
a
l
e
s
.

S
i

u
n

n
o
d
o

e
s

h
i
j
o

d
e

u
n

n
o
d
o

p
a
d
r
e
,

e
s
t
e

p
a
d
r
e

n
o

p
u
e
d
e

t
e
n
e
r

o
t
r
o
s

h
i
j
o
s
.

E
l

r
e
s
u
l
t
a
d
o

d
e

u
n

r
b
o
l

d
e

d
e
r
i
v
a
c
i

n

e
s

e
l

c
o
n
j
u
n
t
o

d
e

n
o
d
o
s

h
o
j
a

d
e

i
z
q
u
i
e
r
d
a

a

d
e
r
e
c
h
a

y

c
o
r
r
e
s
p
o
n
d
e

a

u
n
a

f
o
r
m
a

s
e
n
t
e
n
c
i
a
l

(
s
e

e
l
i
m
i
n
a
n

l
o
s

s

m
b
o
l
o
s

s
o
b
r
a
n
t
e
s
)
.

S
i

t
o
d
a
s

l
a
s

h
o
j
a
s

d
e
l

r
b
o
l

s
o
n

s

m
b
o
l
o
s

t
e
r
m
i
n
a
l
e
s

o

,

e
n
t
o
n
c
e
s

e
l

r
e
s
u
l
t
a
d
o

e
s

u
n
a

s
e
n
t
e
n
c
i
a

(
o

p
a
l
a
b
r
a
)
.

U
n

r
b
o
l

d
e

d
e
r
i
v
a
c
i

n

c
u
y
a

r
a

z

n
o

e
s

e
l

a
x
i
o
m
a

d
e

l
a

g
r
a
m

t
i
c
a

e
s

u
n

r
b
o
l

p
a
r
c
i
a
l
.



1
8

M

s

e
j
e
m
p
l
o
s

(
e
s
c
r
i
b
a

l
o
s

r
b
o
l
e
s

d
e

d
e
r
i
v
a
c
i

n
)
:

4
.

G
3
=
(
{
S
}
,
{
0
,
1
}
,
S
,
P
)

c
o
n

P
=
{
S
:
:
=
S
S
|

|
0
S
|
1
S
}

S

S
S

0
S
S

0
S
1
S

0
0
S
1
S

0
0
1
S

0
0
1

5
.

G
3

c
o
m
o

e
n

4
.

S

S
S

S
1
S

0
S
1
S

0
S
1

0
0
S
1

0
0
1

E
n

g
e
n
e
r
a
l

s
e

p
u
e
d
e

a
f
i
r
m
a
r

q
u
e
:

D
a
d
a

u
n
a

d
e
r
i
v
a
c
i

n
,

e
x
i
s
t
e

u
n

n
i
c
o

r
b
o
l

q
u
e

l
a

r
e
p
r
e
s
e
n
t
a
.

P
o
r

e
l

c
o
n
t
r
a
r
i
o
:

U
n

m
i
s
m
o

r
b
o
l

p
u
e
d
e

c
o
r
r
e
s
p
o
n
d
e
r

a

v
a
r
i
a
s

d
e
r
i
v
a
c
i
o
n
e
s

(
e
j
e
m
p
o
s

5

y

6

a
n
t
e
r
i
o
r
e
s
)
.

E
s
t

l
t
i
m
a

a
f
i
r
m
a
c
i

n

n
o

e
s

v

l
i
d
a

p
a
r
a

g
r
a
m

t
i
c
a
s

l
i
n
e
a
l
e
s

(
q
u
e

i
n
c
l
u
y
e
n

l
a
s

g
r
a
m

t
i
c
a
s

d
e
l

t
i
p
o

3
)
.

P
o
r

q
u
e
?

C
o
n
s
i
d
e
r
a
m
o
s
:

G
=
(
{
S
,
A
}
,
{
0
,
1
}
,
S
,
{
S
:
:
=
0
S
|
1
A
|

,

A
:
:
=
1
A
|
1
S
}
)


3
.
3
.
2

A
m
b
i
g

e
d
a
d

E
j
e
m
p
l
o
:

(
P
r
e
c
e
d
e
n
c
i
a

d
e

o
p
e
r
a
d
o
r
e
s
)

G
1
=
(
{
E
}
,
{
-
,
*
,
i
,

(
,

)
}
,
E
,
{
E
:
:
=
E
-
E
|
E
*
E
|
(
E
)
|
i
}
)

x
=
i
+
i
*
i

E

E
-
E

i
-
E




E

E
*
E

E
*
i

i
-
E
*
E

i
-
i
*
E

i
-
i
*
i

E
-
E
*
i

i
-
E
*
i

i
-
i
*
i

D
o
s

p
o
s
i
b
l
e
s

i
n
t
e
r
p
r
e
t
a
c
i
o
n
e
s
:



(
i
-
i
)
*
i




y




i
-
(
i
*
i
)




(
a
m
b
i
g

e
d
a
d
)




E

E

E

i

i

E

i

-

*

E


E

*

E

i

E

i

-

E

E

i


1
9

D
e
f
i
n
i
c
i
o
n
e
s

(
a
m
b
i
g

e
d
a
d
)
:

S
e
a

u
n
a

g
r
a
m

t
i
c
a

G
.

U
n
a

s
e
n
t
e
n
c
i
a

x

L
(
G
)

e
s

a
m
b
i
g
u
a

s
i

p
u
e
d
e

o
b
t
e
n
e
r
s
e

p
o
r

m
e
d
i
o

d
e

v
a
r
i
a
s

d
e
r
i
v
a
c
i
o
n
e
s

d
i
s
t
i
n
t
a
s

c
o
r
r
e
s
p
o
n
d
i
e
n
t
e
s

a

r
b
o
l
e
s

d
e

d
e
r
i
v
a
c
i

n

d
i
f
e
r
e
n
t
e
s
.

U
n
a

g
r
a
m

t
i
c
a

e
s

a
m
b
i
g
u
a

s
i

g
e
n
e
r
a

a
l
g
u
n
a

s
e
n
t
e
n
c
i
a

a
m
b
i
g
u
a
.

U
n

l
e
n
g
u
a
j
e

e
s

i
n
h
e
r
e
n
t
e
m
e
n
t
e

a
m
b
i
g
u
o

s
i

n
o

e
x
i
s
t
e

u
n
a

g
r
a
m

t
i
c
a

q
u
e

l
a

d
e
s
c
r
i
b
e

y

q
u
e

n
o

s
e
a

a
m
b
i
g
u
a
.

N
o
t
a
s
:

L
a

a
m
b
i
g

e
d
a
d

e
s

u
n
a

p
r
o
p
i
e
d
a
d

i
n
d
e
s
e
a
d
a

e
n

l
e
n
g
u
a
j
e
s

d
e

p
r
o
g
r
a
m
a
c
i

n

(
v

a
s
e

e
l

e
j
e
m
p
l
o

a
n
t
e
r
i
o
r
)
.

C
a
d
a

i
n
s
t
r
u
c
c
i

n

d
e
b
e

t
e
n
e
r

s

l
o

u
n
a

i
n
t
e
r
p
r
e
t
a
c
i

n
.

N
o

e
x
i
s
t
e
n

a
l
g
o
r
i
t
m
o
s

g
e
n
e
r
a
l
e
s

q
u
e

n
o
s

d
i
g
a
n

s
i

u
n
a

g
r
a
m

t
i
c
a

d
a
d
a

e
s

a
m
b
i
g
u
a

(
u
n

p
r
o
b
l
e
m
a

n
o

d
e
c
i
d
i
b
l
e
)
.

T
a
n

s

l
o

s
e

p
u
e
d
e
n

e
n
c
o
n
t
r
a
r

c
o
n
d
i
c
i
o
n
e
s

s
u
f
i
c
i
e
n
t
e
s

p
a
r
a

a
s
e
g
u
r
a
r

q
u
e

u
n
a

g
r
a
m

t
i
c
a

n
o

e
s

a
m
b
i
g
u
a
.

E
l

h
e
c
h
o

d
e

q
u
e

l
a

g
r
a
m

t
i
c
a

q
u
e

d
e
s
c
r
i
b
e

u
n

l
e
n
g
u
a
j
e

s
e
a

a
m
b
i
g
u
a

n
o

i
m
p
l
i
c
a

n
e
c
e
s
a
r
i
a
m
e
n
t
e

q
u
e

e
l

l
e
n
g
u
a
j
e

s
e
a

i
n
h
e
r
e
n
t
e
m
e
n
t
e

a
m
b
i
g
u
o

E
x
i
s
t
e
n

l
e
n
g
u
a
j
e
s

q
u
e

s
o
n

i
n
h
e
r
e
n
t
e
m
e
n
t
e

a
m
b
i
g
u
o
s

(
q
u
e

s

l
o

s
e

p
u
e
d
e
n

d
e
s
c
r
i
b
i
r
,

p
o
r

e
j
e
m
p
l
o
,

c
o
n

g
r
a
m

t
i
c
a
s

i
n
d
e
p
e
n
d
i
e
n
t
e
s

d
e
l

c
o
n
t
e
x
t
o

a
m
b
i
g
u
a
s
)
.


l
e
n
g
u
a
j
e

g
r
a
m

t
i
c
a

s
e
n
t
e
n
c
i
a

d
e
r
i
v
a
c
i

r
b
o
l

d
e

d
e
r
.

1

1

1

0
.
.
*

0
.
.
*

1
.
.
*

1
.
.
*


2
0

L
a

a
m
b
i
g

e
d
a
d

p
u
e
d
e

p
r
e
s
e
n
t
a
r

u
n

p
r
o
b
l
e
m
a

e
n

l
o
s

l
e
n
g
u
a
j
e
s

d
e

p
r
o
g
r
a
m
a
c
i

n
.

P
o
r

e
j
e
m
p
l
o
,

p
a
r
a

c
a
l
c
u
l
a
r

e
l

v
a
l
o
r

d
e

u
n
a

e
x
p
r
e
s
i

n

e
l

r
b
o
l

d
e

d
e
r
i
v
a
c
i

n

e
s
p
e
c
i
f
i
c
a

e
n

q
u
e

o
r
d
e
n

s
e

r
e
s
u
e
l
v
e
n

l
a
s

o
p
e
r
a
c
i
o
n
e
s

(
d
e

a
b
a
j
o

a

a
r
r
i
b
a
)
.


L
a

g
r
a
m

t
i
c
a

G
1

g
e
n
e
r
a

d
o
s

r
b
o
l
e
s

d
e

d
e
r
i
v
a
c
i

n

d
i
s
t
i
n
t
a
s

p
a
r
a

l
a

p
a
l
a
b
r
a

x
=
i
-
i
*
i
:





c
a
d
a

u
n
o

d
a
r

a

u
n

v
a
l
o
r

d
i
s
t
i
n
t
o

a

l
a

e
x
p
r
e
s
i

n


S
e

p
u
d
e

m
o
d
i
f
i
c
a
r

l
a

g
r
a
m

t
i
c
a

G
1

p
a
r
a

o
b
t
e
n
e
r

u
n
a

g
r
a
m

t
i
c
a

e
q
u
i
v
a
l
e
n
t
e

q
u
e

n
o

e
s

a
m
b
i
g
u
a

(
e
v
i
t
a
n
d
o

a
s

l
a

d
o
b
l
e

i
n
t
e
r
p
r
e
t
a
c
i

n
)
:


G
2
=
(
{
E
,
T
,
F
}
,
{
-
,
*
,
i
,
(
,
)
}
,
E
,
{
E
:
:
=
E
-
T
|
T
,

T
:
:
=
T
*
F
|
F
,

F
:
:
=
(
E
)
|
i
}
)

s
o
l
o

e
x
i
s
t
e

r
b
o
l

p
a
r
a

l
a

p
a
l
a
b
r
a

x
=
i
-
i
*
i


E

E
-
T

i
-
T

i
-
T
*
F

i
-
F
*
F

i
-
i
*
F

i
-
i
*
i


P
a
r
a

d
a
r

p
r
e
f
e
r
e
n
c
i
a

a

l
a

a
d
i
c
c
i

n

h
a
y

q
u
e

e
s
p
e
c
i
f
i
c
a
r

l
a

p
a
l
a
b
r
a

c
o
m
o

(
i
-
i
)
*
i
.

m
o

s
e
r

a

e
l

r
b
o
l

d
e

d
e
r
i
v
a
c
i

n
?


E

E

T

i

i

F

i

-

*

T

F

T

F


E

E

E

i

i

E

i

-

*

E


E

*

E

i

E

i

-

E

E

i


2
1

P
a
r
a

d
e
s
a
m
b
i
g
u
a
r

l
a

g
r
a
m

t
i
c
a

d
e

l
a
s

e
x
p
r
e
s
i
o
n
e
s

(
G
1
)

s
e

u
s
a
n

d
o
s

i
d
e
a
s
:


1
.

a
g
r
u
p
a
c
i

n

e
n

u
n
a

d
i
r
e
c
c
i

n

(
e
n

e
s
t
e

c
a
s
o

a

l
a

i
z
q
u
i
e
r
d
a
)
:

C
a
d
e
n
a
s

d
e

o
p
e
r
a
n
d
o
s

p
a
r
a

u
n

m
i
s
m
o

o
p
e
r
a
d
o
r

s
e

g
e
n
e
r
a
n

d
e

l
a

d
e
r
e
c
h
a

h
a
s
t
a

l
a

i
z
q
u
i
e
r
d
a
.

i
-
i
-
i
-
i

E
:
:
=
E
-
T



(
e
s
o

i
m
p
l
i
c
a

q
u
e

s
e

c
a
l
c
u
l
a
n

l
a
s

e
x
p
r
e
s
i
o
n
e
s

d
e

i
z
q
u
i
e
r
d
a

a

d
e
r
e
c
h
a
)

2
.

r
e
g
l
a
s

d
e

p
r
e
f
e
r
e
n
c
i
a

(
*

t
i
e
n
e

p
r
e
f
e
r
e
n
c
i
a

s
o
b
r
e

-
)

L
o
s

o
p
e
r
a
d
o
r
e
s

s
e

g
e
n
e
r
a
n

e
n

d
i
s
t
i
n
t
o
s

n
i
v
e
l
e
s

D
e
s
d
e

e
l

a
x
i
o
m
a

s
e

g
e
n
e
r
a

e
l

o
p
e
r
a
d
o
r

d
e

m
e
n
o
r

p
r
e
f
e
r
e
n
c
i
a

(
e
s
t
e

v
a

a

s
e
r

m

s

a
l
t
o

e
n

e
l

r
b
o
l

d
e

d
e
r
i
v
a
c
i

n
)
.

S
u
c
e
s
i
v
a
m
e
n
t
e
,

s
e

g
e
n
e
r
a
n

o
p
e
r
a
d
o
r
e
s

d
e

m
a
y
o
r

p
r
e
f
e
r
e
n
c
i
a

d
e
s
d
e

n
i
v
e
l
e
s

m

s

b
a
j
o
s

(
v
a
r
i
a
b
l
e
s

a

l
o
s

q
u
e

s

l
o

s
e

l
l
e
g
a
n

a

t
r
a
v

s

d
e

v
a
r
i
a
s

d
e
r
i
v
a
c
i
o
n
e
s
)
.

O
r
d
e
n
:

E
>
T
>
F

L
o
s

o
p
e
r
a
n
d
o
s

d
e

u
n
a

e
x
p
r
e
s
i

n

d
e

u
n

n
i
v
e
l

d
e

p
r
e
f
e
r
e
n
c
i
a

s

l
o

p
u
e
d
e
n

s
e
r

e
x
p
r
e
s
i
o
n
e
s

d
e
l

m
i
s
m
o

n
i
v
e
l

o

d
e

u
n

n
i
v
e
l

m

s

b
a
j
o
.

E
:
:
=
E
-
T

|

T







T
:
:
=
T
*
F

|

F

P
a
r
a

q
u
e

e
l

o
p
e
r
a
n
d
o

d
e

u
n
a

o
p
e
r
a
c
i

n

s
e
a

o
t
r
a

o
p
e
r
a
c
i

n

c
o
n

u
n

o
p
e
r
a
d
o
r

d
e

m
e
n
o
r

n
i
v
e
l

e
s

n
e
c
e
s
a
r
i
o

u
s
a
r

l
o
s

s

m
b
o
l
o
s

d
e

c
a
m
b
i
o

d
e

p
r
e
f
e
r
e
n
c
i
a

F
:
:
=
(
E
)




2
2

E
j
e
m
p
l
o
s
:

1
.

U
n
a

g
r
a
m

t
i
c
a

p
a
r
a

e
l

l
e
n
g
u
a
j
e
:

L
=
{
x
|

x

{
a
,
b
}
*

y

n
a
(
x
)
=

n
b
(
x
)
}

P
r
i
m
e
r

i
n
t
e
n
t
o
:

G
1
=
(
{
S
}
,
{
a
,
b
}
,
S
,
{
S
:
:
=

|
a
S
b
|
b
S
a
|
S
S
}
)

E
s

u
n
a

g
r
a
m

t
i
c
a

a
m
b
i
g
u
a

(
v

a
s
e

l
a

s
e
n
t
e
n
c
i
a

a
b
a
b
)
.

S
e
g
u
n
d
o

i
n
t
e
n
t
o
:

G
2
=
(
{
S
}
,
{
a
,
b
}
,
S
,
{
S
:
:
=

|
a
S
b
S
|
b
S
a
S
}
)

S
i
e
g
u
e

s
i
e
n
d
o

a
m
b
i
g
u
a

(
v

a
s
e

l
a

s
e
n
t
e
n
c
i
a

a
b
a
b
)


E
s

L

i
n
h
e
r
e
n
t
e
m
e
n
t
e

a
m
b
i
g
u
o
?

N
O
.

G
3
=
(
{
S
,
T
,
U
}
,
{
a
,
b
}
,
S
,
P
)

c
o
n

P
=
{
S
:
:
=
a
T
b
S
|
b
U
a
S
|

,

T
:
:
=
a
T
b
T
|

,

U
:
:
=
b
U
a
U
|

m
o

e
s

e
l

r
b
o
l

d
e

d
e
r
i
v
a
c
i

n

p
a
r
a

a
b
a
b
?

(
s
e

p
u
e
d
e

d
e
m
o
s
t
r
a
r

q
u
e

G
3

n
o

e
s

a
m
b
i
g
u
a
)

2
.

U
n

l
e
n
g
u
a
j
e

i
n
h
e
r
e
n
t
e
m
e
n
t
e

a
m
b
i
g
u
o
:

L
=
{
a
n
b
n
c
m
|
n
,
m

0
}

{
a
n
b
m
c
m
|
n
,
m

0
}


S
e

p
u
e
d
e

d
e
f
i
n
i
r

L

c
o
m
o

l
a

u
n
i

n

d
e

d
o
s

l
e
n
g
u
a
j
e
s

L
1

L
2
.


G
r
a
m

t
i
c
a

p
a
r
a

L
1
:


G
4
=
(
{
S
1
,
A
}
,
{
a
,
b
,
c
}
,
S
1
,
{
S
1
:
:
=
S
1
c
|
A
,

A
:
:
=
a
A
b
|

}
)

G
r
a
m

t
i
c
a

p
a
r
a

L
2
:


G
5
=
(
{
S
2
,
B
}
,
{
a
,
b
,
c
}
,
S
2
,
{
S
2
:
:
=
a
S
2
|
B
,

B
:
:
=
b
B
c
|

}
)

G
r
a
m

t
i
c
a

p
a
r
a

L

(
u
n
i
e
n
d
o

G
4

y

G
5
)
:


G
6
=
(
{
S
2
,
S
1
,
S
,
A
,
B
}
,
{
a
,
b
,
c
}
,
S
,
P
)

c
o
n

P
=
{
S
:
:
=
S
1
|
S
2
,


S
2
:
:
=
a
S
2
|
B
,

B
:
:
=
b
B
c
|

,

S
1
:
:
=
S
1
c
|
A
,

A
:
:
=
a
A
b
|

}
)


C
o
n
s
i
d
e
r
a
m
o
s

l
a
s

p
a
l
a
b
r
a
s

a
n
b
n
c
n

p
a
r
a

c
u
a
l
q
u
i
e
r

n
.

(
s
e

p
u
e
d
e

d
e
m
o
s
t
r
a
r

q
u
e

L

e
s

i
n
h
e
r
e
n
t
e
m
e
n
t
e

a
m
b
i
g
u
o
)