Область применения (формальная семантика)
- Область действия семантического оператора связана с семантическим объектом, к которому он применяется.
- Взаимосвязь между синтаксическими позициями операторов и их семантической областью охвата является основной проблемой исследований в формальной семантике.
- Некоторые теории объема предполагают уровень синтаксической структуры, называемый логической формой, на котором синтаксическая позиция элемента соответствует его семантическому объему.
- Другие теории вычисляют отношения области видимости в самой семантике, используя формальные инструменты, такие как переключатели типов, монады и продолжения.
- Явления неопределенности сферы применения включают разделение области видимости и раздельную область применения для определенных описаний.
- Формальные подходы к охвату включают структурный взгляд, подход к смене типов и другие альтернативы.
- Подход к смене типов лежит в основе многих недавних предложений по исключительной области применения, разделению сферы применения и другим проблемным явлениям, связанным с областью применения.
Полный текст статьи: