Подкатегории
В этой категории отображается следующие 12 подкатегорий из имеющихся 12.
А
- ► Алгоритмы на строках (9 С, 12 С)
C
- ► Компьютерные языки (11 C, 20 P)
D
- ► Зависимо типизированные языки (14 P)
F
- ► формальных теорий (3 С, 4 С)
грамм
- ► основы грамматики (5 ° С , 65 С)
- ► График перезаписи (10 Р)
L
- ► L-системы (10 Р)
- ► Логические символы (2 С, 50 С)
M
- ► метаязыков (7 P)
п
- ► Синтаксический (5 ° С , 35 С)
- ► Сопоставление с образцом (5 ° С , 28 С)
- ► Проблемы со строками (11 P)
Страницы в категории "Формальные языки"
Следующие 200 страниц находятся в текущей категории. Этот список может не отражать недавние изменения ( подробнее ).
(предыдущая страница) ( следующая страница )А
- Абстрактное семейство акцепторов
- Абстрактная семья языков
- Система рерайтинга тезисов
- Абстрактный семантический граф
- Абстрактное синтаксическое дерево
- Алгебра действий
- Адаптивная грамматика
- Аффикс грамматики
- Язык связи агента
- Теория алгоритмического обучения
- Алфавит (формальные языки)
- Неоднозначная грамматика
- Антиматроид
- Правило Ардена
- Грамматика атрибутов
- Расширенная форма Бэкуса – Наура
- Автокорреляция (слова)
C
- Категориальная грамматика
- Иерархия Хомского
- Нормальная форма Хомского
- Перечислимая теорема Хомского – Шютценбергера.
- Теорема Хомского – Шютценбергера о представлении
- Ближайшая строка
- Компактная полугруппа
- Язык описания компилятора
- Конкатенация
- Конус (формальные языки)
- Конференция по внедрению и применению автоматов
- Конъюнктивная грамматика
- Бесконтекстная грамматика
- Бесконтекстный язык
- Контекстно-зависимая грамматика
- Контекстно-зависимый язык
- Контролируемая грамматика
- Свертка (информатика)
- Критический показатель слова
- Межсерийные зависимости
- Циклический язык
D
- Грамматика с определенным предложением
- Заказ Дершовица – Манна
- Описание сложности формальных систем
- Описательная интерпретация
- Детерминированная контекстно-свободная грамматика
- Детерминированный контекстно-свободный язык
- Детерминированный автомат выталкивания
- Diff
- Грамматика разрывно-составной структуры фразы
- Конгруэнтность Дика
- Язык Дайка
- Динамическое синтаксическое дерево
E
- Грамматика с атрибутами ECLR
- Проблема пустоты
- Пустая строка
- Эквивалентность (формальные языки)
- Проблема эквивалентности
- Расширенная грамматика аффиксов
- Расширенная форма Бэкуса – Наура
F
- Конечная толщина
- Формальная грамматика
- Проклятое слово
- Формальное доказательство
- Правило формирования
- Бесплатный моноид
- Свободная частично коммутативная группа
грамм
- Обобщенная контекстно-свободная грамматика
- Обобщенная проблема высоты звезды
- Язык описания жестов
- Грамматика глобального индекса
- Теория грамматических систем
- Нормальная форма Грейбаха
- Теорема Грейбаха
- Развитие контекстно-зависимой грамматики
ЧАС
- Холл слово
- Грамматика головы
- Исторический моноид
я
- Индексированная грамматика
- Индексированный язык
- Индукция обычных языков
- Лемма об обмене
- Международная конференция по развитию теории языка
- Интерпретация (логика)
- Введение в теорию автоматов, языки и вычисления
J
- Junction Grammar
K
- Клини алгебра
- Клини звезда
- Курода нормальная форма
L
- L-атрибутивная грамматика
- Уравнение языка
- Определение языка в лимите
- Левая рекурсия
- Левая грамматика
- Лексическая грамматика
- Линейная грамматика
- Список тем формального языка и буквальных строк
- Грамматика буквального движения
- LL грамматика
- Местный язык (официальный язык)
- Локально катенативная последовательность
- Самая длинная возрастающая подпоследовательность
- Проблема с самой длинной повторяющейся подстрокой
- Грамматика с LR-атрибутами
M
- Язык разметки
- Матричная грамматика
- Максимальная пара
- Метасимвол
- Слегка контекстно-зависимый грамматический формализм
- Минималистическая грамматика
- Факторизация моноида
- Грамматика Монтегю
- Морфическое слово
- Теорема Мюллера – Шуппа
- Теорема Майхилла – Нероде
N
- Вложенное слово
- Нелогический символ
- Неконтактная грамматика
- Нормальная форма (реферат)
О
- Лемма Огдена
- Язык Омега
- Омега-регулярный язык
- Грамматика приоритета операторов
п
- Теорема Париха
- Комбинатор парсеров
- Анализатор грамматики
- Анализ грамматики выражений
- Язык шаблонов (формальные языки)
- Язык изображения
- Постканоническая система
- Грамматика префиксов
- Производство (информатика)
- Доказательство (правда)
- Лемма о перекачке для контекстно-свободных языков
- Лемма о накачке для регулярных языков
Q
- Квази-цитата
- Коэффициент формального языка
р
- Грамматика конкатенации диапазонов
- Ранжированный алфавит
- Рациональная серия
- Повторяющееся слово
- Рекурсивная грамматика
- Рекурсивный язык
- Рекурсивно перечисляемый язык
- Регулярное выражение
- Обычная грамматика
- Обычный язык
- Грамматика регулярных деревьев
- Регулируемая перезапись
- Перезапись
S
- Грамматика с S-атрибутами
- SCIgen
- Кодирование семантики
- Система Semi-Thue
- Sesquipower
- Установить ограничение
- Шамир конгруэнтность
- Кратчайшая общая проблема суперпоследовательности
- Знаковое представление
- Простая грамматика приоритета
- SLR грамматика
- Наименьшая грамматическая проблема
- Скудный язык
- Правило сращивания
- Слово без квадратов
- Людвиг Штайгер
- Высота звезды
- Проблема высоты звезды
- Беззвездный язык
- Вероятностная контекстно-свободная грамматика
- Стохастический язык
- Прямолинейная грамматика
- Строка (информатика)
- Строковые операции
- Подстрока
- Символ (формальный)
- Синхронная контекстно-свободная грамматика
- Синтаксический моноид
- Синтаксический предикат
- Синтаксис (логика)
- Диаграмма синтаксиса
- Формальная система
Т
- Терминальные и нетерминальные символы
- Терминальная доходность
- Язык синтаксического анализа сверху вниз
- Моноид трассировки
- Теория следов
- Дерево (теория автоматов)
- Дерево-автомат
- Преобразователь дерева
- Машина Тьюринга
- Двухуровневая грамматика
U
- Унарный язык
- Унарная система счисления
- Неизбежный образец
- Союз двух регулярных языков
- Неограниченная грамматика