Lexer parser eval frase token RapInterna frase risultato eval Configurazione e controllo inputDev frase RapInterna frase Sexp ConsSexp AtomSexp IdentSexp.

Presentazione sul tema: "Lexer parser eval frase token RapInterna frase risultato eval Configurazione e controllo inputDev frase RapInterna frase Sexp ConsSexp AtomSexp IdentSexp."— Transcript della presentazione:

1 lexer parser eval frase token RapInterna frase risultato eval Configurazione e controllo inputDev frase RapInterna frase Sexp ConsSexp AtomSexp IdentSexp Rappresentazione interna descritta dalla sintassi astratta Rappresentazione esterna descritta dalla sintassi concreta

2 lexer parser eval frase token RapInterna frase risultato eval Configurazione e controllo inputDev frase RapInterna frase Sexp ConsSexp AtomSexp IdentSexp Rappresentazione interna descritta dalla sintassi astratta Rappresentazione esterna descritta dalla sintassi concreta

3 2+3*5.0-4 + plusSexp 2 IntSexp - minusSexp 5.0 DoubleSexp 3 IntSexp * mulSexp 4 IntSexp parser inputDev eval 13.0 DoubleSexp

4 2+3*5.0-4 + plusSexp 2 IntSexp - minusSexp 5.0 DoubleSexp 3 IntSexp * mulSexp 4 IntSexp (-(+ 2 (* 3 5.0)) 4) 3 + plusSexp 2 IntSexp - minusSexp 5.0 DoubleSexp IntSexp * mulSexp 4 IntSexp...... nil... consSexp

5 Sexp AtomSexp identSexpnilSexp opSexp plusSexpminusSexpmulSexpdivSexp numSexp IntSexpDoubleSexp

6 consSexp Sexp AtomSexp identSexpnilSexpnumSexp parSexpVisitor SexpVisitor treeSexpVisitorevalSexpVisitor Scrive una espressione simbolica in forma Lisp Visualizza lespressione in forma grafica Calcola il valore dellespressione opSexp plusSexpminusSexpmulSexpdivSexp

7 2+3*5.0-4 + plusSexp 2 IntSexp - minusSexp 5.0 DoubleSexp 3 IntSexp * mulSexp 4 IntSexp parser inputDev eval 13.0 DoubleSexp 3 + plusSexp 2 IntSexp - minusSexp 5.0 DoubleSexp IntSexp * mulSexp 4 IntSexp...... nil... consSexp

8 Sexp AtomSexp identSexpnilSexp atomicTerm varSymbolstructure const nonAtomicTerm true Int argList Conj clause

9 Source BI Coordination E (Data Variation Driven Machine) Commit action Event Commit logic Computed Result S E Data

10 Source BI Coordination E (Data Variation Driven Machine) Event Commit logic Computed Results Commit or constrain action

11 Source BI 1 Coordinator E (Data Variation Driven Machine) Evento BI 2 Commit logic Computed Result Commit action