Please enable JavaScript.

Coggle requires JavaScript to display documents.

Linguaggi - Coggle Diagram

- - - - Id che non hanno nessuna dichiarazione che li coinvolge
      - Richiede l'accesso a un ambiente esterno che gli dia significato, un'espressione con più id liberi non ha significato!
  - - - Statico
      - Dinamico
    - - Early biding (compile time)
      - Late binding (runtime)
  - - - Può denotare anche altre informazioni, come la precisione per valori in virgola mobile
    - - Strumento formale per creare legami di tipo e verificare che i vincoli contestuali siano validi
      - Associa un tipo ad ogni id e ad ogni well-formed sentence
      - Verifica la correttezza di dichiarazioni e comandi
      - Legami creano ambiente statico
        
        Associa agli id il tipo degli obj che denoteranno
      - Insieme di regole che permettono di associare un tipo ad ogni espressione corretta
    - - Evoluzione dei legami con valori a runtime
        
        Valutazione espressioni
        
        Elaborazione dichiarazioni
        
        Esecuzione comandi
      - Legami creano ambiente dinamico
- - - - Parola
      - Frase
      - Linguaggio
      - Lessema
      - Token
      - Programma
    - - Espressione
      - Dichiarazione
      - Comandi
    - - Ambiente
      - Memoria
  - - - Denotazionale
      - Assiomatica
      - Operazionale
        
        Ogni costrutto dato assumendo abstract syntax tree.
        
        Descrizione semantica come manipolazione simboli
        
        Derivazione = sequenza di transizioni