Без заголовка

Для задач специфицирования натуральный формальный язык очень важен, ибо спецификации должны быть точными, а обычный язык многосмысленен. Это одна из основных проблем спецификаций. В то же время, спецификации должны понимать обычные люди, не-программеры. Поэтому всякие компании даже пытаются внедрять controlled languages в документации. Т.е. спецификации нужно по любому писать на точном языке, а не на произвольном. Переспрашивалка тут лишь помогает человеку писать точно, а на выходе-то все равно имеем controlled lahnguage.