Теория формальных языков на практике
Семён — кандидат физико-математических наук, руководитель группы в лаборатории языковых инструментов JetBrains Research и доцент кафедры информатики СПбГУ. Занимается теорией формальных языков и её применениями уже десять лет.
Приходите на лекцию, если вы:
— знаете теорию формальных языков и хотите применять эти знания;
— не знаете теорию формальных языков, но хотите найти мотивацию узнать;
— любите алгоритмы синтаксического анализа и думаете, что же такое написать, чтобы не получился ещё один Yacc.
Запросы к графовым базам данных, алгоритмы статического анализа и верификации кода — примеры практического применения теории формальных языков и алгоритмов синтаксического анализа. В этом контексте возникают новые инженерные и теоретические задачи, а многие старые требуют новых решений. Об этом и пойдёт речь на лекции.
Регистрация