Конструирование Компиляторов, Теоретический минимум (2009)
Материал из eSyr's wiki.
см. также ответы на вопросы теоретического минимума 2007 года, список определений
- Определение грамматик типа 0 по Хомскому
- Определение грамматик типа 1 (неукорачивающих) по Хомскому
- Определение детерминированной машины Тьюринга
- Определение недетерминированной машины Тьюринга
- Определение конфигурации машины Тьюринга
- Определение языка, допускаемого машиной Тьюринга
- Соотношение между языками, порождаемыми грамматиками типа 0 и языками, допускаемыми машинами Тьюринга
- Объяснить разницу между недетерминированной и детерминированной машиной Тьюринга
- Определение регулярного множества
- Определение регулярного выражения
- Определение праволинейной грамматики
- Определение недетерминированного конечного автомата
- Определение детерминированного конечного автомата
- Объяснить разницу между недетерминированным и детерминированным конечным автоматом
- Определение конфигурации конечного автомата
- Определение языка, допускаемого конечным автоматом
- Определение ε-замыкания для подмножества состояний НКА
- Определение расширенной функции переходов для ДКА
- Определение расширенной функции переходов для НКА
- Определение функции firstpos для поддерева в дереве регулярного выражения
- Определение функции lastpos для поддерева в дереве регулярного выражения
- Определение функции followpos для позиций в дереве регулярного выражения
- Сформулировать соотношение между регулярными множествами и языками, допускаемыми КА
- Определение регулярной грамматики
- Сформулировать соотношение между языками, порождаемыми праволинейными грамматиками и языками, допускаемыми КА
- Определение эквивалентных состояний ДКА
- Определение различимых состояний ДКА
- Определение контекстно-свободной грамматики без е-правил
- Определение контекстно-свободной грамматики
- Определение вывода в КС-грамматике
- Определение языка, порождаемого КС-грамматикой
- Определение сентенциальной формы
- Определение однозначной КС-грамматики
- Определение неоднозначной КС-грамматики
- Определение недетерминированного МП автомата
- Определение детерминированного МП автомата
- Определение конфигурации МП автомата
- Определение языка, допускаемого МП автоматом
- Что означает, что недетерминированный МП автомат допускает опустошением магазина
- Соотношение, между языками, порождаемыми КС-грамматиками, и языками, допускаемыми недетерминированными МП автоматами
- Формулировка леммы о разрастании для КС-языков
- Определение нормальной формы Хомского для КС-грамматики
- Определение правостороннего вывода в КС-грамматике
- Определение левостороннего вывода в КС-граммати
- Какая грамматика называется леворекурсивной?
- Определение множества FIRST1
- Определение множества FOLLOW1
- Определение LL(1) Грамматики
- Определение LR(1) ситуации
- Определение LR(1) грамматики
- Какого типа конфликты могут появиться в канонической системе множеств LR(1) ситуаций?
- Определение конфигурации LR-анализатора
- Как меняется конфигурация LR-анализатора при дейстьвии reduce?
- Какие типы действий выполняет LR-анализатор?
- Как меняется конфигурация LR-анализатора при дейстьвии shift?
- Что такое основа правой сентенциальной формы
{{Курс Конструирование Компиляторов}
