Dies ist eine statische Kopie unseres alten Forums. Es sind keine Interaktionen möglich.
This is a static copy of our old forum. Interactions are not possible.

Zypressen Hügel

Junior Schreiberling

  • "Zypressen Hügel" started this thread

Posts: 244

Date of registration: Dec 22nd 2001

1

Saturday, January 19th 2002, 5:12pm

Übung TheoInf Blatt 12

@ alle, die nicht die Zeit haben (LinA naht), alle Konfigurationen für Aufgabe 2a) manuell abzuarbeiten:

Ich hab in Scheme ;-) einen Simulator für (deterministische) Turing-Maschinen gebaut, der alle Konfigurationen bis in den Endzustand durcharbeitet und ausgibt. Wenn jemand Interesse hat, kann er sich bei mir melden.

CU, Eike
Man kann auch ohne Spass Alkohol haben 8)

cowhen

Muuuh!

  • "cowhen" is male

Posts: 1,374

Date of registration: Dec 13th 2001

2

Saturday, January 19th 2002, 7:05pm

hab ihn schon: er ist super...

...der TA-simulator ist super und deswegen ist eike




'the schemer of the month'
:D applaus für eike! er hat sich den pokal verdient :D
plenty of time to relax when you are dead

MAX

Senior Schreiberling

  • "MAX" is male

Posts: 822

Date of registration: Dec 11th 2001

Location: Hannover

3

Sunday, January 20th 2002, 7:11pm

An alle Turingautomatenfans!!!

Hallo!!!
Falls jemand eine Turingmaschine braucht, um die Konfigurationen zu checken oder einfach so zu spielen, dann habe ich hier ein Link für euch homepages.compuserve.de/maximmartchenko/
Also viel Spaß damit!!!
mfg
MAX

  • "Florian Klaus" is male

Posts: 102

Date of registration: Dec 18th 2001

Location: Hannover, Köln

Occupation: FHler

4

Sunday, January 20th 2002, 8:38pm

Blatt 12 Aufgabe 1

