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