Underlying Principles and Recurring Ideas of Formal Grammars

Research outputpeer-review

3 Citations (Scopus)

Abstract

The paper investigates some of the fundamental ideas of the context-free grammar theory, as they are applied to several extensions and subclasses of context-free grammars. For these grammar families, including multi-component grammars, tree-adjoining grammars, conjunctive grammars and Boolean grammars, a summary of the following properties is given: parse trees, language equations, closure under several operations, normal forms, parsing algorithms, representation in the FO(LFP) logic, representations by automata and by categorial grammars, homomorphic characterizations, hardest language theorems, pumping lemmata and other limitations, computational complexity.

Original languageEnglish
Title of host publicationLanguage and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings
PublisherSpringer Nature
Pages36-59
Number of pages24
ISBN (Print)9783319773124
DOIs
Publication statusPublished - 1 Jan 2018
Event12th International Conference on Language and Automata Theory and Applications, LATA 2018 - Ramat Gan
Duration: 9 Apr 201811 Apr 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10792 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference12th International Conference on Language and Automata Theory and Applications, LATA 2018
CountryIsrael
CityRamat Gan
Period9/04/1811/04/18

Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Underlying Principles and Recurring Ideas of Formal Grammars'. Together they form a unique fingerprint.

  • Cite this

    Okhotin, A. (2018). Underlying Principles and Recurring Ideas of Formal Grammars. In Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings (pp. 36-59). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10792 LNCS). Springer Nature. https://doi.org/10.1007/978-3-319-77313-1_3