bungsblatt 3

bungsblatt 3
Prof. Dr. A. Schwill
Institut für Informatik
Übungen zur Vorlesung
Theoretische Informatik
Blatt 3
Abgabe: in der kommenden Vorlesung
Aufgabe 1:
Zeigen Sie: Das Leerheitsproblem für endliche Akzeptoren ist entscheidbar. Es gibt also
einen Algorithmus, der bei Eingabe eines beliebigen endlichen Automaten entscheidet,
ob die von ihm akzeptierte Sprache leer ist oder nicht.
Aufgabe 2:
Sei X ein endliches Alphabet und R⊆X* eine endliche Menge. Zeigen Sie: R∈DA,
∅∈DA, X*∈DA.
Aufgabe 3:
Bestimmen Sie einen endlichen deterministischen Akzeptor für die Sprache
L=({b}·{ab}*)∪({a}*·{b}).
Was this manual useful for you? yes no
Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

Download PDF

advertisement