Reguläre Ausdrücke

Um die Wörter zu beschreiben, die ein deterministischer endlicher Automat akzeptiert, benutzt man sogenannte reguläre Ausdrücke. Sie werden durch folgende Regeln beschrieben:

1. ab das Zeichen a gefolgt von Zeichen b

2. a|b das Zeichen a oder das Zeichen b

[a-c] das Zeichen a, b oder c

3. a* das Zeichen a beliebig oft (auch keinmal)

(ab)* die Zeichenfolge ab beliebig oft (auch keinmal)

[a-c]* das Zeichen a, b oder c beliebig oft (auch keinmal)

4. a+ das Zeichen a keinmal oder einmal