|
|
| (2 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt) |
| Zeile 1: |
Zeile 1: |
| − | == '''Deterministischer endlicher Automat (DEA)''' ==
| |
| | | | |
| − | Ein deterministischer endlicher Automat ist ein Automat , der unter Eingabe eines Zeichens seines Eingabealphabets ( den mögl. Eingaben ) von einem Zustand , in dem er sich befindet , in einen eindeutig bestimmten Folgezustand wecheselt.
| |
| − |
| |
| − |
| |
| − | == '''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
| |
