Выразительная сила (информатика)
- Выразительная сила языка определяет широту идей, которые могут быть представлены и переданы на этом языке.
- Чем более выразителен язык, тем большее разнообразие и количество идей он может использовать для представления.
- OWL2 EL обладает меньшей выразительностью, чем OWL2 RL, что позволяет проводить более эффективные рассуждения.
- Термин “выразительная сила” может употребляться в разных значениях, включая меру идей, выражаемых на данном языке.
- Разработка языков и формализмов предполагает компромисс между выразительностью и удобством анализа.
- В теории формального языка выразительная сила формализма связана с набором наборов строк, описываемых его экземплярами.
- В теории баз данных логика первого порядка не хватает выразительности, но добавление выразительности должно осуществляться с осторожностью.
- Аналогичные соображения применимы к языкам запросов и языковым конструкциям для других типов данных.
Полный текст статьи: