Fachrat Informatik - Forum
FACHSPEZIFISCHE DISKUSSIONEN
Grundlagen der Informatik
TheoInf, Kurzfragen letzte Klausur
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
Tuesday, August 20th 2002, 1:40pm
wahr
Quoted
Original von sebi
(a) Zu jeder Turingmaschine gibt es ein ¨aquivalentes GOTO-Programm.
falsch
(b) Zu jeder Turingmaschine gibt es einen ¨aquivalenten " -NFA.
wahr
(c) Zu jedem LOOP-Programm gibt es eine ¨aquivalente Turingmaschine.
???
(d) F¨ur regul¨are Ausdr¨ucke ®; ¯; ° gilt: (®¯j°)¤ = (®¯)¤j°¤
???
(e) Ist L1 nicht regul¨ar und L2 beliebig, so ist L1 [ L2 regul¨ar.
???
(f) Ist L1 regul¨ar und L2 endlich, so ist L1 [ L2 regul¨ar.
wahr (LOOP-Programme halten immer an)
(g) Es ist entscheidbar, ob ein LOOP-Programm in eine Endlosschleife ¨ubergeht.
Tuesday, August 20th 2002, 1:53pm
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
Tuesday, August 20th 2002, 1:59pm
falsch
Original von sebi
d)
Für Reguläre Ausdrücke a,b,c (soll heissen: alpha, beta, gamma) gilt: (ab|c)* = (ab)*|c
falsch
e)
Ist L1 nicht regulär und L2 beliebig, so ist L1 vereinigt L2 regulär
wahr
f)
Ist L1 regulär und L2 endlich, so ist L1 vereinigt L2 regulär
