Категория : Формальные языки
Викискладе есть медиафайлы, связанные с формальными языками .
Подкатегории
Эта категория имеет следующие 13 подкатегорий из 13.
А
С
Д
- Зависимо типизированные языки ( 15 П)
Г
- Переписывание графа ( 11 С)
л
- L-системы ( 10 П)
М
- Метаязыки ( 7 П)
П
- Задачи на струны ( 11 П)
Т
- Теория следов ( 6 П)
Страницы в категории «Официальные языки»
Следующие 200 страниц относятся к этой категории из примерно 202 страниц. Этот список может не отражать недавние изменения .
(предыдущая страница) ( следующая страница )А
- Абстрактная семья акцепторов
- Абстрактная семья языков
- Абстрактная система переписывания
- Абстрактный семантический граф
- Абстрактное синтаксическое дерево
- Алгебра действий
- Адаптивная грамматика
- Аффиксная грамматика
- Язык общения агента
- Алгоритмическая теория обучения
- Алфавит (формальные языки)
- Неоднозначная грамматика
- Антиматроид
- Правило Ардена
- Грамматика атрибутов
- Дополненная форма Бэкуса – Наура.
- Автокорреляция (слова)
Б
С
- Категориальная грамматика
- Иерархия Хомского
- Нормальная форма Хомского
- Теорема перечисления Хомского – Шютценбергера
- Теорема о представлении Хомского – Шютценбергера
- Ближайшая строка
- Компактная полугруппа
- Язык описания компилятора
- Конкатенация
- Конус (формальные языки)
- Конференция по внедрению и применению автоматов
- Конъюнктивная грамматика
- Контекстно-свободная грамматика
- Контекстно-свободный язык
- Контекстно-зависимая грамматика
- Контекстно-зависимый язык
- Контролируемая грамматика
- Критический показатель слова
- Межсерийные зависимости
- Циклический язык
Д
- Определенная грамматика предложения
- Заказ Дершовица – Манны
- Описательная сложность формальных систем
- Описательная интерпретация
- Детерминированная контекстно-свободная грамматика
- Детерминированный контекстно-свободный язык
- Детерминированный автомат с выталкиванием
- Разница
- Грамматика прерывисто-составной фразовой структуры
- Конгруэнтность Дика
- язык Дейка
И
Ф
Г
я
л
- L-атрибутивная грамматика
- Языковое уравнение
- Идентификация языка в лимите
- Левая рекурсия
- Левая грамматика
- Лексическая грамматика
- Линейная грамматика
- Грамматика буквального движения
- LL грамматика
- Местный язык (формальный язык)
- Локально катенативная последовательность
- Самая длинная возрастающая подпоследовательность
- Проблема с самой длинной повторяющейся подстрокой
- Грамматика, приписываемая LR
М
Н
П
- Теорема Париха
- Парсер-комбинатор
- Парсер грамматики
- Разбор грамматики выражений
- Язык шаблонов (формальные языки)
- Язык изображений
- Постканоническая система
- Префиксная грамматика
- Производство (информатика)
- Проконечное слово
- Доказательство (правда)
- Лемма о накачке для контекстно-свободных языков
- Лемма о прокачке для обычных языков
Р
С
- S-атрибутивная грамматика
- SCIgen
- Кодирование семантики
- Система Полу-Туэ
- Сесквипауэр
- Установить ограничение
- Конгруэнтность Шамира
- Кратчайшая общая суперпоследовательность
- Знаковое представление цифр
- Простая грамматика приоритета
- Грамматика SLR
- Самая маленькая грамматическая задача
- Разреженный язык
- Правило сплайсинга
- Слово без квадратов
- Людвиг Штайгер
- Высота звезды
- Проблема с высотой звезды
- Язык без звезд
- Вероятностная контекстно-свободная грамматика
- Стохастический язык
- Прямая грамматика
- Строка (информатика)
- Строковые операции
- Подстрока
- Символ (формальный)
- Синхронная контекстно-свободная грамматика
- Синтаксический моноид
- Синтаксический предикат
- Синтаксис (логика)
- Синтаксическая диаграмма
- Формальная система