wmb

  • Lego Turing Machine | Spreeblick
    ... Hardware Software Services Dinge Verlosung Weihnachten08 Politik Inland Ausland Personen Netzpolitik Medien Unternehmen Bildung Pop von René Walter | 5 Lego Turing Machine Anders Nissen, Martin Have, Mikkel Vester und Sean Geggie haben nicht nur tolle Namen, sondern bauten auch eine Turing ... 14:05 | Antworten 02 meistermochi : unheimlich, das terminator-auge. 31.01.2009 um 14:06 | Antworten 03 piotr: Moment, die maschine geht beim Schreiben zwei Schritte in eine Richtung ohne zu prüfen o_O 31.01.2009 um 15:02 ... witzig. Der Controller ist ein “kleiner Computer”. Und der steuert etwas wirklich enorm banales. Das ist viel – aber keine “Lego ...
    http://www.spreeblick.com/2009/01/31/lego-turing-machine/
  • Informatikjahr. Turing in MATH and io-port.net
    ... the Entscheidungsproblem" ( Search ) gibt es auch im Zentralblatt ein ausführliches Referat auf Englisch ( Search ). In dieser Arbeit definierte Turing eine Maschine, heute "Turingmaschine" genannt. Diese Turingmaschine stellt das erste mathematische Modell für einen Computer dar. Sie ist die Grundlage für viele ... geheim zu halten. Als eine Apparatur mit 5 Walzen und Tausenden von verschiedenen Einstellungen, war die Enigma eine äußerst komplexe Maschine, die für unentschlüsselbar gehalten wurde. Turing wirkte maßgeblich an der Dechiffrierung mit. Da alle Arbeiten unter strengster Geheimhaltung ausgeführt wurden, ist erst im Laufe der 70ziger ... ...
    http://www.emis.de/MATH/JFM/Turing.html
  • http://informatik.unibas.ch/lehre/ss06/cs105/_Downloads/4696.0.ExzerptEnigma.pdf
    ... the apple in the brew, let the sleeping death seep through" 175 * "Für Alan Turing selbst war die Maschine Symptom für etwas, das nicht durch Mathematik allein zu beantworten war … herzustellenden Zusammenhang zwischen dem Abstrakten und dem Physischen … Es ... Bauteile als Ein-oder-Aus-Schalter vorzustellen, obwohl das Prinzip schon 1919 vorgeführt worden war." 262 7. Nov. 1942: Alan Turing an Bord der Queen Elisabeth * Zusammentreffen mit Shannon an den BellLabs, "teatime", viele Gemeinsamkeiten; Informationstheorie und Turing-Maschine ...
    http://informatik.unibas.ch/lehre/ss06/cs105/_Downloads/4696.0.ExzerptEnigma.pdf
  • http://tal.cs.tu-berlin.de/lv/ws0304/komplexitaet/referate/nspacen-csl.pdf
    ... Arbeit von 1964 [1] zeigte S. Y. Kuroda, dass die Klasse der Spra- chen, die durch nichtdeterministische linear platzbeschr¨ankte Turing-Maschinen erkannt werden, mit der Klasse der kontextsensitiven Sprachen ¨ubereinstimmt. In heutiger Terminologie ausgedr¨uckt: CSL = NSPACE(n ... Γ,qA,Qakz,∆ wie f¨ur nichtdeterministische Turingmaschinen definiert sind. Es handelt sich bei M um eine nichtdeterministische (1-Band-)Turing-Maschine mit zwei Besonderheiten: • Das Eingabealphabet beinhaltet zwei spezielle Symbole a103 und $, die das Band zur linken bzw. rechten Seite begrenzen ... q0[a1,a1][a2,a2]...[an,an][ε,B]m 4.3.3 Produktionsregeln Im n¨achsten Schritt wird die ...
    http://tal.cs.tu-berlin.de/lv/ws0304/komplexitaet/referate/nspacen-csl.pdf
  • http://informatik.unibas.ch/lehre/ss06/cs105/_Downloads/cs105-20060531-2up.pdf
    ... Theorie”: Busy Beaver, Turingmaschine, LOOP und prim-rek. 2006-05-31, 2/24 Ueberblick ¨uber heutige Sitzung Busy Beaver Mehrband Turing-Maschine Verkettung von Turing-Maschinen WHILE-Maschine LOOP-Programme c Tschudin, Departement Informatik, Universit ¨at Basel CS105 - “Theorie”: Busy Beaver, Turingmaschine, LOOP und prim-rek. 2006-05 ... at Basel CS105 - “Theorie”: Busy Beaver, Turingmaschine, LOOP und prim-rek. 2006-05-31, 11/24 Die “Test-auf-Null” Turing-Maschine Zwei Endzust¨ande ja;nein, wobei Endzustand ja angenommen wird, wenn ganz rechts eine Null (0) steht delta(z0,a ... ...
    http://informatik.unibas.ch/lehre/ss06/cs105/_Downloads/cs105-20060531-2up.pdf
  • Philobar: Die Turing-Tests des Internet?
    ... Philobar: Die Turing-Tests des Internet? skip to main | skip to sidebar Philobar Philosophisches, Bibliothekarisches, und manchmal keins von ... man doch die Gemeinsamkeit auf den Punkt bringen. Allerdings gibt es einen Unterschied: die Entscheidung, ob ein Mensch oder eine Maschine die Antwort eingegeben hat, wird beim Captcha von einer Maschine getroffen. Daher muss das Captcha, scheint mir, eine sehr viel bessere Vorstellung davon haben, was eine menschliche Leistung ist. Alle ... Ciceros De Fato -- wie man eine Diss im elekt... Philosoph und Bibliothek Die Deutschen sind für und gegen Internetsperren Die ...
    http://philobar.blogspot.com/2009/05/die-turing-tests-des-internet.html
  • Weblog-Archiv Dezember 2008 -- [Der Schockwellenreiter]
    ... Aus den Tiefen des Prelinger Archivs ] gezogen.] Technorati-Tags: Cartoon Propaganda Posted by Jörg Kantel | Permalink | | Jeder Computer ist eine Turing Maschine (und vice versa) Und viele hatten vermutet, daß Conways   Spiel des Lebens auch ein Computer sei. Hier ist der Beweis ... Beweis: A Turing Machine implemented in Conway's Game of Life . [ Trivium ] Technorati-Tags: Turing-Maschine Life Posted by Jörg Kantel | Permalink | | | SoftComputing Eine ungeheure Masse von Schwindelgeschäften Karl Marx zur aktuellen »Finanzkrise« und über wirkliches ...
    http://www.schockwellenreiter.de/archiv/2008/12.html
  • [Der Schockwellenreiter: Weblog-Archiv 29.12.2008]
    ... Aus den Tiefen des Prelinger Archivs ] gezogen.] Technorati-Tags: Cartoon Propaganda Posted by Jörg Kantel | Permalink | | Jeder Computer ist eine Turing Maschine (und vice versa) Und viele hatten vermutet, daß Conways   Spiel des Lebens auch ein Computer sei. Hier ist der Beweis ... Beweis: A Turing Machine implemented in Conway's Game of Life . [ Trivium ] Technorati-Tags: Turing-Maschine Life Posted by Jörg Kantel | Permalink | | | SoftComputing Eine ungeheure Masse von Schwindelgeschäften Karl Marx zur aktuellen »Finanzkrise« und über wirkliches ...
    http://www.schockwellenreiter.de/2008/12/29.html
  • Soft-Computing und Artificial Intelligence -- [Der Schockwellenreiter]
    ... van I. per Email.] Technorati-Tags: Java Processing Bildverarbeitung Computergraphik Posted by Jörg Kantel | Permalink | | | SoftComputing Jeder Computer ist eine Turing Maschine (und vice versa) Und viele hatten vermutet, daß Conways   Spiel des Lebens auch ein Computer sei. Hier ist der Beweis ... Beweis: A Turing Machine implemented in Conway's Game of Life . [ Trivium ] Technorati-Tags: Turing-Maschine Life Posted by Jörg Kantel | Permalink | | | SoftComputing Montag, den 22. Dezember 2008 Python Knowledge Engine PyKE (MIT Licence) »introduces a ...
    http://www.schockwellenreiter.de/categories/softcomputing/index.html
  • Soft-Computing und Artificial Intelligence -- [Der Schockwellenreiter]
    ... van I. per Email.] Technorati-Tags: Java Processing Bildverarbeitung Computergraphik Posted by Jörg Kantel | Permalink | | | SoftComputing Jeder Computer ist eine Turing Maschine (und vice versa) Und viele hatten vermutet, daß Conways   Spiel des Lebens auch ein Computer sei. Hier ist der Beweis ... Beweis: A Turing Machine implemented in Conway's Game of Life . [ Trivium ] Technorati-Tags: Turing-Maschine Life Posted by Jörg Kantel | Permalink | | | SoftComputing Montag, den 22. Dezember 2008 Python Knowledge Engine PyKE (MIT Licence) »introduces a ...
    http://www.schockwellenreiter.de/categories/softcomputing/
  • http://informatik.unibas.ch/lehre/ss07/cs105/_Downloads/cs105-20070530-2up.pdf
    ... Ableitung eines Wortes einer Sprache finden. c Tschudin, Departement Informatik, Universit ¨at Basel CS105 - “Theorie”: 2007-05-30, 8/27 Turing–Berechenbarkeit – Definition Eine Funktion f : N!N heisst Turing-berechenbar, falls es eine Turingmaschine M gibt, so dass f¨ur n1;::: nk;m 2N gilt: f(n1;::: nk) = m ... w (ein Wort) z.B. Linksableitung etc c Tschudin, Departement Informatik, Universit ¨at Basel CS105 - “Theorie”: 2007-05-30, 10/27 Turing–Maschine: “Undefiniert = nicht-abbrechend” Vorherige Definition impliziert: Wenn eine Funktion nicht berechenbar ist, ger¨at die TM in eine ... ...
    http://informatik.unibas.ch/lehre/ss07/cs105/_Downloads/cs105-20070530-2up.pdf
  • http://informatik.unibas.ch/lehre/ss06/cs105/_Downloads/cs105-20060614-2up.pdf
    ... ist eine G¨odelisierung? c Tschudin, Departement Informatik, Universit ¨at Basel CS105 - “Theorie”, Berechen-/Entscheidbarkeit 2006-06-14, 2/28 Turing–Berechenbarkeit – Definition Eine Funktion f : N!N heisst Turing-berechenbar, falls es eine Turingmaschine M gibt, so dass f¨ur n1;::: nk;m 2N gilt: f(n1;::: nk) = m ... Wort) z.B. Linksableitung etc c Tschudin, Departement Informatik, Universit ¨at Basel CS105 - “Theorie”, Berechen-/Entscheidbarkeit 2006-06-14, 4/28 Turing–Maschine: Undefiniert=nicht-abbrechend Vorherige Definition impliziert: Wenn eine Funktion nicht berechenbar ist, ger¨at die TM in eine ... ...
    http://informatik.unibas.ch/lehre/ss06/cs105/_Downloads/cs105-20060614-2up.pdf
  • Forschungsbericht 1994-96: Arbeitsbereich Theoretische Grundlagen der Informatik (TGI)- Projekt 18.1
    ... Forschungsbericht 1994-96: Arbeitsbereich Theoretische Grundlagen der Informatik (TGI)- Projekt 18.110.11 18.110.11 Kleine Universelle Turing-Maschinen Kudlek, Manfred, Prof.Dr.; Margenstern, Maurice, Prof.Dr. (LITP, Paris); Dömösi, Pál, Prof. Dr. (Debrecen) Es wird die Grenze ... Größe und Komplexität wird näher untersucht. Ferner werden universelle Maschinen für Turingmaschinen mit beschränkter Zeit- und Band-Komplexität untersucht. Für Turing-Maschinen mit einer Teilklasse der primitiv rekursiven Funktionen als Platzkomplexität wurde eine Darstellung der primitiv rekursiven Funktionen und eine Universelle ... Eine analoge Universelle Turing-Maschine
    http://www.uni-hamburg.de/Forber/aforber/e18/e18110/p11.htm
  • http://informatik.unibas.ch/lehre/ss06/cs105/_Downloads/cs105-20060517-2up.pdf
    ... Departement Informatik, Universit ¨at Basel CS105 - “Theorie”: Pre/In/Postfix, Kellerautomat, Turingmaschine 2006-05-17, 19/24 Definition Turing-Maschine (informell) Unendliches Speicherband, beweglicher Lesekopf Endliche Kontrolleinheit: – interner Zustand – Transitionsfunktion Lesekopf Kontroll− einheit c Tschudin, Departement Informatik, Universit ¨at Basel ...
    http://informatik.unibas.ch/lehre/ss06/cs105/_Downloads/cs105-20060517-2up.pdf
  • TU Berlin - Themenmagazin Forschung Aktuell: Mensch und Maschine (10/2001)
    ... einer Künstlichen Intelligenz mit der Vision einer technischen Rekonstruktion des Menschen. Die Frage nach einer Verkörperung stellte sich auch Alan Turing in den fünfziger Jahren: "Ein Weg, unser Vorhaben, eine "denkende Maschine" zu bauen, in Angriff zu nehmen, bestünde darin, einen Menschen als Ganzes zu nehmen und zu versuchen, all ... Simulation intelligenter Leistungen das Verständnis entsprechender kognitiver Prozesse voraussetzt. Frühe Vertreter dieser beiden Positionen sind John von Neumann und Alan Turing. Der Turing-Test, bei dem es um die Simulation intelligenten Verhaltens geht und um die Unterscheidbarkeit von Mensch und
    http://www2.tu-berlin.de/forschung-aktuell/mensch-maschine/mahr.htm
  • TU Berlin - Themenmagazin Forschung Aktuell: Mensch und Maschine (10/2001)
    ... TU Berlin - Themenmagazin Forschung Aktuell: Mensch und Maschine (10/2001) Vielfalt und Transparenz für Sie   Mensch und Maschine im Film Das erste Passwort Von Clemens Schwender Ein Traum: Maschinen erledigen die Arbeit, wir sind jeder Mühe ledig. Die ... Identifizierung zu veranlassen. Der Fragesteller muss sich knifflige Fragen ausdenken. Hintergrund dieser Idee ist die ewig neue Frage: Kann eine Maschine Antworten wissen, die nur wir Menschen kennen? Filme sind frei in der Antwort. Mal kann man den Unterschied ... danach dem Kind gibt: "Ist für dich!", spielt das Kind das Spiel mit und plaudert "mit Papa". Kann das eine ...
    http://www2.tu-berlin.de/forschung-aktuell/mensch-maschine/schwender.htm
  • Literatur- & Web-Referenzen - KIfGSW: KI für Geistes- & Sozialwissenschaften - WebCompanion
    ... L. (1962). Universality of (p=2) Tag systems and a 4 symbol 7 state universal Turing machine. A.I. Memo 33 , Cambridge, MA: MIT Research Lab for Electronics. [Minskys universelle Turing-Maschine wurde hier zum ersten Mal publiziert. War bis vor kurzem die kleinste universelle Turing-Maschine. Eine ausführlichere Darstellung findet sich in Minsky 1967 ]. Minsky, M.L. (1967) . Computation: Finite and Infinite Machines ... Hall Series in Automatic Computation . Englewood Cliffs, NJ: Prentice-Hall. [Ein Klassiker zur Automatentheorie, enthält u.a. Minskys universelle Turing- ...
    http://www.zmms.tu-berlin.de/~mck/courses/KIfGSW/literatur&links.html
  • http://www.zmms.tu-berlin.de/modys/resources/Schmid&Kindsmueller1996_Glossar.pdf
    ... der Elemente der Liste (Länge der Liste) formuliert. aufzählbare Sprache Sprache die durch eine Grammatik ohne Einschränkungen erzeugt und durch Turing-Maschinen erkannt werden kann. GF7 Chomsky- Hierarchie. augmented transition network Implementationsformalismus für Parser.Jede Regel einer Grammatik wird als Automat ... Nominal- und Verbalphrase). GF7 Phrasen-Struktur-Grammatik. ausführbarer Code Programmtext eines Programms in Maschinensprache,das heißt für eine Maschine direkt ausführbar, für Menschen jedoch nicht lesbar. Aussage Die kleinste syntaktische Einheit eines logischen Kalküls (üblicher- weise der Aussagenlogik), für ... werden können. Automat Ein technisches oder abstraktes Gerät, das zu jeder Eingabe eine festgelegte Ausgabe produziert. Ein allgemeines Automatenmodell sind ...
    http://www.zmms.tu-berlin.de/modys/resources/Schmid&Kindsmueller1996_Glossar.pdf
  • TheGI1.key
    ... TheGI 1: 9. Vorlesung Berechenbarkeit Diagonalisierung Selbstanwendung 3. Januar 2006 Nestmann TheGI 1 WS 05/06 166 Mächtigkeit von Turingmaschinen ! Turing versuchte mit seinen Maschinen den “rechnenden Menschen” zu simulieren (siehe §7.1 und §7.6). ! Wo liegen die Grenzen des ... Funktionen ! 1930-1935: Church entwickelt den !-Kalkül als syntaktisches Vehikel zur Berechnung via Auswertungsregeln (Basis für LISP, ML, OPAL, ...) ! 1936: Turing stellt seine Maschinen vor ! ... und noch einige etwas weniger berühmte ... 167 Nestmann TheGI 1 WS 05/06 168 Alan Turing ... Alle genannten Berechnungsverfahren/-konzepte sind äquivalent, d.h., gleich mächtig ! ! Church’sche These (1935/36): „Alle (effektiv) berechenbaren Funktionen sind rekursiv.“ ! ...
    http://tal.cs.tu-berlin.de/lv/ws0506/thegi1_material/slides-2006-01-03_6on1.pdf
  • open theory · offene theorie: Zur Theorie des Informationskapitalismus, Teil 2
    ... Zurückweisungen eine adäquate Einteilung mit erstaunlicher Reichweite vorgenommen. Werkzeug - Sachlogik (4) Die Werkzeugmaschine vergegenständlicht den sachlogischen Aspekt des auf eine Maschine übertragenen Werkzeugs des (Manufaktur-) Handwerkers. Hier wird nicht nur einfach das Werkzeug in eine Maschine "eingespannt", sondern es wird so in die Maschine eingebracht, dass die Prozessanforderungen des jeweiligen Herstellungsschrittes sachgerecht erfüllt werden können. Anderenfalls würde das Werkzeug beschädigt, die angestrebte Produktqualität nicht ... kann in unterschiedlichen Formen vergegenständlicht werden. Die bekannteste Form ist wohl die Schriftform. Beispiele sind das Kochbuch oder die Turing-Maschine ...
    http://www.opentheory.org/info_kap_2/text.phtml
  • PhilTalk Philosophieforen - Künstliche Intelligenz (artificial life)
    ... soll nicht diskutiert werden.   Es soll untersuch werden, ob es prinzipiell möglich ist, daß der Konstrukteur, dann, wenn er die Maschine produziert hat oder konstruiert hat, eben weiß, was er getan hat, und weiß, warum sie funktioniert und wie sie funktioniert ...
    http://www.philtalk.de/msg/1039078593.htm
  • r-krell.de -- Software
    ... Datei (für den Acrobat-Reader) Download: voramor-pascal.zip 203 kB Download: voramor-java.zip 210 kB TuringMa 3.0 Turing-Maschine Informatik SII & FH/Uni TuringMa ist eine Programmier- und Entwicklungsumgebung für Turing-Maschinen und Fleißige Biber, den Lieblingsspielzeugen der Theoretischen Informatik. Der Programmablauf kann schrittweise verfolgt werden. SAA-Oberfläche, kontextsensitive Hilfe, Literaturhinweise ...
    http://home.arcor.de/rkrell/soft.htm
  • http://informatik.unibas.ch/lehre/ss06/cs105/_Downloads/cs105-20060607-2up.pdf
    ... Informatik, Universit¨at Basel Wiederholung/Einstieg 1. Wie k¨onnen Turingmaschinen “komponiert” (zusammengeh¨angt) werden? 2. Wie sieht eine WHILE-Maschine aus? 3. Was ist ein LOOP-Programm? Was ist ihr Bezug zur Turingmaschine? 4. Was sind primitiv-rekursive Funktionen? Was ... Variablen-Werte auf einen Wert f¨ur die Anfangskonfiguration abgebildet werden? Genereller Rahmen auch als “G¨odelisierung” bekannt. Grundidee: Jeder (Turing-)Maschine T eine Zahl n = G(T) zuordnen so dass aus einer gegebenen G¨odelzahl n die Maschine T = G 1(n) rekonstruiert werden kann Kodierung und Dekodierung kann mit LOOP-Programmen erfolgen! c Tschudin, Departement Informatik, Universit ...
    http://informatik.unibas.ch/lehre/ss06/cs105/_Downloads/cs105-20060607-2up.pdf
  • Europastudien Wien
    ... dessen Richtigkeit zu bestätigen). Damit lässt sich jeder „ Vorgang, der formal [auf diese Weise] beschreibbar ist, ... als Operation einer symbolischen Maschine [darstellen und kann] – im Prinzip – von einer wirklichen Maschine ausgeführt werden. “ Krämer führt dazu weiter aus: „ Formalisierung – im Sinne der Beschreibung in den Termini einer formalen Sprache ... auch mechanisierbar. “ Das Medium der Mechanisierung dieser formalisierten Prozeduren ist demgegenüber zweitrangig und reicht von der rein gedanklichen Vorstellung der Turing-Maschine (im übrigen die in theoretischer Hinsicht allgemeinste Fassung des Konzepts) über mechanische Designs (etwa Konrad Zuse s Rechenmaschinen ... ...
    http://uchida.dac.univie.ac.at/lehre/ws2006/europa/einheit1_intro.htm
  • Theorie der Informatik (CS 105) - FS08
    ... Sprachen   2008-04-09 cs105-20080409-2up.pdf Busy Beaver: Problembeschreibung ( PostScript ), neuste Ergebnisse zu Sigma(n) und S(n) Turing Maschine, Busy Beaver, LOOP-Programme   2008-04-16 cs105-20080416-2up.pdf primitiv-rekursive Fkt, WHILE und GOTO-Programme   2008-04 ...
    http://informatik.unibas.ch/lehre/fs08/cs105/_Downloads/index.html
Impressum