| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии
теории и экспериментальному программированию
|
|||
|
|
|||
|
Обзор выразительных возможностей формальных языков с захватом в память А. Н. Непейвода Институт программных систем АН СССР |
|||
|
Аннотация: В докладе рассмотрены два класса языков, привлекшие значительный интерес исследователей в XXI веке: языки расширенных регулярных выражений и языки уравнений в словах. Будет приведён обзор существующих результатов о выразительных возможностях данных классов языков, а также обсуждение их взаимосвязи. Рабочая (необработанная) запись на RuTube-канале ИСИ СО РАН: https://rutube.ru/video/9e276bc18cab3aa65ca800d701356dae/ Есть презентация доклада: https://persons.iis.nsk.su/files/persons/pages/nepeyvoda27sep24.pdf Website: https://persons.iis.nsk.su/en/STEP-2024 |
|||