Chapter 3 - The World of Simple Programs Wolfram, Stephen. A New Kind of Science. Wolfram Media, Inc. 2002. www.xiscanoe.org.

Slides:



Advertisements
Similar presentations
Relación entre la notación formal y la notación gráfica de un autómata finito M = < Q, , , q0, F >   M = < { q0, q1, q2, q3 }, { 0, 1 }, { (q0, 0, q2),
Advertisements

CS 345: Chapter 9 Algorithmic Universality and Its Robustness
Natural Language Processing - Formal Language - (formal) Language (formal) Grammar.
THE CHURCH-TURING T H E S I S “ TURING MACHINES” Pages COMPUTABILITY THEORY.
Chapter 2 - The Crucial Experiment Wolfram, Stephen. A New Kind of Science. Wolfram Media, Inc
CSCI 4325 / 6339 Theory of Computation Zhixiang Chen Department of Computer Science University of Texas-Pan American.
Cellular Automata (Reading: Chapter 10, Complexity: A Guided Tour)
Peter van Emde Boas: Games and Computer Science 1999 Speed-up and Compression Theoretical Models 1999 Peter van Emde Boas References available at:
CELLULAR AUTOMATON Presented by Rajini Singh.
Based on Slides by Zeph Grunschlag from Columbia University www1.cs.columbia.edu/~zeph/3261/L14/L14.ppt Basic Computability Reading Material: J. Savage,

Fall 2006Costas Busch - RPI1 Non-Deterministic Finite Automata.
The Effect of Coding on Computation Adina Lederhendler Topics in Biological Physics 23/12/08 Shannon: A universal Turing machine with two internal states.
Costas Busch - RPI1 CSCI-2400 Models of Computation.
Turing Machines CS 105: Introduction to Computer Science.
Costas Busch - LSU1 Non-Deterministic Finite Automata.
A New Kind of Science in a Nutshell David Sehnal QIPL at FI MU.
A New Kind of Science Chapter 3 Matthew Ziegler CS 851 – Bio-Inspired Computing.
Two Dimensions and Beyond From: “ A New Kind of Science” by Stephen Wolfram Presented By: Hridesh Rajan.
AUTOMATA THEORY VIII.
The Role of Artificial Life, Cellular Automata and Emergence in the study of Artificial Intelligence Ognen Spiroski CITY Liberal Studies 2005.
Turing Machines Chapter Plan Turing Machines(TMs) – Alan Turing Church-Turing Thesis – Definitions Computation Configuration Recognizable vs. Decidable.
Autonomous DNA Nanomechanical Device Capable of Universal Computation and Universal Translational Motion Peng Yin*, Andrew J. Turberfield †, Sudheer Sahu*,
Governor’s School for the Sciences Mathematics Day 13.
The Turing machine Olena Lastivka. Definition Turing machine is a theoretical device that manipulates symbols on a strip of tape according to a table.
CSCI 2670 Introduction to Theory of Computing September 28, 2005.
10/21/2015University of Virginia Implications for Everyday Systems Presented by Selvin George A New Kind of Science (Ch. 8) By Stephen Wolfram.
Cellular Automata & DNA Computing 우정철. Definition Of Cellular Automata Von Von Neuman’s Neuman’s Definition Wolfram’s Wolfram’s Definition Lyman.
Generation Grammars in Design. http:
Cellular Automata. John von Neumann 1903 – 1957 “a Hungarian-American mathematician and polymath who made major contributions to a vast number of fields,
Halting Problem Introduction to Computing Science and Programming I.
Turing Machines Chapter 17. Languages and Machines SD D Context-Free Languages Regular Languages reg exps FSMs cfgs PDAs unrestricted grammars Turing.
THE CHURCH-TURING T H E S I S “ TURING MACHINES” Part 1 – Pages COMPUTABILITY THEORY.
David Evans cs302: Theory of Computation University of Virginia Computer Science Lecture 16: Universality and Undecidability.
Fibonacci Numbers, Vector Programs and a new kind of science.
A New Kind of Science by Stephen Wolfram Principle of Computational Equivalence - Ting Yan,
Models of Computation. Computation: Computation is a general term for any type of information processing information processing CPU memory.
1Computer Sciences Department. Book: INTRODUCTION TO THE THEORY OF COMPUTATION, SECOND EDITION, by: MICHAEL SIPSER Reference 3Computer Sciences Department.
Cellular Automata FRES 1010 Eileen Kraemer Fall 2005.
Cellular Automata Martijn van den Heuvel Models of Computation June 21st, 2011.
Cellular Automata BIOL/CMSC 361: Emergence 2/12/08.
Fundamentals of Informatics Lecture 3 Turing Machines Bas Luttik.
CS 3813: Introduction to Formal Languages and Automata Chapter 13 Other Models of Computation These class notes are based on material from our textbook,
1 Cellular Automata What could be the simplest systems capable of wide-ranging or even universal computation? Could it be simpler than a simple cell?
1 Section 13.1 Turing Machines A Turing machine (TM) is a simple computer that has an infinite amount of storage in the form of cells on an infinite tape.
1 IDT Open Seminar ALAN TURING AND HIS LEGACY 100 Years Turing celebration Gordana Dodig Crnkovic, Computer Science and Network Department Mälardalen University.
1 Turing Machines and Equivalent Models Section 13.1 Turing Machines.
Automata & Formal Languages, Feodor F. Dragan, Kent State University 1 CHAPTER 3 The Church-Turing Thesis Contents Turing Machines definitions, examples,
How Does Turing Machine Think? Example Chaoyang Li RULE’S If read 1, write 0, go right, repeat. If read 0, write 1, HALT! If read , write 1, HALT! Let’s.
1 Igor Burdonov Alexander Kossatchev Building direct and back spanning trees by automata on a graph The Institute for System Programming (ISP) of the Russian.
1 Turing Machines. 2 The Language Hierarchy Regular Languages Context-Free Languages ? ?
A Small Universal Splicing P System A. Alhazov, Y. Rogozhin, S. Verlan HiroshimaParis Chi ş in ă u.
MA/CSSE 474 Theory of Computation Universal Turing Machine Church-Turing Thesis Delayed due dates for HWs See updated schedule page. No class meeting.
CSE202: Introduction to Formal Languages and Automata Theory
Introduction to Computing Science and Programming I
Turing Machines Finite State Machines.
ماشین های تورینگ، تشخیص پذیری و تصمیم پذیری زبان ها
Illustrations of Simple Cellular Automata
CSCI 2670 Introduction to Theory of Computing
OTHER MODELS OF TURING MACHINES
Turing Machine
Modeling Computation:
Chapter 3: The CHURCH-Turing thesis
Jaya Krishna, M.Tech, Assistant Professor
CSCI-2400 Models of Computation Costas Busch - RPI.
Alexei Fedorov January, 2011
Cellular Automata.
Non-Deterministic Finite Automata
Von Neumann’s Automaton and Viruses
Chapter 2 - The Crucial Experiment
Presentation transcript:

Chapter 3 - The World of Simple Programs Wolfram, Stephen. A New Kind of Science. Wolfram Media, Inc

the search for general features Há padrões comportamentais entre os autômatos? Há um número ilimitado de padrões? O número de padrões é finito? É enumerável?

totatilistic automatas the idea of a totatilistic rule is to take the new color of each cell to depend only on the average color of neighboring cells, and not on their individual colors.

mobile automata A class of automata similar to cellular automata but which have a single "active" cell instead of updating all cells in parallel. In a mobile automaton, the evolution rules apply only to the active cell, and also specify how the active cell moves from one generation to the next. All cells that are not active remain the same from one generation to the next. Mobile automata can therefore be considered a hybrid between elementary cellular automata and Turing machines.cellular automata elementary cellular automataTuring machines

automatas as turing machines A Turing machine which, by appropriate programming using a finite length of input tape, can act as any Turing machine whatsoever. In his seminal paper, Turing himself gave the first construction for a universal Turing machine (Turing 1937, 1938). Shannon (1956) showed that two colors were sufficient, so long as enough states were used. Minsky (1962) discovered a 7-state 4-color universal Turing machine, illustrated above (Wolfram 2002, p. 706). Note that the 20th rule specifies that the Turing machine should halt, as indicated by leaving the head stationary and not changing its state. Upon conversion to a 2-color machine, Minsky's universal Turing machine requires 43 states.Turing machineTuring machine706

other machines Substitution systems Tag Systems Register Machines Symbolic Systems!!