Бағдарламалау тілдерінің семантикалық анализ технологиясы

Бағдарламалау тілінің семантикасы – машинаның еркін түрде берілген бағдарламаны қандай операциялар арқылы және қандай реттілікте орындау керектігін анықтауды білдіреді. Теориялық тұрғыдан формальды тіл дегеніміз белгілі бір шегі бар жолдар жиынтығы (7.1-сурет ).