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

D>Если бы их стандарты представляли собой документы математической (а не юридической как сейчас) строгости, и при этом фиксировали бы и синтаксис, и семантику, то этот перевод можно было бы описать один раз и навсегда.

Паскаль описан в БНФ изначально, так что синтаксис математически строг. А как семантику формулировать на уровне математической строгости — я не знаю.