Семантика мов програмування

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Семантика в теорії програмування — розділ що вивчає математичне значення мови програмування та моделі обчислень. Формальна семантика мови задається математичною моделлю яка описує можливі в мові обчислення.

Основні види[ред.ред. код]

Загальний сенс [ред.ред. код]

Семантика мови - це смислове значення слів. У програмуванні - значення операторів, основних конструкцій мови і т.п.

Наприклад:

Перший код: 
i = 0; while (i <5) {i ++;} 

Другий код: 
i = 0; do {i ++;} while (i <= 4);

Логічно ці два фрагмента коду виконують одне і те ж, результати їх роботи ідентичні. У той же час семантично це два різних циклу. Так само теги HTML:

<i> </ i> 
<em> </ em>

виглядатимуть на сторінці абсолютно однаково, але якщо розглядати семантично, то перший тег - це виділення курсивом, а другий - логічне виділення (браузери виводять курсивом).

Посилання[ред.ред. код]