Описание языка должно точно задавать все возможности языка, избегая не определённого поведения по недосмотру. Там же, где его нельзя избежать из каких-либо соображений, например, для повышения ошибкоустойчивости, оно должно быть указано в явном виде как ошибочное состояние.
Однозначность должна быть и в соответствии интуитивного понимания языка и его формальной семантики. Следует избегать положения, когда пользователь языка и воплотитель исполнителя языка рассуждали о нём в разных понятиях.
Комментариев нет:
Отправить комментарий