JetBrains Research — наука, меняющая мир

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

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

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

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

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

7.10.2019, 17:15.

Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 28