Лаборатория языковых инструментов

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

Докладчик: Рустам Азимов.