Guru
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
wahrQuoted
Original von sebi
(a) Zu jeder Turingmaschine gibt es ein ¨aquivalentes GOTO-Programm.
falschQuoted
(b) Zu jeder Turingmaschine gibt es einen ¨aquivalenten " -NFA.
wahrQuoted
(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.
Guru
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
falschQuoted
Original von sebi
d)
Für Reguläre Ausdrücke a,b,c (soll heissen: alpha, beta, gamma) gilt: (ab|c)* = (ab)*|c
falschQuoted
e)
Ist L1 nicht regulär und L2 beliebig, so ist L1 vereinigt L2 regulär
wahrQuoted
f)
Ist L1 regulär und L2 endlich, so ist L1 vereinigt L2 regulär