Formal languages

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

Неограниченная грамматика

/

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

Вики

Регулярное выражение

/

Обычное выражение Основы регулярных выражений Регулярные выражения используются для сопоставления шаблонов в тексте.  Они были изобретены в 1951 году и

Вики

Рекурсивный язык

/

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

Вики

Контекстно-зависимый язык

/

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

Вики

Индексируемый язык

/

Индексированный язык Определение индексированных языков Индексированные языки – класс формальных языков, открытых Альфредом Ахо.  Описываются индексированными грамматиками и распознаются автоматами

Вики

Абстрактная семья языков

/

Абстрактная семья языков Определение абстрактного семейства языков Абстрактное семейство языков обобщает характеристики обычных, контекстно-свободных и рекурсивно перечислимых языков.  Формальное определение

Вики

Конус (формальные языки)

/

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

Вики

Строковые операции

/

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

Вики

Контекстно-свободный язык

/

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

Вики

Обычный язык

/

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

Вики

Иерархия Хомского

/

Иерархия Хомского Иерархия Хомского Иерархия Хомского описывает классы формальных грамматик в теории формальных языков.  Ноам Хомский предложил четыре класса грамматик,

Вики

Постканоническая система

/

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

Вики

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

/

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

Вики

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

/

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

Вики

Конкатенация

/

Сцепление Конкатенация строк – операция соединения символьных строк из конца в конец.  В некоторых языках программирования конкатенация строк является двоичным

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