Ki sa "sentaks" ak "semantik" vle di ak ki jan yo diferan?

0
10204

Yon lang se yon seri fraz ki valab. Ki sa ki fè yon fraz valab? Ou ka kraze validite an de bagay: sentaks ak semantik. Tèm sentaks la refere a estrikti gramatikal tandiske tèm semantik la refere a siyifikasyon senbòl vokabilè ki ranje ak estrikti sa a. Gramatikal (sentaktik ki valab) pa vle di sansib (semantik ki valab), sepandan. Pou egzanp, fraz la gramatikal "cows flow supremely" gramatikalman ok (advèb sijè-vèb) nan lang angle, men pa gen okenn sans. Menm jan an tou, nan yon langaj pwogramasyon, gramè ou (règleman sentaks) ka pèmèt ID EQUALS ID men lang lan ka pèmèt fraz la sèlman si tèks la matche pou ID pa reprezante yon non tip (yon règ semantik).

Lè w ekri yon gramè ANTLR, w ap presize seri règ sentaks lang ou obeyi. ANTLR sèvi ak sa a pou jenere yon rekonesans pou fraz nan lang sa a. Pou aplike règ semantik, ou dwe ajoute aksyon oswa predika semantik nan gramè a. Aksyon yo teste "valè" divès kalite siy yo ak relasyon yo pou detèmine validite semantik. Pa egzanp, si w chèche yon non kalite nan yon tablo senbòl pou asire w se yon kalite, pa yon varyab, w ap aplike yon règ semantik.