Здравствуйте, BokiyIS, Вы писали:

BIS>Да, но если у нас в таком языке есть while(expr) stmt и do stmt while(stmt), наряду с указаной вами грамматикой, то она является неоднозначной, ...

Правда? А на мой взгляд это изменение не добавляет никакой неоднозначности. Хотелось бы узнать мнение экспертов.