In programming language theory semantics, semantic is the field concerned with the rigorous mathematical study of the meaning of programming languages. It does so by evaluating the meaning of syntactically legal strings defined by a specific programming language, showing the computation involved.
Secondo la definizione citata sopra, cosa significa "stringhe sintatticamente legali" significa?
La sintassi è un livello superiore rispetto alla semantica. Ciò significa che parentesi e parentesi devono corrispondere, parole chiave e in quali costrutti devono essere, come devono apparire le espressioni, ecc.
Una stringa sintatticamente corretta è una stringa che segue tutte le regole di sintassi. Anche se non necessariamente le regole semantiche.
Una stringa sintatticamente legale sarebbe un testo che corrisponde alla grammatica della lingua. Una grammatica specifica le parole chiave, gli operatori e altri costrutti testuali e il modo in cui devono apparire per formare espressioni e affermazioni e, infine, programmi. Come altri dicono, questo include, ad esempio, mettere ; per terminare le istruzioni, le parentesi di bilanciamento di vari tipi [ , ( , { , ecc ...
La grammatica non specifica tutto sulla lingua, anche se ovviamente.
Un testo che corrisponde alla grammatica della lingua non è ancora necessariamente un programma legale, deve ancora passare preoccupazioni semantiche, ad esempio, non puoi usare break; senza essere in un ciclo (anche se un tale testo sarebbe passare la grammatica, che è per dire che analizzerebbe).
Leggi altre domande sui tag compile-time compiler