Формальные языки

Вики

Самая маленькая грамматическая задача

/

Самая маленькая грамматическая проблема Определение и сложность задачи Задача поиска наименьшей контекстно-свободной грамматики для генерации заданной строки.  Размер грамматики определяется […]

Вики

Алгебра Клини

/

Алгебра Клини Определение и свойства алгебры Клини Алгебра Клини – это алгебра с операциями сложения, умножения и операции “звезда Клини”. 

Вики

Проблема высоты звезды

/

Проблема с высотой звезды Определение и примеры высоты звезды Высота звезды – это минимальное количество звездочек, необходимое для представления языка. 

Вики

Формальный язык

/

Формальный язык Определение формального языка Формальный язык – это множество строк, определенных на некотором алфавите.  Строки могут быть конечными или

Вики

История моноида

/

Моноид истории Определение и свойства моноида истории Моноид истории – это структура, которая описывает историю выполнения операций над множеством элементов. 

Вики

Трассировка моноида

/

Моноид следа Определение и свойства следов Следы – это подмножества множеств слов, которые сохраняют структуру слов.  Следы могут быть определены

Вики

Синтаксический моноид

/

Синтаксический моноид Определение и свойства синтаксической конгруэнтности Синтаксическая конгруэнтность – это отношение эквивалентности между словами в языке.  Она определяется как

Вики

Грамматика атрибутов

/

Атрибутивная грамматика Определение и применение атрибутивной грамматики Атрибутивная грамматика дополняет формальную грамматику семантической обработкой.  Атрибуты хранят семантическую информацию и связаны

Вики

Пустая строка

/

Пустая строка Определение пустой строки Пустая строка – это уникальная строка нулевой длины в формальной теории.  Обозначается символом ε или

Вики

Язык разметки

/

Язык разметки История и развитие языков разметки Языки разметки возникли в 1960-х годах для улучшения читаемости и форматирования текста.  SGML

Вики

Терминальные и нетерминальные символы

/

Терминальные и нетерминальные символы Терминальные и нетерминальные символы в формальных языках Терминальные символы – элементарные символы, составляющие формальную грамматику.  Нетерминальные

Вики

Формальная система

/

Формальная система Определение формальной системы Формальная система – это абстрактная структура, используемая для вывода теорем из аксиом.  Дэвид Гильберт предложил

Вики

Детерминированный автомат с выталкиванием

/

Детерминированный нажимной автомат Определение и свойства детерминированных нажимных автоматов Детерминированный нажимной автомат (DPDA) – это разновидность нажимного автомата, принимающая детерминированные

Вики

Беззвездный язык

/

Язык, свободный от звезд Определение обычного языка без звездочек Обычный язык без звездочек описывается регулярным выражением без символа Клини.  Примеры

Вики

Рекурсивная грамматика

/

Рекурсивная грамматика Определение рекурсивной грамматики Рекурсивная грамматика содержит правила, которые могут привести к созданию строки с тем же нетерминалом.  Нерекурсивная

Вики

Вложенное слово

/

Вложенное слово Определение и свойства языков с явно выраженным вытеснением Явно вытесняющие языки – это те, которые могут быть описаны

Вики

Детерминированная контекстно-свободная грамматика

/

Детерминированная контекстно-свободная грамматика Определение и применение DCFG DCFG – это подмножество контекстно-свободных грамматик, которые генерируют детерминированные контекстно-свободные языки и могут

Вики

Индексированная грамматика

/

Индексированная грамматика Определение индексированных грамматик Индексированные грамматики – это формализм для описания контекстно-зависимых языков.  Они отличаются от обычных контекстно-зависимых грамматик

Вики

Грамматика конкатенации диапазонов

/

Грамматика объединения диапазонов Определение и свойства RCG RCG – это контекстно-свободные грамматики, которые используют конкатенацию диапазонов вместо нетерминалов.  Они могут

Вики

Контекстно-зависимая грамматика

/

Контекстно-зависимая грамматика Определение и свойства контекстно-зависимых грамматик Контекстно-зависимые грамматики (CSGs) – это формальные языки, которые могут быть описаны с помощью

Прокрутить вверх