Context-Free Grammars and Languages (Q7361147)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

AFP entry Context_Free_Grammar
Language Label Description Also known as
default for all languages
No label defined
    English
    Context-Free Grammars and Languages
    AFP entry Context_Free_Grammar

      Statements

      21 May 2025
      0 references
      Tobias Nipkow
      0 references
      Markus Gschoßmann
      0 references
      Felix Krayer
      0 references
      Fabian Lehr
      0 references
      Bruno Philipp
      0 references
      August Martin Stimpfle
      0 references
      Kaan Taskin
      0 references
      Akihisa Yamada
      0 references
      Context-Free Grammars and Languages (English)
      0 references
      This is a basic library of definitions and results about context-free grammars and languages. It includes context-free grammars and languages, parse trees, Chomsky normal form, pumping lemmas and the relationship of right-linear grammars to finite automata.
      0 references