Advertisement

Unentscheidbare Eigenschaften der CF-Grammatiken

  • Maurice Gross
  • André Lentin
Part of the Hochschultext book series (HST)

Zusammenfassung

Wir erinnern uns, daß eine Eigenschaft dann entscheidbar ist, wenn ein allgemeiner Algorithmus existiert, der uns in allen speziellen Fällen bestätigt, ob sie entweder wahr oder falsch ist. Eine Eigenschaft ist dann unentscheidbar, wenn kein solcher Algorithmus existiert. Um die Unentscheidbarkeit einer Klasse von Problemen zu zeigen, genügt es, diese Unentscheidbarkeit für eine eingeschränktere Klasse als die in Frage stehende zu zeigen. Im vorangegangenen Kapitel haben wir einige entscheidbare Eigenschaften der CF-Grammatiken studiert: die Eigenschaft, leer, endlich oder unendlich zu sein, und die Eigenschaft eines Satzes, zu einer Sprache zu gehören oder nicht. Wir werden nun einige unentscheidbare Eigenschaften studieren.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1971

Authors and Affiliations

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

Personalised recommendations