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