2
Grammatiche e tipi sensibili al contesto
1) Qual è l'eventuale relazione tra la tipizzazione statica e le grammatiche formali? 2) In particolare, sarebbe possibile per un automa a limite lineare verificare se, per esempio, un programma C ++ o SML fosse ben tipizzato? Un automa pila nidificato? 3) Esiste un modo naturale per esprimere regole di …