Introduction to Formal Grammars

  • Maurice Gross
  • André Lentin
Book

Table of contents

  1. Front Matter
    Pages I-XI
    PDF

  2. Logical and Algebraic Preliminaries

    1. Words — Monoids — Languages
      Maurice Gross, André Lentin
      Pages 1-15
    2. General Definition of Formal Systems
      Maurice Gross, André Lentin
      Pages 16-31
    3. Combinatorial Systems
      Maurice Gross, André Lentin
      Pages 31-43
    4. Algorithms — Turing Machines
      Maurice Gross, André Lentin
      Pages 43-56
    5. Computability — Decidability
      Maurice Gross, André Lentin
      Pages 56-70
    6. Combinatorial Systems and Turing Machines; Undecidable Problems
      Maurice Gross, André Lentin
      Pages 71-80

  3. Some Important Classes of Languages

    1. Context-Free Languages. Presentation. Preliminaries
      Maurice Gross, André Lentin
      Pages 81-94
    2. Undecidable Properties of CF-Grammars
      Maurice Gross, André Lentin
      Pages 94-106
    3. Push-Down Automata
      Maurice Gross, André Lentin
      Pages 106-118
    4. Kleene Languages and Finite Automata
      Maurice Gross, André Lentin
      Pages 118-132
    5. Languages Defined by Systems of Equations
      Maurice Gross, André Lentin
      Pages 132-148
    6. Context-Sensitive Grammars. Linear Bounded Automata
      Maurice Gross, André Lentin
      Pages 148-155

  4. The Algebraic Point of View

    1. Homomorphisms of Monoids
      Maurice Gross, André Lentin
      Pages 157-167
    2. More about Kleene Languages
      Maurice Gross, André Lentin
      Pages 167-183
    3. More about Context-Free Languages
      Maurice Gross, André Lentin
      Pages 183-196
    4. Algebraic Languages
      Maurice Gross, André Lentin
      Pages 196-215
  5. Back Matter
    Pages 217-231
    PDF

About this book

Keywords

Finite Monoid Morphism Semiotik algebra algorithms automata computability equation form formal grammar grammar grammars linguistics university

Authors and affiliations

  • Maurice Gross
    • 1
  • André Lentin
    • 1
  1. 1.Institut Blaise PascalParisFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-87129-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1970
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-87131-3
  • Online ISBN 978-3-642-87129-0
  • Buy this book on publisher's site