1 / 55

Understanding Semantic Actions in Attribute Communication

This document explores the framework of attribute communication through synthesis and inheritance, focusing on semantic actions in programming. It delves into coding expressions using semantic rules to facilitate computational results derived from input expressions while maintaining an efficient system of state transitions. Key examples showcase how operations such as addition, subtraction, multiplication, and division can be processed systematically within a computational model. The information is crucial for developers and students aiming to grasp the intricacies of semantic analysis in programming.

ciara
Télécharger la présentation

Understanding Semantic Actions in Attribute Communication

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Esquema de traducción Comunicación de atributos por síntesis Comunicación de atributos por herencia Acciones semánticas

  2. a ::= e ; {system.out.println(“Resultado: “, e.sval);} a | λ ; e ::= t {e1.hval = t.sval;} e1 {e.sval = e1.sval;} e1 ::= OPSUMA t {e1.hval = e1.hval + t.sval;} e1 {e1.sval = e1.sval;} | OPRESTA t {e1.hval = e1.hval - t.sval;} e1 {e1.sval = e1.sval;} | λ{e1.sval = e1.hval;} t ::= f {t1.hval = f.sval} t1 {t.sval = t1.sval;} t1 ::= OPMULT f {t1.hval = t1.hval * f.sval;} t1 {t1.sval = t1.sval;} | OPDIV f {t1.hval = t1.hval * f.sval;} t1 {t1.sval = t1.sval;} | λ{t1.sval = t1.hval;} f ::= λ | '(' e ')‘ {f.sval = e.sval;} | NUMERO {f.sval = NUMERO.valex;} Cadena de entrada: ( 1 + 2 ) * 3 – 4 ;

  3. a ( 1 + 2 ) * 3 – 4 ;

  4. a e ( 1 + 2 ) * 3 – 4 ;

  5. a e t ( 1 + 2 ) * 3 – 4 ;

  6. a e t f ( 1 + 2 ) * 3 – 4 ;

  7. a e t f ( ( 1 + 2 ) * 3 – 4 ;

  8. a e t f ( e ( 1 + 2 ) * 3 – 4 ;

  9. a e t f ( e t ( 1 + 2 ) * 3 – 4 ;

  10. a e t f ( e t f ( 1 + 2 ) * 3 – 4 ;

  11. a e t f ( e t f 1 f.sval = NUMERO.valex; NUMERO 1 1 ( 1 + 2 ) * 3 – 4 ;

  12. a e t f ( e t 1 t1.hval = f.sval; f t1 1 NUMERO 1 ( 1 + 2 ) * 3 – 4 ;

  13. a e t f ( e t t1 f 1 λ NUMERO t1.sval = t1.hval; 1 1 ( 1 + 2 ) * 3 – 4 ;

  14. a e t f ( e t 1 t1 t.sval = t1.sval; f 1 λ NUMERO 1 ( 1 + 2 ) * 3 – 4 ;

  15. a e t f ( e 1 e1.hval = t.sval; e1 t 1 t1 f λ NUMERO 1 ( 1 + 2 ) * 3 – 4 ;

  16. a e t f ( e e1 t 1 t1 f + λ NUMERO 1 ( 1 + 2 ) * 3 – 4 ;

  17. a e t f ( e e1 t 1 t1 f + t λ NUMERO 1 ( 1 + 2 ) * 3 – 4 ;

  18. a e t f ( e e1 t 1 t1 f + t λ NUMERO f 1 ( 1 + 2 ) * 3 – 4 ;

  19. a e t f ( e e1 t 1 t1 f + t λ NUMERO f 2 1 f.sval = NUMERO.valex; 2 ( 1 + 2 ) * 3 – 4 ; NUMERO 2

  20. a e t f ( e e1 t 1 t1 f + t 2 t1.hval = f.sval; t1 λ NUMERO f 1 2 ( 1 + 2 ) * 3 – 4 ; NUMERO 2

  21. a e t f ( e e1 t 1 t1 f + t t1 λ NUMERO f 2 1 2 t1.sval = t1.hval; ( 1 + 2 ) * 3 – 4 ; NUMERO λ 2

  22. a e t f ( e e1 t 1 t1 f + t 2 t.sval = t1.sval; t1 λ NUMERO f 2 1 ( 1 + 2 ) * 3 – 4 ; NUMERO λ 2

  23. a e t f ( e e1 t 1 t1 e1.hval = e1.hval + t.sval; f + t 2 t1 λ NUMERO f 1 ( 1 + 2 ) * 3 – 4 ; NUMERO λ 2

  24. a e t f ( e e1 t 1 3 t1 e1.hval = e1.hval + t.sval; e1 f + t 2 t1 λ NUMERO f 1 ( 1 + 2 ) * 3 – 4 ; NUMERO λ 2

  25. a e t f ( e e1 t t1 e1 f + t 3 t1 λ λ NUMERO f e1.sval = e1.hval; 3 1 ( 1 + 2 ) * 3 – 4 ; NUMERO λ 2

  26. a e t f ( e e1 t 3 t1 e1 e1.sval = e1.sval; f + t 3 t1 λ λ NUMERO f 1 ( 1 + 2 ) * 3 – 4 ; NUMERO λ 2

  27. a e t f 3 ( e e1.sval = e1.sval; 3 e1 t t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2 ) * 3 – 4 ; NUMERO λ 2

  28. a e t f ( e ) 3 e1 t t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3 – 4 ; NUMERO λ 2

  29. a e t f 3 ( e ) f.sval = e.sval; 3 e1 t t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3 – 4 ; NUMERO λ 2

  30. a e t 3 f t1.hval = f.sval; t1 3 ( e ) e1 t t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3 – 4 ; NUMERO λ 2

  31. a e t 3 f t1 ( e ) * e1 t t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3 – 4 ; NUMERO λ 2

  32. a e t 3 f t1 ( e ) * f e1 t t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3 – 4 ; NUMERO λ 2

  33. a e t 3 f t1 ( e ) * f 3 f.sval = NUMERO.valex; e1 t NUMERO 3 3 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3 – 4 ; NUMERO λ 2

  34. a e t f t1 3 ( e ) * f t1.hval = t1.hval * f.sval; 3 e1 t NUMERO 3 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3 – 4 ; NUMERO λ 2

  35. a e t f t1 3 9 ( e ) * f t1.hval = t1.hval * f.sval; t1 3 e1 t NUMERO 3 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3 – 4 ; NUMERO λ 2

  36. a e t f t1 ( e ) * f t1 9 e1 λ t NUMERO t1.sval = t1.hval; 9 3 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3 – 4 ; NUMERO λ 2

  37. a e t f t1 9 t1.sval = t1.sval; ( e ) * f t1 9 e1 λ t NUMERO 3 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3 – 4 ; NUMERO λ 2

  38. a e t 9 t.sval = t1.sval; f t1 9 ( e ) * f t1 e1 λ t NUMERO 3 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3 – 4 ; NUMERO λ 2

  39. a e 9 t e1 e1.hval = t.sval; 9 f t1 ( e ) * f t1 e1 λ t NUMERO 3 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3 – 4 ; NUMERO λ 2

  40. a e 9 t e1 f - t1 ( e ) * f t1 e1 λ t NUMERO 3 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3– 4 ; NUMERO λ 2

  41. a e 9 t e1 f - t t1 ( e ) * f t1 e1 λ t NUMERO 3 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3– 4 ; NUMERO λ 2

  42. a e 9 t e1 f - t t1 f ( e ) * f t1 e1 λ t NUMERO 3 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3– 4 ; NUMERO λ 2

  43. a e 9 t e1 f - t t1 f ( e ) * f t1 4 f.sval = NUMERO.valex; e1 λ t NUMERO NUMERO 4 3 4 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3– 4 ; NUMERO λ 2

  44. a e 9 t e1 f - t t1 f ( e ) t1 * f t1 4 4 e1 λ t NUMERO NUMERO 3 4 t1.hval = f.sval; t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3– 4 ; NUMERO λ 2

  45. a e 9 t e1 f - t t1 f ( e ) t1 * f t1 4 e1 λ t NUMERO NUMERO λ 4 3 4 t1 e1 f + t t1.sval = t1.hval; t1 λ λ NUMERO f 1 ( 1 + 2) * 3– 4 ; NUMERO λ 2

  46. a e 9 t e1 4 f - t t1 t.sval = t1.sval; f ( e ) t1 * f t1 4 e1 λ t NUMERO NUMERO λ 3 4 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3– 4 ; NUMERO λ 2

  47. a e1.hval = e1.hval - t.sval; e 9 4 t e1 f - t t1 f ( e ) t1 * f t1 e1 λ t NUMERO NUMERO λ 3 4 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3– 4 ; NUMERO λ 2

  48. a e1.hval = e1.hval - t.sval; e 9 4 t e1 5 f - t e1 t1 f ( e ) t1 * f t1 e1 λ t NUMERO NUMERO λ 3 4 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3– 4 ; NUMERO λ 2

  49. a e t e1 f - t e1 t1 f ( e λ ) t1 * f t1 5 e1 λ t NUMERO NUMERO λ 3 4 5 t1 e1 f + t e1.sval = e1.hval; t1 λ λ NUMERO f 1 ( 1 + 2) * 3– 4 ; NUMERO λ 2

  50. a e1.sval = e1.sval; e 5 5 t e1 f - t e1 t1 f ( e λ ) t1 * f t1 e1 λ t NUMERO NUMERO λ 3 4 t1 e1 f + t t1 λ λ NUMERO f 1 ( 1 + 2) * 3– 4 ; NUMERO λ 2

More Related