Исследовательская группа
Лаборатория языковых инструментов
Обзор расширений теории алгебр Клини
7 октября
Теория алгебр Клини является обобщением теории регулярных выражений.
Данная теория имеет множество интересных с практической точки зрения моделей,
а также обладает рядом полезных свойств, таких как разрешимость и полнота равенства.
В данном докладе мы рассмотрим различные расширения этой теории,
в том числе алгебры Клини с обратным элементом, аллегории Клини,
Клини алгебры с тестами, параллельные алгебры Клини.
Кроме того, поговорим о различных моделях этих теорий, а также о примерах их использования,
например, для валидации компиляторных оптимизаций и верификации программ по Хоару.
Докладчик: Евгений Моисеенко