Лекция 11. Множества правых контекстов
- 00:16Основы теории множеств: способы задания множеств, число элементов в множестве
- 23:25Множества правых контекстов, примеры
- 39:57Множество множеств правых контекстов
- 45:44Лемма о конечности множества множеств правых контекстов автоматных языков, примеры
- 01:03:52Доказательство леммы: конструкция на примере
- 01:18:19Доказательство леммы: общий случай