Revision [6645]

This is an old revision of FormaleSprachen made by ToBo on 2008-11-28 18:49:12.

 

Formale Sprachen


Formale Sprachen - die Sprache endlicher Zustandsautomaten (SkriptAtfsEckNr1, S. 25)

1. Struktureigenschaften regulärer Sprachen


L ist eine reguläre Sprache über X.

Es gibt ein n ∈ N entsprechend PL

so, dass für alle x ∈ L mit
≥ n gilt:

Es gibt Teilwörter u, v, w ∈ X* mit
  • x =uvw,
  • |uv| ≤ n (bzw. |vw| ≤ n),
≥ 1 und
  • uviw ∈ L ∀ i ∈ N0.


  • PumpingLemma



    Siehe auch
    Valid XHTML :: Valid CSS: :: Powered by WikkaWiki