Ich raff´s nich.
Sitz jetzt schon über ne Stunde an der, wie ich dachte, leichten Aufgabe 1. X(
Ich komm einfach nicht zum Ende mit den Zuständen.
Ich hab mir folgendes Prinzip gedacht:
Für jede 0 die gelesen wird (geht man davon aus, dass noch keine 1 gelesen wurde) ändert sich der Zustand in Richtung der geraden Zahlen, also - erste 0 gelesen = S2, Zweite 0 gelesen = S4 usw.
Für jede 1 die gelesen wird (geht man davon aus, dass noch keine 0 gelesen wurde) wandert der Automat in Richtung der ungeraden Zahlen, also erste 1 gelesen = S1, zweite 1 gelesen = S3 usw.
Bei jeder 1 bzw. 0 die gelesen wird, geht der Automat einen Zustand runter (z.B. in S4 wird 1 gelesen = Automat geht zurück in S2 bzw. in S3 wird 0 gelesen = Automat geht zurück in S1 usw.)
Wenn man jetzt noch davon ausgeht, dass ein Endzustand nur erreicht werden kann, wenn der TA in einem geraden Zustand ist, dann ist schon mal gewährleistet, dass #0 > #1.
Das Problem, dass ich nicht lösen kann, ist, dass ich dann UNENDLICH Zustände habe, da ja bezüglich der Anzahl keine Grenze gesetzt ist. 8o 8o
Lieg ich vielleicht absolut falsch mit meinem Ansatz??? ?( Oder hab ich ne Kleinigkeit übersehen??? ?( ?(

migu

free rider

  • "migu" is male

Posts: 2,643

Date of registration: Dec 11th 2001

Occupation: Developer

5

Sunday, January 20th 2002, 10:12pm

das kann nicht gehen

Hi Florian!

Über die Zustände kannst du das nicht machen. Denn wie du ja selbst sagst, hängt die Anzahl der Zustände dann von der Wortlänge ab. Und das darf nicht sein.

Mein Ansatz ist:
Zuerst wird das Wort sortiert: alle Einsen werden an den rechten Rand geschrieben. Alle Nullen kommen nach vorne.
Im so sortierten Wort gleiche ich nun jede am linken Rand stehende Null mit einer am rechten Rand stehenden Eins ab und ersetze sie dabei durch ein Blank-Symbol. Das Wort schrumpft dabei. Das ist aber irrelevant, denn ich entferne immer eine Eins und eine Null, wodurch die Eigenschaft, ob mehr Nullen als Nullen im Wort sind, nicht berührt wird.

Kann ich nun für eine Null keine Eins mehr abgleichen, bin ich fertig, und zwar nur dann.

Ich hoffe, das hilft dir.
Wenn du (oder sonst wer) noch Fragen hast, bitte. :)

Michael
tar: Anlegen eines leeren Archivs wird feige verweigert.

Zypressen Hügel

Junior Schreiberling

  • "Zypressen Hügel" started this thread

Posts: 244

Date of registration: Dec 22nd 2001

6

Sunday, January 20th 2002, 10:48pm

Auch eine Idee: Zuerst in dem Wort eine 0 suchen und mit A kennzeichnen (mindestens eine 0 ist nötig).
Dann zum Eingabeanfang zurück (Back-Routine programmieren) und nach einer 0 oder 1 suchen.
Wird eine 0 gefunden, diese mit A kennzeichnen, in einen Zustand search1 wechseln und von der Position aus weiter nach einer 1 suchen. Wird das Bandende erreicht, ist die Eingabe akzeptiert. Wird eine 1 gefunden, diese mit B kennzeichnen und über die Back-Routine zurück an den Anfang und alles von vorne.
Wird eine 1 gefunden, diese mit B kennzeichnen und von der Position aus in einen Zustand search0 wechslen und nach einer 0 suchen. Wird das Bandende erreicht, ist die Eingabe NICHT akzeptiert. Wird eine 0 gefunden, diese mit A kennzeichnen und alles wieder von vorne.
Ging leider nicht kürzer oder übersichtlicher. Aber funktioniert und man kommt mit einem Start- , einem Endzustand, einem Rücklaufzustand und drei Suchzuständen aus.

Falls jemand die genaueres (.pdf) möchte, kurze Mail an mich.

CU Eike
Man kann auch ohne Spass Alkohol haben 8)

Zypressen Hügel

Junior Schreiberling

  • "Zypressen Hügel" started this thread

Posts: 244

Date of registration: Dec 22nd 2001

7

Sunday, January 20th 2002, 10:50pm

@ migu

Übrigens auch eine gute Idee :P
Man kann auch ohne Spass Alkohol haben 8)

migu

free rider

  • "migu" is male

Posts: 2,643

Date of registration: Dec 11th 2001

Occupation: Developer

8

Sunday, January 20th 2002, 10:55pm

@ Zypressen Hügel:

danke. Deine Lösung ist ziemlich pfiffig.

migu
tar: Anlegen eines leeren Archivs wird feige verweigert.

Informatik Minister

Senior Schreiberling

  • "Informatik Minister" is male

Posts: 1,234

Date of registration: Dec 11th 2001

9

Monday, January 21st 2002, 2:16pm

Süss...

ich find das mit den A´s und B´s nicht schlecht....erst das wort sortieren...weissnich
wie machste das denn genau?

geht sogar nochn tucken einfacher, oder?

du suchst ne 0, findest die, machst se zu A und suchst von ganz vorne ne 1
gefunden = zu B transformen und wieder von vorne eine 0 suchen
nicht gefunden = endzustand (#0>#1)

das müsste doch reichen und wenn er beim 0 suchen keine findet, wird das wort nicht akzeptiert, da man eine 0 und ein 1 gefunden hat (in dem zustand, im allg. also #0=#1) und wenn man dann keine 0 findet, ists egal ob noch 100 einser drin sind oder keine, da MINDESTENS #0=#1

fertsch
also zusammengefasst
eine 0 suchen, eine 1 suchen, zurück und von vorne
1) eine 0 finden aber keine 1 -> ende
2) keine null finden -> nicht akzeptiert, da #0<=#1
"Fliegenpilze! Löwen!! Das Leben ist gefährlich." -- www.katzundgoldt.de

  • "Florian Klaus" is male

Posts: 102

Date of registration: Dec 18th 2001

Location: Hannover, Köln

Occupation: FHler

10

Monday, January 21st 2002, 2:52pm

Thanx

Thanx an alle. :)
Habn jetzt zwar jetzt gerade keine Zeit (und vor allem keinen Bock ;) ) Theologische Informatik zu machen, aber heute abend oder so.
Immerhin weiß ich jetzt wie´s geht.
Dankä.

migu

free rider

  • "migu" is male

Posts: 2,643

Date of registration: Dec 11th 2001

Occupation: Developer

11

Monday, January 21st 2002, 3:14pm

Das iss ja ne EXE-Datei!

Quoted

Original von MAX
Falls jemand eine Turingmaschine braucht, um die Konfigurationen zu checken oder einfach so zu spielen, dann habe ich hier ein Link für euch homepages.compuserve.de/maximmartchenko/


