| Zeige Beiträge 1 bis 7 von 7 Treffern |
|
 Thema: falscher(?) beweis für das Halteproblem |
|
|
Müsste nicht die Universelle Turingmaschine unendlich viele Zustände haben? Wenn die universelle Turingmaschine nur n Zustände hat, dann überlege ich mir eine Turingmschine mit n+1 Zuständen, die eine Operation durchführt, die keine TM mit weniger als n+1 Zuständen ausführen kann (und sei es, dass ich sie als Busy Beaver TM mit n Zuständen betrachte und vor dem Halten in den Zustand n+1 gehen lasse und dann so weit nach rechts fahren lasse, bis sie noch eine 1 auf das Band schreiben kann) Diese könnte die universelle TM dann doch nicht simulieren oder doch?
|
|
| Thema: falscher(?) beweis für das Halteproblem |
|
|
Hi,
danke bis hier hin schonmal, die Tatsache, dass die Menge der Turingmaschinen abzählbar ist war ja das, was mich am meisten interessiert hat. Trotzdem nochmal die zwei Fragen:
1.
Die Menge der Funktionen, die 0,1 Strings auf 0,1 Strings abbilden ist definitiv überabzählbar. Daraus müsste ja folgen, dass es tatsächlich überabzählbar viel nicht berechenbare Funktionen gibt (denn die Menge der Turingmaschinen - also der berechenbaren Funktionen ist ja wie gerade gesehen abzälbar). Oder übersehe ich etwas?
2.
Darf eine Turingmaschine auch unendlich lange Strings als Eingabe entgegennehmen? Und passend dazu: darf eine Turingmaschine auch unendlich viel Zustände haben?
Lg
Takirion
|
|
| Thema: falscher(?) beweis für das Halteproblem |
|
|
Hallo,
wir haben in der Schule in Info gerade die Turingmaschine und daraus resultierend auch das Halteproblem besprochen. Dazu hat er uns auch eine Beweisskizze gegeben, die grob so aussieht:
Eine Turingmaschine kann maximal abzählbar unendlich viele verschiedene Eingaben entgegen nehmen, allerdings gibt es mehr als abzählbar viele Algorithmen, das heißt, es gibt nichteinmal eine Turingmaschine, die überhaupt alle Algorithmen (bzw. Kodierungen dieser) entgegennehmen könnte insbesondere also auch keine, die für jeden dieser Algorithmen das Halteproblem löst.
Beide Behauptungen (abzählbar viele Eingaben, über-abzählbar viele Algorithmen) hat er uns im Prinzip einfach so ohne echten Beweis gegeben (wir haben uns auf Wikipedia die beiden Cantor-Diagonalisierungen angeschaut, was für ihn dann scheinbar so etwas wie ein Beweis war, den echten Zusammenhang hat er aber nicht hergestellt).
Für die erste bin ich durchaus gewillt sie zu glauben (wobei mir beim Schreiben einfällt: Eigentlich müsste eine Turingmaschine auch unendlich lange Folgen von Nullen und Einsen entgegennehmen können, die Eingabe entspricht doch einfach nur der Anfangsbelegung der Felder auf dem unendlich langen Band der Turingmaschine...). Größere Probleme hatte ich mit der zweiten. Ich bin mir ziemlich sicher schon öfters gelesen zu haben, dass sich Turingmaschinen binär kodieren lassen. Wenn sich aber jede Turingmaschine binär kodieren lässt kann ich aber einfach genau diese binäre Kodierung als Eingabe verwenden bzw. kann es nur abzählbar viele verschiedene Turingmaschinen geben.
Ich vermute, dass ein Problem in der Formulierung des Begriffs Algorithmus liegt. Im informatischen Sinne ist ein Algorithmus ja schlicht eine Turingmaschine. Mein Infolehrer hat sie uns als allgemein gültige Handlungsanweisung zur Lösung eines Problems definiert.
Als ich ihn einmal auf dieses ganze Problem angesprochen habe, hat er so sinngemäß gesagt: "Es gibt doch über abzählbar viele Funktionen die Nullen und Einsen auf Nullen und Einsen abbilden." Darin liegt möglicherweise ein anderes Problem: Ist möglicherweise nur die Menge der Funktionen von {0,1}* auf {0,1}* überabzählbar (daran kein Zweifel), die Menge der berechenbaren Funktionen aber nicht? Es gibt ja durchaus nicht berechenbare Funktionen (Busy Beaver,...).
Es wäre schön, wenn irgendjemand das hier mal zweifelsfrei klären könnte, was an meinen bzw. seinen Vermutungen richtig oder falsch ist.
Vielen dank schonmal dafür.
Lg
Takirion
|
|
| Thema: Datensätze verändern (nicht im Dialog!!) VB |
|
|
Also wie oben schon beschrieben VB :P
Datenbank würde ich entweder Acces oder SQL nehmen, da bin ich flexibel
Und bezüglich der Anwendung wäre es gut, es für Desktop- und Webanwendungen zu wissen.
|
|
| Thema: Datensätze verändern (nicht im Dialog!!) VB |
|
|
Also mein Problem ist: Man findet zwar überall Tutorials, wie man bei VB in Datenbanken Datensätze im Dialog (User hat die Tabelle vor sich, verändert sie und speichert) verändert, aber nirgends findet man etwas, wie man Daten per Programm ändert (sprich sowas wie z.B ein Befehl Datenbank1.Tabelle1.Datensatz1.Eigenschaft1 = Variable).
Was ich jetzt bräuchte wäre entweder ein Befehl oder auch mehrere, wie man sowas macht, oder zumindest ein Tutorial, das es erklärt.
Danke schonmal im Vorraus
Lg
Takirion
|
|
| Thema: Textfeld verdeckt Gafik (Visual Basic 2008) |
|
|
Ja hab ich auch schon überlegt, das Problem is nur, dass ja der Kreis erst beim Starten des Programms gezeichnet wird. Ergo kann ich für den keine Reihenfolge festlegen.
|
|
| Thema: Textfeld verdeckt Gafik (Visual Basic 2008) |
|
|
Meine Frage:
Also ich bin noch ziemlicher Neuling im Umgang mit VB (zumindest bezüglich der Oberfläche). Und jetzt ist mein Problem, dass ich ein Textfeld habe, und gerne das Programm einen schwarzen Kreis zeichen lassen würde, der auf dem Textfeld liegt. Leider liegt das Textfeld auf dem Keis, sodass man ihn nicht sieht.
Meine Ideen:
Vermutlich kann man ja irgendwo die Reihenfolge in der die Dinger angezeigt werden festlegen nur wo..? In den Eigenschaften vom Textfeld hab ich nix gefunden.
Danke schonmal für eure Antwort.
|
|
|
| Zeige Beiträge 1 bis 7 von 7 Treffern |
|
|
|
