Семантика языка программирования
Обычно семантика определяется с помощью обычного текста. Сначала при помощи какой-либо грамматики (скажем, BNF-грамматики) описывается синтак
Синтезируемые атрибуты |
183 |
сис конструкции, а затем приводятся примеры и комментарии для разъяснения семантики. Очень часто смысл комментариев неоднозначен, поэтому различные читатели воспринимают его по-разному. Программист может получить ошибочное представление о работе создаваемой программы, а разработчик может сформировать ошибочную реализацию некоторой конструкции языка. Для исключения ошибок нужен инструмент для ясного, точного и лаконичного определения семантики всего языка. Приемлемое решение в отношении семантики языка найти чрезвычайно трудно. Причина кроется в том, что содержание, смысл конструкций во много раз сложнее их формы. Был разработан целый ряд методов для формального определения семантики. Приведем описания наиболее популярных из них. |