Хотя анализ текста позволяет выявить очевидные ошибки и установить правильность синтаксического описания и использования объектов, ... - Большая Энциклопедия Нефти и Газа
Хотя анализ текста позволяет выявить очевидные ошибки и установить правильность синтаксического описания и использования объектов, однако многие свойства нельзя проверить средствами этого анализа. Так, для анализа ограничений следует применять формальные методы, рассмотренные в гл.