Исследовательская группа
Лаборатория языковых инструментов
Конъюнктивные и булевы грамматики
19 сентября
В докладе будут рассмотрены такие расширения контекстно-свободных грамматик, как конъюнктивные и булевы грамматики. Будет показана их связь с логикой первого порядка. Также будут рассмотрены различные определения и семантики данных грамматик с использованием перезаписи и уравнения над языками.
Докладчик: Рустам Азимов.