Исследовательская группа

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

Обзор расширений теории алгебр Клини

October 7

Теория алгебр Клини является обобщением теории регулярных выражений.
Данная теория имеет множество интересных с практической точки зрения моделей,
а также обладает рядом полезных свойств, таких как разрешимость и полнота равенства.

В данном докладе мы рассмотрим различные расширения этой теории,
в том числе алгебры Клини с обратным элементом, аллегории Клини,
Клини алгебры с тестами, параллельные алгебры Клини.

Кроме того, поговорим о различных моделях этих теорий, а также о примерах их использования,
например, для валидации компиляторных оптимизаций и верификации программ по Хоару.


Докладчик: Евгений Моисеенко

Материалы