Boolean grammars

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаярецензирование

5 Цитирования (Scopus)

Аннотация

As a direct continuation of the earlier research on conjunctive grammars - context-free grammars equipped with intersection - this paper introduces a new class of formal grammars, which allow the use of all set-theoretic operations as an integral part of the formalism of rules. Rigorous semantics for such grammars is defined by language equations in a way that allows to generalize some techniques from the theory of context-free grammars, including Chomsky normal form, Cocke-Kasami-Younger recognition algorithm and some limited extension of the notion of a parse tree, which together allow to conjecture the practical applicability of the new concept.

Язык оригиналаанглийский
Название основной публикацииLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
РедакторыZoltan Esik, Zoltan Fulop
ИздательSpringer Nature
Страницы398-410
Число страниц13
ISBN (электронное издание)3540404341, 9783540404347
DOI
СостояниеОпубликовано - 2003
Опубликовано для внешнего пользованияДа

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том2710
ISSN (печатное издание)0302-9743
ISSN (электронное издание)1611-3349

Предметные области Scopus

  • Теоретические компьютерные науки
  • Компьютерные науки (все)

Fingerprint

Подробные сведения о темах исследования «Boolean grammars». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать