Advertisement

Unentscheidbare Probleme in den formalen Sprachen

  • Einar Smith
Part of the Springer-Lehrbuch book series (SLB)

Zusammenfassung

In diesem abschließenden Kapitel wollen wir einige unentscheidbare Probleme aus dem Bereich der formalen Sprachen vorstellen. Dabei beschränken wir uns auf Beispiele, die ohne großen Aufwand mit den bisher entwickelten Methoden bearbeitet werden können. Im einzelnen werden behandelt: das Schnittproblem und das Mehrdeutigkeitsproblem für kontextfreie Sprachen sowie das Wortproblem für allgemeine Regelgrammatiken.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Einar Smith
    • 1
  1. 1.Institut für Algorithmen und Wissenschaftliches RechnenGMD — Forschungszentrum Informationstechnik GmbHSankt AugustinDeutschland

Personalised recommendations