110 likes | 335 Views
Configurazione e controllo. inputDev. Rappresentazione esterna descritta dalla sintassi concreta. frase. Sexp. lexer. token. frase. AtomSexp. ConsSexp. parser. token. RapInterna frase. IdentSexp. Rappresentazione interna descritta dalla sintassi astratta. RapInterna frase.
E N D
Configurazione e controllo inputDev Rappresentazione esterna descritta dalla sintassi concreta frase Sexp lexer token frase AtomSexp ConsSexp parser token RapInternafrase IdentSexp Rappresentazione interna descritta dalla sintassi astratta RapInterna frase eval risultato eval
Configurazione e controllo inputDev Rappresentazione esterna descritta dalla sintassi concreta frase Sexp lexer token frase AtomSexp ConsSexp parser token RapInternafrase IdentSexp Rappresentazione interna descritta dalla sintassi astratta RapInterna frase eval risultato eval
inputDev 2+3*5.0-4 parser eval - minusSexp 4 + plusSexp IntSexp * 2 mulSexp 13.0 IntSexp DoubleSexp 5.0 3 DoubleSexp IntSexp
. consSexp . - minusSexp . . nil 4 + . - plusSexp IntSexp minusSexp 2 . 4 + IntSexp plusSexp IntSexp nil . * 2 mulSexp IntSexp * . mulSexp 5.0 3 3 . DoubleSexp IntSexp IntSexp nil 5.0 DoubleSexp 2+3*5.0-4 (-(+ 2 (* 3 5.0)) 4)
Sexp consSexp AtomSexp numSexp nilSexp identSexp IntSexp DoubleSexp opSexp plusSexp minusSexp mulSexp divSexp
SexpVisitor parSexpVisitor treeSexpVisitor evalSexpVisitor Scrive una espressione simbolica in forma Lisp Visualizza l’espressione in forma grafica Calcola il valore dell’espressione Sexp consSexp AtomSexp numSexp nilSexp identSexp opSexp plusSexp minusSexp mulSexp divSexp
. consSexp . - . minusSexp . nil 4 + . plusSexp IntSexp 2 . IntSexp nil . * . mulSexp 3 . IntSexp nil 5.0 DoubleSexp inputDev 2+3*5.0-4 parser eval - minusSexp 4 + plusSexp IntSexp * 2 13.0 mulSexp IntSexp DoubleSexp 5.0 3 DoubleSexp IntSexp
Sexp consSexp AtomSexp nilSexp identSexp nonAtomicTerm argList atomicTerm clause Conj var Symbol structure const Int true
Data E S Evaluator BI E(Data Variation Driven Machine) Source Computed Result Event Commit logic Coordination Commit action
Vetoer, Constrainer BI E(Data Variation Driven Machine) Source Event Commit logic Coordination Computed Results Commit or constrain action
BI1 E(Data Variation Driven Machine) Coordinator Source Evento Commit logic Commit action BI2 Computed Result