ДМ 1 курс - КС грамматики и языки, вывод, дерево разбора, однозначные грамматики
Andrew Stankevich
Как написать свой язык? Формальные грамматики за 10 минут
Простыми словами о том, что лежит в основе компиляторов. Краткий экскурс в теорию формальных грамматик. Разберем терминальные ...
grekonika
Архитектура грамматики – Екатерина Лютикова
Источник – http://postnauka.ru/video/52241 Лингвист Екатерина Лютикова об уровневых моделях языка, значении синтаксиса и генеративной ...
ПостНаука
Естественные и формальные язык. Формы представления информации | Информатика 7 класс #8 | Инфоурок
Видеоуроки являются идеальными помощниками при изучении новых тем, закреплении материала, для обычных и факультативных занятий, для ...
ИНФОУРОК
Формальные языки 5. Нормальная форма Хомского
Лектор: Сорокин 00:39 Порождающий символ 01:09 Достижимый символ 02:24 Бесполезный символ 03:15 Алгоритм поиска порождающих символов ...
Студсовет ФПМИ МФТИ
Вылиток А.А. - Системы программирования - Грамматики
0:00:10 1. Трансляторы 0:03:25 2. Система прогаммирования интерпретирующего типа 0:05:20 3. Схема функциоирования компилятора 0:10:35 4.
teach-in
Формальные языки и трансляции 10. LR-ситуации и их свойства
6:30 основные определения 20:09 обозначения 20:22 лемма 23:08 доказательство леммы 25:00 лемма об операции First() 35:26 формальное ...
Лекторий ФПМИ
Формальные языки. 8. Алгоритм Эрли.
Лектор: Сорокин 00:04 Ситуация 00:56 Алгоритм Эрли 08:38 Функция Predict 13:56 Функция Scan 16:28 Функция Complete 27:00 Рассуждения о ...
Студсовет ФПМИ МФТИ
Формальные языки и трансляции 1. Слова и языки. Конечные автоматы
2:36 - Приложение предмета 5:24 - Список литературы 10:16 - Основные определения 13:05 - Основные операции 22:56 - Определение конечного ...
Лекторий ФПМИ
Вылиток А.А. - Системы программирования - Формальные языки
0:00:10 1. Задача распознавания 0:08:25 2. Дерево вывода 0:19:45 3. Неоднозначный язык 0:23:00 4. Приведенные КС-грамматики 0:32:20 5. Алгоритм ...
teach-in
Формальные языки 3. Минимальные ДКА
Лектор: Сорокин 00:47 Минимальный полный ДКА(ПДКА) 02:09 Эквивалентные состояния 04:18 Критерий минимальности 23:20 Эквивалентные слова ...
Студсовет ФПМИ МФТИ
Формальные языки 13. Теорема Хомского-Шютценберже
Лектор: Алексей Сорокин.
Студсовет ФПМИ МФТИ
Введение в компиляторы (LL и LR грамматики)
В этом видео я расскажу об основных понятиях грамматики. Тему парсеров в этом видео я затрагивать не буду. О парсерах мы начнем разговор в ...
LLDevLab
ДМ 2 семестр 11 лекция: Контекстно-свободные грамматики
Artem Vasilyev
Формальные языки и трансляции 8. Алгоритм Эрли
0:21 определение ситуации в алгоритме Эрли (пример, затем формально) 17:09 алгоритм Эрли 46:25 доказательство корректности 47:59 база 49:23 ...
Лекторий ФПМИ
Введение в теорию автоматов и вычислений 1.10 формальное определение автомата
Введение в теорию автоматов и вычислений 1.10 формальное определение автомата Плюс примеры различных автоматов + свойства автоматов (с) ...
Игорь Клейнер
Покидова А.Д. - урок. Введение новой грамматики. Премия "Лучший учитель английского языка"
Anastasiya Pokidova
PEG парсинг формальных языков (treetop) (Лопатин И). - 2017/04/28
Видео докладов встреча 2017/04/28 http://orel-rb.ru Примеры кода к презентации https://github.com/gingray/treetop_demo.
Orel.codes - Блог программиста
Формальные языки и трансляции 3. Полные ДКА
0:36 - Повторные определения 9:47 - Tеорема: минимальный по количеству состояний ПДКА - единственный с точностью до изоморфизма 28:10 ...
Лекторий ФПМИ
Формальные языки и трансляции 7. Нормальная форма Грейбах
ВНИМАНИЕ: с 12:30 ведется дискуссия по поводу замены определения переходов в МП-автомате, на 14:46 определение меняется. Таймкоды: 0:30 ...
Лекторий ФПМИ
Формальные языки и трансляции 9. Алгоритм переноса-свертки
Примечание: 41:50 - момент, когда обнаруживается тот факт, что была дана неверная формулировка леммы об анализаторе перенос-свертка 1:50 ...
Лекторий ФПМИ
Формальные языки 9. Алгоритм "перенос-свертка". LR-ситуация
Лектор: Сорокин А. А. 00:35 Алгоритм перенос-свёртка 05:20 Корректность алгоритма 36:15 Активный префикс 42:45 Любой префикс активного ...
Студсовет ФПМИ МФТИ
Формальные языки 7. МП-автоматы. НФ Грейбах.
Лектор: Сорокин 00:25 Для любой КС-грамматики существует эквивалентный МП-автомат 27:10 КС-языки незамкнуты относительно пересечения и ...
Студсовет ФПМИ МФТИ
Иван Кочуркин - Теория и практика парсинга формальных языков
Исходники презентации: https://github.com/KvanTTT/Presentations/tree/master/Theory-and-Practice-of-Formal-Languages-Parsing и примеров: ...
DotNetRu
Формальные языки и трансляции 2. Детерминированные конечные автоматы
0:27 - Определение недетерминированного конечного автомата 1:43 - Теорема о существовании эквивалентного ДКА 6:45 - Доказательство теоремы ...
Лекторий ФПМИ
Естественные и формальные языки. Формы представления информации.
Фрагмент видео из комплекта уроков для 7 кл. команды проекта http://videouroki.net (рук. Дмитрий Тарасов)
Ольга Кулешова
Логика сознания. Часть 7. Формальные грамматики. Язык. Вычисления в памяти
Цикл лекций "Логика сознания". нейрофизиолог академик РАН Медведев С.В. автор концепции Редозубов А.Д.
Alexey Redozubov
Формальные языки 2. Автоматные и регулярные языки.
Лектор: Сорокин А.А. На лекции рассмотрены основные операции с автоматными языками, введено понятие регулярного выражения, а так же ...
Студсовет ФПМИ МФТИ
Лекция 1: Лингвистическая семантика и теория коммуникативной грамматики русского языка
Естественный язык как средство передачи информации. Задача семантического анализа текстов на естественном языке. Историческая справка.
НОУ ИНТУИТ
Формальные языки и трансляции 6. Автомат с магазинной памятью
0:10 - Незамкнутость КС-языков относительно пересечения и дополнения 4:37 - Упражнение (дополнение не КС-языка) 6:25 - Алгоритм, распознающий ...
Лекторий ФПМИ
Дедукция 6. Формальные символические языки
Даётся пример построения формального языка на примере языка логики суждений. Выделяются основные этапы построения синтаксиса языка: ...
вячеслав моисеев
Логика сознания. Часть 7. Формальные грамматики. Язык. Вычисления в памяти
Цикл лекций "Логика сознания" нейрофизиолог академик РАН Медведев С.В. автор концепции Редозубов А.Д.
TrueBrainComputing
Формальные языки и трансляции 14. Конечные преобразователи
0:22 - Лемма о КП с переходами особого вида 3:05 - Теорема Нивá 6:57 - Доказательство 18:20 - Теорема: замкнутость класса автоматных языков ...
Лекторий ФПМИ
Наталия Слюсарь о генеративной грамматике. TEDxMoscow 2009
Igor Denisov
Лекция 2 | Формальные грамматики | Александр Охотин | Лекториум
Лекция 2 | Курс: Формальные грамматики и вычислительная сложность синтаксического анализа | Лектор: Александр Охотин | Организатор: CSClub ...
Лекториум
Лекция 2 | Формальные языки и синтаксический анализ | Александр Охотин | Лекториум
Лекция 2 | Курс: Формальные языки и синтаксический анализ | Лектор: Александр Охотин | Организатор: Computer Science клуб при ПОМИ РАН ...
Лекториум
Формальные языки и трансляции 13. Нормальная форма ДМП-автомата
0:48 - Следствие из теоремы (см. пред. лекцию) 2:27 - Теорема о нормальных формах ДМП-автомата 6:22 - Доказательство теоремы 43:54 - Теорема о ...
Лекторий ФПМИ
Формальные языки и трансляции 5. Нормальная форма Хомского. Лемма о разрастании
0:30 - Нормальная форма Хомского 1:53 - Теорема о приведении грамматики к НФ Хомского 4:41 - 0й этап доказательства 5:08 - 1й этап доказательства ...
Лекторий ФПМИ
КАК ПРАВИЛЬНО ВЫУЧИТЬ АНГЛИЙСКИЙ ЯЗЫК | ШАГ 3: STUDY | Веня Пак *грамматика английского языка*
МАРАФОН "БЫТОВАЯ ЛЕКСИКА" - https://bit.ly/37YKj4Y ПРОМОКОД: LIFE20 (вводите при оплате, чтобы получить скидку) ПОЛЕЗНЫЕ ССЫЛКИ ИЗ ...
VenyaPakTV
Лекция 8 | Формальные языки и синтаксический анализ | Александр Охотин | Лекториум
Лекция 8 | Курс: Формальные языки и синтаксический анализ | Лектор: Александр Охотин | Организатор: Computer Science клуб при ПОМИ РАН ...
Лекториум
ДМ 4 семестр 8 лекция: Вычислимость. Разрешимые, полуразрешимые и перечислимые языки.
Artem Vasilyev
Евгений Тюменцев - DSL на коленке: или как писать языки программирования своими руками
Ссылка на презентацию: http://www.slideshare.net/OmskIT/20161203-03-dsl Будет дано небольшое введение в теорию формальных языков ...
Omsk IT