Alphabete, Wörter, Sprachen
Alphabete, Wörter, Sprachen
Alphabete, Wörter, Sprachen
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
INFORMATISCHE SPRACHDARSTELLUNGENBERECHENBARKEITSTHEORIE:In der Berechenbarkeitstheorie betrachten wir algorithmische Darstellungenvon <strong>Sprachen</strong>, d.h. geben Algorithmen an, die die <strong>Sprachen</strong> eindeutig festlegen.Dabei unterscheiden wir:ENTSCHEIDUNGSVERFAHREN: Der Algorithmus stellt bei Eingabe einesWortes fest, ob dieses zur Sprache gehört.AUFZÄHLUNGSVERFAHREN: Der Algorithmus gibt alle Elemente der Sprache(und nur diese) sukzessive aus. (Ist die Sprache unendlich, so läuft dasVerfahren unendlich lang; die Beschreibung des Verfahrens ist jedoch endlich!)FORMALE SPRACHEN:Hier werden wir <strong>Sprachen</strong> mit Hilfe (generativer = erzeugender) GRAMMA-TIKEN beschreiben.