BACK

Формальные языки и трансляции

В данном разделе представлены массовые открытые онлайн-курсы (МООК), которые разработаны в рамках актуализации основных профессиональных образовательных программ высшего образования с цифровой составляющей для профессий приоритетных отраслей экономики.

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

Обращаем Ваше внимание, что изучение МООК доступно любому зарегистрированному пользователю, однако МООК не является частью образовательной программы повышения квалификации.

Изучение материалов МООК не предполагает выдачу удостоверений, сертификатов или иных документов, подтверждающих их изучение.

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

МООК направлен на формирование у обучающихся профессиональных компетенций по применению сквозных цифровых технологий (искусственный интеллект, большие данные), востребованных в соответствующих приоритетных отраслях экономики и социальной сферы в рамках укрупненных групп направлений подготовки и специальностей высшего образования, согласно стратегии развития системы высшего образования Российской Федерации с учетом задач, реализуемых в рамках федерального проекта «Кадры для цифровой экономики» национального проекта «Цифровая экономика».

Массовый открытый онлайн-курс (МООК): ИКТ
Plan
1
Формальные языки и трансляции
Not scheduled

a.
Открытие
1 slide, 0 tests
2
Формальные языки, регулярные выражения и конечные автоматы
Not scheduled

a.
Задачи, цели и методы теории формальных языков
1 slide, 0 tests

b.
Презентация
1 slide, 0 tests

c.
Регулярные выражения
1 slide, 0 tests

d.
Презентация
1 slide, 0 tests

e.
Конечные автоматы
1 slide, 0 tests

f.
Презентация
1 slide, 0 tests

g.
Первые упрощения НКА
1 slide, 0 tests

h.
Презентация
1 slide, 0 tests

i.
Тестирование
10 slides, 10 tests
3
Связь между регулярными выражениями и конечными автоматами
Not scheduled

a.
НКА с 1-буквенными переходами
1 slide, 0 tests

b.
Презентация
1 slide, 0 tests

c.
Детерминированные конечные автоматы
1 slide, 0 tests

d.
Презентация
1 slide, 0 tests

e.
Автоматы над регулярными выражениями
1 slide, 0 tests

f.
Презентация
1 slide, 0 tests

g.
Регулярность автоматных языков
1 slide, 0 tests

h.
Презентация
1 slide, 0 tests

i.
Тестирование
10 slides, 10 tests
4
Минимальный автомат. Автоматные и неавтоматные языки
Not scheduled

a.
Эквивалентность языков
1 slide, 0 tests

b.
Презентация
1 slide, 0 tests

c.
Минимальный ПДКА
1 slide, 0 tests

d.
Презентация
1 slide, 0 tests

e.
Построение минимального ПДКА
1 slide, 0 tests

f.
Презентация
1 slide, 0 tests

g.
Автоматные и неавтоматные языки
1 slide, 0 tests

h.
Презентация
1 slide, 0 tests

i.
Тестирование
10 slides, 10 tests
5
Праволинейные грамматики и конечные автоматы
Not scheduled

a.
Порождающие грамматики. Иерархия Хомского.
1 slide, 0 tests

b.
Презентация
1 slide, 0 tests

c.
Построение НКА по праволинейной грамматике
1 slide, 0 tests

d.
Презентация
1 slide, 0 tests

e.
Построение праволинейной грамматики по НКА
1 slide, 0 tests

f.
Презентация
1 slide, 0 tests

g.
Тестирование
9 slides, 9 tests
6
Контекстно-свободные грамматики и нормальная форма Хомского
Not scheduled

a.
Контекстно-свободные грамматики. Деревья вывода. Однозначные грамматики.
1 slide, 0 tests

b.
Презентация
1 slide, 0 tests

c.
Упрощение КС-грамматик. Удаление бесполезных символов.
1 slide, 0 tests

d.
Презентация
1 slide, 0 tests

e.
Нормальная форма Хомского для КС-грамматик
1 slide, 0 tests

f.
Презентация
1 slide, 0 tests

g.
Лемма о разрастании для КС-грамматик
1 slide, 0 tests