Da müsste ich ja den Rechner neu booten. Neee, das is nix.
Das Teil vom Eike is cool: Läuft überall, weil halt Scheme-Code. So musset seyn.

Doch nichts für ungut,

migu

Okay, es gibt Emulatoren, aber habbich nich.
tar: Anlegen eines leeren Archivs wird feige verweigert.

MAX

Senior Schreiberling

  • "MAX" is male

Posts: 822

Date of registration: Dec 11th 2001

Location: Hannover

12

Tuesday, January 22nd 2002, 12:20am

Ehhhh????

Rechner booten??? Wieso das denn. Ich habe natürlich vergessen zu sagen, dass das Programm nur unter Windoof läuft und nur mit Einsen arbeitet. Das + ist halt das Blanksymbol. Man kann aber damit alles simulieren. Habe noch in der Schule eingesetzt, aber wenns nicht gefällt, mir ist doch egal, wollte nur helfen, weiter nix!!!
mfg
MAX

migu

free rider

  • "migu" is male

Posts: 2,643

Date of registration: Dec 11th 2001

Occupation: Developer

13

Tuesday, January 22nd 2002, 12:44pm

Quoted

Original von MAX
Habe noch in der Schule eingesetzt, aber wenns nicht gefällt, mir ist doch egal, wollte nur helfen, weiter nix!!!


Ja, stimmt. Gegen das Programm an sich habe ich ja auch nichts gesagt. Wie auch? Ich hab's ja noch gar nicht gestartet.
(Lass dich nicht verunsichern - auch nicht von mir!)
migu
tar: Anlegen eines leeren Archivs wird feige verweigert.

compost

Trainee

  • "compost" is male

Posts: 74

Date of registration: Dec 11th 2001

Location: Linden

14

Tuesday, January 22nd 2002, 4:29pm

blatt 12 aufgabe 2

Hi!

Habe mal eine Frage und zwar was die Turingmaschine denn überhaupt macht? Multiplizieren, Potenzieren oder liege ich ganz falsch und die berechnet Differentialgleichungen :-) ?!

Gruss Jens

cowhen

Muuuh!

  • "cowhen" is male

Posts: 1,374

Date of registration: Dec 13th 2001

15

Tuesday, January 22nd 2002, 8:53pm

@compost (bezügl. sinn der tm)

meiner ansicht nach berechnet die maschiene das produkt der striche vor der 0 und der striche hinter der null.

ich denke dass sieht man auch recht schnell, wenn man mit eikes (mittlerweile zum kult gewordenen ;) )simulator spielt.

mfg

cowhen

ps: @info minister: die stricher sind den strichen gewichen. *reim*
plenty of time to relax when you are dead

Informatik Minister

Senior Schreiberling

  • "Informatik Minister" is male

Posts: 1,234

Date of registration: Dec 11th 2001

16

Tuesday, January 22nd 2002, 9:14pm

haha

Striche, ich krieg mich nich mehr ein :|

nebenbei:
man braucht 139 punkte, um 66,66% zu haben und damit 10% (laut prof. lipeck [meinem mentor] einer 2/3 notenerhöhung entsprechend, also ~ 0,7) einzuheimsen

insgesamt gibts nämlich 208 punkte

schönes leben noch

i frei mi aufs testaterl

cowhen

Muuuh!

  • "cowhen" is male

Posts: 1,374

Date of registration: Dec 13th 2001

17

Tuesday, January 22nd 2002, 9:53pm

'stricher'

ok,ok...habs korrigiert: s.o. :P
lass uns beim thema bleiben.

cu

cowhen
plenty of time to relax when you are dead

sebi

Junior Schreiberling

  • "sebi" is male

Posts: 153

Date of registration: Dec 10th 2001

Location: Hannover, Erde

Occupation: lebenskünstler

18

Wednesday, January 23rd 2002, 7:12pm

d.h. mit momentan 141 punkten bringt mir der letzte zettel auch nix mehr ? :D

Informatik Minister

Senior Schreiberling

  • "Informatik Minister" is male

Posts: 1,234

Date of registration: Dec 11th 2001

19

Wednesday, January 23rd 2002, 7:31pm

DOCH!

Übung...

migu

free rider

  • "migu" is male

Posts: 2,643

Date of registration: Dec 11th 2001

Occupation: Developer

20

Wednesday, January 23rd 2002, 10:31pm

141... wow!

...und ich kröchel hier am Existenzminimum vorbei.
Hey, lest euch mal die mehrdeutigen Angaben auf der Informatik-Seite durch. Was meinen die bloß mit Klausurbonus? ?(

hm..

migu
tar: Anlegen eines leeren Archivs wird feige verweigert.