Exemple 5.13 avec l’entr´ ee : int [2][3][4]

(1)

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

Production R` egles S´ emantiques

T → BC T .t := C.t

C.b := B.t

B → int B.t := integer

B → float B.t := float

C → [ num ] C ¹ C.t := array(num.val, C ¹ .t) C ¹ .b := C.b

C → ǫ C.t := C.b

(2)

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

Production R`egles S´emantiques

T → BC T .t := C.t

C.b := B.t

B → int B.t := integer

B → float B.t := float

C →[ num ] C1 C.t := array(num.val, C¹.t) C1.b := C.b

C →ǫ C.t := C.b

T

B C

1

int [ num 2 ] C

2

[ num 3 ] C

3

[ num 4 ] C

4

(3)

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T → BC T .t := C.t

C.b := B.t

C →ǫ C.t := C.b

T

B C

1

int t

1

[ num 2 ] C

2

[ num 3 ] C

3

[ num 4 ] C

4

t

1:

integer

(4)

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T → BC T .t := C.t

C.b := B.t

C →ǫ C.t := C.b

T

B C

1

int t

1

[ num 2 ] C

2

[ num 3 ] C

3

[ num 4 ] C

4

t

1

t

1:

integer

(5)

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T → BC T .t := C.t

C.b := B.t

C →ǫ C.t := C.b

T

B C

1

int t

1

[ num 2 ] t

1

C

2

[ num 3 ] C

3

[ num 4 ] C

4

t

1

t

1:

integer

(6)

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T → BC T .t := C.t

C.b := B.t

C →ǫ C.t := C.b

T

B C

1

int t

1

[ num 2 ] t

1

C

2

[ num 3 ] t

1

C

3

[ num 4 ] C

4

t

1

t

1:

integer

(7)

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T → BC T .t := C.t

C.b := B.t

C →ǫ C.t := C.b

T

B C

1

int t

1

[ num 2 ] t

1

C

2

[ num 3 ] t

1

C

3

[ num 4 ] t

1

C

4

t

1

t

1:

integer

(8)

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T → BC T .t := C.t

C.b := B.t

C →ǫ C.t := C.b

T

B C

1

int t

1

[ num 2 ] t

1

C

2

[ num 3 ] t

1

C

3

[ num 4 ] t

1

C

4

t

1

t

1

t

1:

integer

(9)

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T → BC T .t := C.t

C.b := B.t

C →ǫ C.t := C.b

T

B C

1

int t

1

[ num 2 ] t

1

C

2

[ num 3 ] t

1

C

3

t

2

[ num 4 ] t

1

C

4

t

1

t

1

t

2:

array

4 t

1:

integer

(10)

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T → BC T .t := C.t

C.b := B.t

C →ǫ C.t := C.b

T

B C

1

int t

1

[ num 2 ] t

1

C

2

t

3

[ num 3 ] t

1

C

3

t

2

[ num 4 ] t

1

C

4

t

1

t

1

t

3:

array

3 t

2:

array

4 t

1:

integer

(11)

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T → BC T .t := C.t

C.b := B.t

C →ǫ C.t := C.b

T

B C

1

int

t

4

t

1

[ num 2 ] t

1

C

2

t

3

[ num 3 ] t

1

C

3

t

2

[ num 4 ] t

1

C

4

t

1

t

1

t

4:

array

2 t

3:

array

3 t

2:

array

4 t

1:

integer

(12)

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T → BC T .t := C.t

C.b := B.t

C →ǫ C.t := C.b

T

B C

1

int

t

4

t

4

t

1

[ num 2 ] t

1

C

2

t

3

[ num 3 ] t

1

C

3

t

2

[ num 4 ] t

1

C

4

t

1

t

1

t

4: array

2 t

3: array

3 t

2:array

4 t

1: integer

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

Production R` egles S´ emantiques

T → BC T .t := C.t

C.b := B.t

B → int B.t := integer

B → float B.t := float

C → [ num ] C 1 C.t := array(num.val, C 1 .t) C 1 .b := C.b

C → ǫ C.t := C.b

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T

B C

int [ num 2 ] C

[ num 3 ] C

[ num 4 ] C

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T

B C

int t

[ num 2 ] C

[ num 3 ] C

[ num 4 ] C

t

integer

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T

B C

int t

[ num 2 ] C

[ num 3 ] C

[ num 4 ] C

t

t

integer

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T

B C

int t

[ num 2 ] t

C

[ num 3 ] C

[ num 4 ] C

t

t

integer

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T

B C

int t

[ num 2 ] t

C

[ num 3 ] t

C

[ num 4 ] C

t

t

integer

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T

B C

int t

[ num 2 ] t

C

[ num 3 ] t

C

[ num 4 ] t

C

t

t

integer

Exemple 5.13 avec l’entr´ ee : int [2][3][4]

T

B C

int t

[ num 2 ] t

C

[ num 3 ] t

C

[ num 4 ] t

C

C → [ num ] C ¹ C.t := array(num.val, C ¹ .t) C ¹ .b := C.b