COMPUTER ARCHITECTURE AND THE CYNAIDE COATED APPLE.

Slides:



Advertisements
Similar presentations
The Turing Machine A definition of computability by Noah Richards.
Advertisements

Turing Machines Memory = an infinitely long tape Persistent storage A read/write tape head that can move around the tape Initially, the tape contains only.
CS 345: Chapter 9 Algorithmic Universality and Its Robustness
Class 39: Universality cs1120 Fall 2009 David Evans University of Virginia.
Simulating a modern computer by a Turing machine and vice versa CS 6800 Instructor: Dr. Elise de Doncker By Shweta Gowda Saikiran Ponnam.
Computability and Complexity 3-1 Turing Machine Computability and Complexity Andrei Bulatov.
Turing Machines CS 105: Introduction to Computer Science.
Theory of Computation. Computation Computation is a general term for any type of information processing that can be represented as an algorithm precisely.
Design and Analysis of Algorithms
Presented by Ravi Teja Pampana
AUTOMATA THEORY VIII.
Lecture 14: Church-Turing Thesis Alonzo Church ( ) Alan Turing ( )
Turing Machines A more powerful computation model than a PDA ?
Context-Free Languages Regular Languages Violates Pumping Lemma For RLs Violates Pumping Lemma For CFLs Described by CFG, PDA 0n1n0n1n 0n1n2n0n1n2n Described.
Host and Application Security Lesson 3: What is Information?
The Turing machine Olena Lastivka. Definition Turing machine is a theoretical device that manipulates symbols on a strip of tape according to a table.
1 CO Games Development 2 Week 21 Turing Machines & Computability Gareth Bellaby.
MARC: Developing Bioinformatics Programs July 2009 Alex Ropelewski PSC-NRBSC Bienvenido Vélez UPR Mayaguez Reference: How to Think Like a Computer Scientist:
1 The Halting Problem and Decidability How powerful is a TM? Any program in a high level language can be simulated by a TM. Any algorithmic procedure carried.
Spring 2006ICOM 4036 Programming Laguages Lecture 2 1 The Nature of Computing Prof. Bienvenido Velez ICOM 4036 Lecture 2.
Dale Roberts Department of Computer and Information Science, School of Science, IUPUI CSCI 230 Models of Computation - Turing Machines Dale Roberts, Lecturer.
Alan Turing WWII code-breaker mathematical proof of ‘Turing machines’ …in particular, “Universal Turing machine” laid foundations of computer science father.
Halting Problem Introduction to Computing Science and Programming I.
CSE 311 Foundations of Computing I Lecture 26 Computability: Turing machines, Undecidability of the Halting Problem Spring
CSE 311 Foundations of Computing I Lecture 29 Computability: Turing machines, Undecidability of the Halting Problem Autumn 2012 CSE 3111.
The Nature of Computing INEL 4206 – Microprocessors Lecture 3 Bienvenido Vélez Ph. D. School of Engineering University of Puerto Rico - Mayagüez.
The Nature of Computing INEL 4206 – Microprocessors Lecture 2 Bienvenido Vélez Ph. D. School of Engineering University of Puerto Rico - Mayagüez.
Computer Science 101 Theory of Computing. Computer Science is... The study of algorithms, with respect to –their formal properties –their linguistic realizations.
Complexity & Computability. Limitations of computer science  Major reasons useful calculations cannot be done:  execution time of program is too long.
Computation Motivating questions: What does “computation” mean? What are the similarities and differences between computation in computers and in natural.
Computer Theory Michael J. Watts
Capabilities of computing systems Numeric and symbolic Computations A look at Computability theory Turing Machines.
CS 3240: Languages and Computation
Turing Machines Lecture 26 Naveen Z Quazilbash. Overview Introduction Turing Machine Notation Turing Machine Formal Notation Transition Function Instantaneous.
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.
MARC ProgramEssential Computing for Bioinformatics 1 The Nature of Computing Prof. Bienvenido Velez ICOM 4995 Lecture 3.
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,
1 Introduction to Turing Machines
On computable numbers, with an application to the ENTSCHEIDUNGSPROBLEM COT 6421 Paresh Gupta by Alan Mathison Turing.
Spring, 2011 –– Computational Thinking – Dennis Kafura – CS 2984 Lambda Calculus Introduction.
Donghyun (David) Kim Department of Mathematics and Computer Science North Carolina Central University 1 Chapter 5 Reducibility Some slides are in courtesy.
MARC: Developing Bioinformatics Programs Alex Ropelewski PSC-NRBSC Bienvenido Vélez UPR Mayaguez Reference: How to Think Like a Computer Scientist: Learning.
Chapter 9 Turing Machines What would happen if we change the stack in Pushdown Automata into some other storage device? Truing Machines, which maintains.
CS 154 Formal Languages and Computability April 5 Class Meeting Department of Computer Science San Jose State University Spring 2016 Instructor: Ron Mak.
David Evans CS200: Computer Science University of Virginia Computer Science Class 26: Halting Problem It is plain at any.
Chapter I: Introduction to Computer Science. Computer: is a machine that accepts input data, processes the data and creates output data. This is a specific-purpose.
Fall 2013 Lecture 27: Turing machines and decidability CSE 311: Foundations of Computing.
Modeling Arithmetic, Computation, and Languages Mathematical Structures for Computer Science Chapter 8 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesTuring.
Introduction to Computing Science and Programming I
Turing Machines Finite State Machines.
COSC 3340: Introduction to Theory of Computation
CSE 311 Foundations of Computing I
IS 2150 / TEL 2810 Introduction to Security
LIMITS OF ALGORITHMIC COMPUTATION
1.#.
Turing Machines (At last!).
Chapter 9 TURING MACHINES.
Finite State Machines.
Jaya Krishna, M.Tech, Assistant Professor
IS 2150 / TEL 2810 Information Security & Privacy
Theory of Computation Turing Machines.
COSC 3340: Introduction to Theory of Computation
Algorithmic Complexity and Random Strings
Recall last lecture and Nondeterministic TMs
P.V.G’s College of Engineering, Nashik
The Nature of Computing
Lecture One: Automata Theory Amjad Ali
CO Games Development 2 Week 21 Turing Machines & Computability
IS 2150 / TEL 2810 Introduction to Security
Presentation transcript:

