А меня зацепил момент:
> -- Цитата:
> Расширяемостью, т.е. возможностью включения в язык новых понятий, определяемых пользователем (программистом). Успех формализации часто зависит от того, насколько удачен выбор понятий, характеризующих искомую проблемную область.
а именно "понятий, характеризующих искомую проблемную область". Хотя может я и нет акценты воспринял.