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