Instituto Tecnolgico Superior de Martnez de la To

Lenguajes y
Autmatas II
Ing. Francisco Xavier Yaes
Bringas
Unidad 1. Anlisis Semntico
Violante Morales Ral
120I0076

1.1. Arboles de expresiones.

Ingeniera en Sistemas Computacionales
7 A

Representar cada una de las siguientes expresiones por medio de un rbol.

1.

x2 3 x+2
+
4
6
+
/

2.

a2 b ba
+
15 a 20 b
+
/

/
*

15

a
b

20

a+3 b a2 b4 a b2
3. 3 ab + 5 a2 b2
+
/

/
*

3 x+ 2
5 x +1
4 x1
2
+ 2
4. x +3 x10 x + 4 x5 x 3 x +2
2

+
3

10

+
3

x
2

*
5

3
4

5.-Las

cadenas

{a , b}

sobre

que

contienen

la

subcadena

aba

(ab) aba( ab)

aba
*
|
a|

*b

{a , b}

6. Las cadenas sobre

a|

*
*b

que terminan con la subcadena aba:

(ab) aba

aba
*
|

a|

*b

7. Las cadenas sobre

{a , b}

que comienzan con la subcadena aba:

aba( ab)

*
|

aba

{a , b}

8. Las cadenas sobre

mltiplo de 3:

que contienen un nmero de as que es

( b a b a b a )b

*
|

b|

a|*

{a , b}

9. Las cadenas sobre

( b a b a b a )b a b

uno:

b| *

* a|

*a|

que contienen un nmero de as mdulo 3 en

*
*
b

*
b

b
a

*
b

10. Las cadenas sobre

dos:

{a , b}

( b a b a b a )b a b
a b

que contienen un nmero de as mdulo 3 de

*
*

a
b

|
b
*
a

b
a