h.
Презентация
1 slide, 0 tests

i.
Тестирование
10 slides, 10 tests
7
Автоматы с магазинной памятью и контекстно-свободные грамматики
Not scheduled

a.
Автоматы с магазинной памятью. Примеры МП-автоматов.
1 slide, 0 tests

b.
Презентация
1 slide, 0 tests

c.
Построение КС-грамматики по МП-автомату
1 slide, 0 tests

d.
Презентация
1 slide, 0 tests

e.
Построение МП-автомата по КС-грамматике
1 slide, 0 tests

f.
Презентация
1 slide, 0 tests

g.
Нормальная форма Грейбах для КС-грамматик
1 slide, 0 tests

h.
Презентация
1 slide, 0 tests

i.
Пересечение языков, задаваемых МП-автоматами, с автоматными языками
1 slide, 0 tests

j.
Презентация
1 slide, 0 tests

k.
Тестирование
6 slides, 6 tests
8
Первичные алгоритмы синтаксического разбора
Not scheduled

a.
Алгоритм Кока-Янгера-Касами
1 slide, 0 tests

b.
Презентация
1 slide, 0 tests

c.
Алгоритм Эрли синтаксического разбора. Базовые операции.
1 slide, 0 tests

d.
Презентация
1 slide, 0 tests

e.
Основной инвариант алгоритма Эрли
1 slide, 0 tests

f.
Презентация
1 slide, 0 tests

g.
Оценка сложности алгоритма Эрли. Пример работы алгоритма Эрли.
1 slide, 0 tests

h.
Презентация
1 slide, 0 tests

i.
Тестирование
10 slides, 10 tests
9
LR-парсер
Not scheduled

a.
Недостатки алгоритма Эрли. Алгоритм "перенос-свертка". Пример работы алгоритма "перенос-свертка"
1 slide, 0 tests

b.
Презентация
1 slide, 0 tests

c.
Алгоритм LR(0). НКА анализатора. Построение ДКА анализатора.
1 slide, 0 tests

d.
Презентация
1 slide, 0 tests

e.
Алгоритм LR(1). Построение ДКА. Операции FIRST, CLOSURE, GOTO.
1 slide, 0 tests

f.
Презентация
1 slide, 0 tests

g.
Пример работы LR-(1) алгоритма
1 slide, 0 tests

h.
Презентация
1 slide, 0 tests

i.
Тестирование
10 slides, 10 tests
10
Конечные преобразователи и их связь с формальными языками
Not scheduled

a.
Конечные преобразователи и конечные преобразования. Примеры конечных преобразований.
1 slide, 0 tests

b.
Презентация
1 slide, 0 tests

c.
Конечные преобразователи и регулярные языки
1 slide, 0 tests

d.
Презентация
1 slide, 0 tests

e.
Замкнутость конечных преобразований относительно композиции
1 slide, 0 tests

f.
Презентация
1 slide, 0 tests

g.
Теорема Нива. Замкнутость конечных преобразований относительно автоматных языков.
1 slide, 0 tests

h.
Презентация
1 slide, 0 tests

i.
Замкнутость конечных преобразований относительно КС-языков
1 slide, 0 tests

j.
Презентация
1 slide, 0 tests

k.
Тестирование
10 slides, 10 tests
11
Ограниченность преобразований для формальных языков
Not scheduled

a.
Лемма о разрастании для конечных преобразований
1 slide, 0 tests

b.
Презентация
1 slide, 0 tests

c.
Линейные языки
1 slide, 0 tests

d.
Презентация
1 slide, 0 tests

e.
Ищем регулярные прообразы
1 slide, 0 tests

f.
Презентация
1 slide, 0 tests

g.
Теорема Парика
1 slide, 0 tests

h.
Презентация
1 slide, 0 tests

i.
Тестирование
10 slides, 10 tests
12
Итоговое тестирование
Not scheduled

a.
Итоговое тестирование
100 slides, 100 tests
Support
  • Служба Поддержки
    +7 (800) 550-31-71
Служба поддержки
  • Служба Поддержки
Certificates