Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in 2011-H-03

alternativlösung

Sat, 04 Feb 2017 15:58:59 +0000

TM = ({0,1},{0,1,*], {s0,...se}, q, s0, {se })

ist dieser alternative richtig ? danke im voraus

Sat, 28 Jan 2017 14:43:15 +0000

ist diese Lösung richtig?

A = (E,B,S,δ,s0,F) mit E = {0,1},B = {0,1,B,*},S = {s0,s1,s2,s3, s4, s5, se}, F = {se

(s0, 0) => (s1, B, R)

(s0, 1) => (s0, 1, R)

(s0, B) => (s0, B, R)
(s0, *) => (s5, *, L)

(s1, 0) => (s1, 0 , R)
(s1, 1) => (s2, 1, R)

(s2, 0) => (s3, B , R)
(s2, B) => (s2, B, R)
(s2, *) => (s5, * , L)

(s3, 0) => (s3, 0 , R)
(s3, *) => (s4, * , L)

(s4, 0) => (s4, 0 , L)
(s4, 1) => (s4, 1 , L)
(s4, *) => (s0, *, R)
(s4, B) => (s4, B, L)

(s5, 0) => (s5, 0, L)
(s5, 1) => (s5, 1 , L)
(s5, *) => (se, *, R)
(s5, B) => (s5, 0, L)

MFG

Fri, 25 Sep 2015 13:24:57 +0000

Hallo

wäre diese alternative TM auch korrekt für die Sprache L?

Vielen Dank für die Hilfe!

MFG

Fri, 25 Sep 2015 13:23:09 +0000

Hallo,

mir ist bei Aufgabe 3a) nicht klar, welchen Zweck der Zustand s6 der TM erfüllt. Könnte man von S5 beim Lesen einer 1 nicht direkt in S7 übergehen?

Vielen Dank schon mal für jegliche Antwort!