Fachrat Informatik - Forum

Quoted

Original von Yann

Quoted

#|0 s0 |# und jetzt hab ich:

(s0, 0, s1, c, l)

Wie sieht dann die nächste Zeile aus. Wenn ich nach rechts gehe ist mir das klar, aber wie sieht das aus wenn ich nach links gehe?"

Der näste eintrag sieht so aus: #| s1 c |#.

Du betrachtest nur die Zeichen die in der bewehgungs richtung sind... also hier nach links.

Das Zeichen, das sich "unter" dem Lesekopf befindet, ist *immer* das Zeichen, das rechts neben der Zustandsangabe steht.

Wäre also z. B. der aktuelle Zustand
#|0 s0 |#
und gäbe es einen Übergang
(s0, |, s1, c, l),
dann wäre der nächste Zustand der folgende:
#|s0 0 c#

Siehe dazu auch Beispiel 7.11 im Skript.

Quoted

Original von KreiS
zu 4c) hab ich nun nen Loop programm geschrieben

[Programm]

Ist aber nicht ganz der Algorithmus, der von TM verwendet wird. Du vermindert x2 jeweils blockweise um 3 und prüfst, ob das Ende erreicht ist. TM liest x2 aber in Einzelschritten und verändert dabei zyklisch den aktuellen Zustand. Ist x2 vollständig eingelesen, wird je nach Zustand die Ausgabe geschrieben.

Mein Vorschlag:

na gut, war klar das es einfacher geht :-)

ich hoffe in der Klausur habe ich nen freien kopf um auf so ne einfache Lösung zu kommen.


zu aufagbe 6)
hat da einer die TM mal gebaut?! im moment habe ich schon 9 zustände und ein endzustand :-p

Quoted

loop x2 do
x0 := x0 + 1;
if x0 = 3 then x0 := 0
end;

zu deinem Vorschlag, vorm end; und endinf kommt kein ; ?!also wie bei Pascal?!



übungs haben will ich hier nun DIV 2 bauen :-D
ist aber sehr grob :-D

f(m,n) = n DIV m ( x2 DIV x1 )

x3 := 0 ; x4 := 0 ;
loop x2 do
x3 := x3 + 1;
if x3 = x1 then x4 := x4 +1;
if x3 = x1 then x4 := 0;
end;
wirte (x4);

In Aufgabe 6 habe ich nun 10 zustände, aber das ding funktioniert :-D ist es egal wo ich es auf dem Tape die 1 oder 0 reinschreibe? hauptsache drumrum blankzeichen?! ;-)

if x3 = x1 then x4 := x4 +1;
if x3 = x1 then x4 := 0;

das macht ja irgendwie nicht viel sinn, oder ? das ist doch dasselbe wie if x3=x1 then x4=0

Quoted

Original von KreiS
In Aufgabe 6 habe ich nun 10 zustände, aber das ding funktioniert :-D ist es egal wo ich es auf dem Tape die 1 oder 0 reinschreibe? hauptsache drumrum blankzeichen?! ;-)

Jau!

Kannst ja (haste bestimmt auch) in die Mitte ein Trennzeichen (n<->m) und dann abgleichen und je nachdem auf welcher Seite du als erstes "ins Leere läufst" das Trennzeichen nach "Clearen" des Bandes zu einer 0 oder 1 machen...
passt so schön

Quoted

if x3 = x1 then x4 := x4 +1;
if x3 = x1 then x4 := 0;

tipfehler
if x3 = x1 then x3 := 0; natürlich, da ich kA habe wie ich hinter then mehrere befehle ausführen darf :-D
dazu wann das ; kommt etc


Also bei aufgabe 6 habe ich es mir einfach gemacht, ich schaue ob links genauso viele wie rechts sind, wenn nicht alles blank machen
wenn ja (gilt auch wenn links mehr sind) dann halt alles Blank machen und ne 1 oder so schreiben :-)

einmal links und rechts wegnehmen, und dann halt mit dem kopf hin und her wandern
habe in jlap herum dedocktert, wie viele übergänge ich habe weiß ich net, weiß nur es funktioniert :-DDDD

Quoted

Original von KreiS

Quoted

loop x2 do
x0 := x0 + 1;
if x0 = 3 then x0 := 0
end;

zu deinem Vorschlag, vorm end; und endinf kommt kein ; ?!also wie bei Pascal?!

Habe leider das endif vergessen. Ist oben jetzt korrigiert. Die Trennung durch Semikolon ist richtig. Ein Semikolon dient nur zur Trennung von Anweisungen, daher muß ans Ende eines Blockes kein Semikolon (es muß ja nichts mehr abgetrennt werden).



Noch zwei allgemeine Hinweise zu LOOP-Programmen:

- Bei if kann AFAIK nur auf Gleichheit mit einer *Konstante* geprüft werden. Statements wie "if x1=x2" sind daher unzulässig!

- Die Ausgabevariable muß immer x0 sein. Die Ausgabe muß also mit write(x0) erfolgen.

(zu beidem siehe Definition 8.4 im Skript)

gut, dann ist mir viel mehr klar

nun ja, dann definiert man sich vorher die konstanten mit xx = 3 ;

und wegen x0 ist nur so eine kleine frage wie geschickt man es benennt


aber das im Script hatte ich gelesen, aber das kam ich mir vor das es für funktionen gut wäre, aber ist wohl net so.