COMPUTER ARCHITECTURE AND THE CYNAIDE COATED APPLE

FATHER OF THEORITICAL COMPUTER SCIENCE AND ARCHITECTURE FORMALISATION OF CONCEPTS OF CONCEPTS OF ALGORITHM AND COMPUTATION WITH TURING MACHINES – A MODEL OF GENERAL PURPOSE COMPUTERS

Entscheidungsproblem DAVID HILBERT DECISION PROBLEM A STATEMENT IS VALID ONLY IF IT CAN BE DEDUCED FROM AXIOMS VALIDITY OF PROPOSITIONS FIRST ORDER LOGIC ALGORITHM UNIVERSALLY VALID?

IT’S RAINING WHEN IT IS RAINING. IT’S RAINING WHEN IT IS NOT RAINING. WHAT IS COMPUTABLE? ALONZO CHURCH + ALAN M TURING: “SOLUTION TO DECISION PROBLEM IS IMPOSSIBLE.”

TURING MACHINE Can mathematically describe any operation a computer can perform using a few rules 1936 Not physical...abstract mathematical objects Applications in math and C.Sc as simple yet powerful explanatory tools Can describe infinitely many operations, though not every conceivable one Developed in the process of solving Entscheidungsproblem Its implementation...led to stored program concept

Alphabets Tape Alphabets STRIP OF TAPE: TAPE/MEMORY PARTS: It is of infinite length and divided into an infinite number of cells. Holds a character/symbol replaced by the read/write head ... ... Read/write head cell Input During an operation, the tape can move or not at all to adjust the head. > 1 0 1 1 0 < ... ... Start End Blank Space Alphabets Tape Alphabets Σ = {0,1} Ґ = Σ U { >, < , ~ )

Tape- input /output device and storage medium for information States:

A state register that stores the state of the Turing machine, one of finitely many. Among these is the special start state with which the state register is initialized. These states, writes Turing, replace the "state of mind" a person performing computations would ordinarily be in. A finite table[19] of instructions[20] that, given the state(qi) the machine is currently in and the symbol(aj) it is reading on the tape (symbol currently under the head), tells the machine to do the following in sequence (for the 5-tuple models): Either erase or write a symbol (replacing aj with aj1), and then Move the head (which is described by dk and can have values: 'L' for one step left or 'R' for one step right or 'N' for staying in the same place), and then Assume the same or a new state as prescribed (go to state qi1)

Led to the development of modern computers ... ... Read, write and move... ... ... In computer science, a universal Turing machine (UTM) is a Turing machine that can simulate an arbitrary Turing machine on arbitrary input. The universal machine essentially achieves this by reading both the description of the machine to be simulated as well as the input thereof from its own tape. Alan Turing introduced this machine in 1936–1937. This model is considered by some (for example, Martin Davis (2000)) to be the origin of the stored program computer—used by John von Neumann (1946) for the "Electronic Computing Instrument" that now bears von Neumann's name: the von Neumann architecture.

SOLUTION TO THE HILBERT DECISION PROBLEM HALTING PROBLEM ENTSCHEIDUNGSPROBLEM UNDECIDABLE FOR TURING MACHINES

AUTOMATIC COMPUTING ENGINE AT BLETCHLEY PARK AUTOMATIC COMPUTING ENGINE AT BLETCHLEY PARK...AN IMPLEMNTATION OF THE UNIVERSAL TURING MACHINE

YOGA FOR YOUR PATIENCE LEVELS....A SHORT VIDEO FOLLOWING WHICH I WILL THANK ALL OF YOU