Effective Abstract State Machines
|
|
- Thomasine Maxwell
- 6 years ago
- Views:
Transcription
1 Effective Abstract State Machines Nachum Dershowitz w/ Udi Boker & Yuri Gurevich February 2007
2 Church-Turing Thesis - All effective computational models are equivalent to, or weaker than, Turing machines. We need to formalize these notions
3 Abstract State Machines Assuming bounded exploration, runs are computable if the initial state is The initial state may contain uncomputable oracles
4 Martin Davis If non-computable inputs are permitted, then non-computable outputs are attainable.
5 Three Directions Initial state is arithmetic plus constants [Yuri] Initial state has decidable interpretation-induced equivalence on term-generated part [Wolfgang] Initial state contains only finite information [Udi]
6 G & D Church s Thesis is implied by the Sequential ASM Thesis
7 Mechanization
8 Ramon Lull (1274) Raymondus Lullus Ars Magna et Ultima
9 Leibniz (1666) The only way to rectify our reasonings is to make them as tangible as those of the Mathematician, so that we can find our error at a glance, and when there are disputes among persons, we can simply say: Let us calculate, without further ado, in order to see who is right.
10 Charles Babbage (1871) Arithmetic and printing units completed by son in Calculated first 25 multiples of π to 29 decimal places.
11 Ada Lovelace (1843) [The Analytical Engine is for] developing and tabulating any function whatever. The engine [is] the material expression of any indefinite function of any degree of generality and complexity.
12 Not Just For Numbers The bounds of arithmetic were however outstepped the moment the idea of applying the cards had occurred; and the Analytical Engine does not occupy common ground with mere "calculating machines." In enabling mechanism to combine together general symbols in successions of unlimited variety and extent, a uniting link is established between the operations of matter and the abstract mental processes of the most abstract branch of mathematical science. A.A.L.
13 f(n)={ 1 n=0 n f(n-1) otherwise Kurt Gödel (1930s)
14 Models of Computation
15 Program Input Model Output Memory
16 Axel Thue (1910) A. Markov ab bbaa
17 Turing Machines
18 a b a a b b B B B
19 a b a a a b B B B
20 R L 0? H!
21 My favorite computer
22 + +?? !
23 ? -? +! + - +
24 Equivalence of Models TM 2 TM [ 1 tape; 2 channels ] CM 2 TM 2 [ BBB... ] CM n CM 2 [ 2 i 3 j 5 k 7 l... ] RAM CM n [ 2 x (2y+1) ] Scheme RAM [ Abelson & Sussman ] TM Scheme [ Interpreter ]
25 Effectiveness
26 David Hilbert s Entscheidungsproblem #2. Provide an effective method to determine if a formula is valid.
27 Jules Henri Poincaré We might imagine a machine where we should put in axioms at one end and take out theorems at the other, like that legendary machine in Chicago where pigs go in alive and come out transformed into hams and sausages.
28 f(n)={ 1 n=0 n f(n-1) otherwise Kurt Gödel (1930s)
29 Alonzo Church (1936) [We] propose a definition of effective calculability which is thought to correspond satisfactorily to [a] somewhat vague intuitive notion...
30 Alonzo Church (1936) We now define... the notion of effective calculable function of the positive integers by identifying it with the notion of a recursive function of the positive integers.
31 Emil Leon Post (1936) To mask this identification under a definition... blinds us to the need of its continual verification.
32 Church (1941) Lambda Calculus λx. (x x)
33 Church The fact that two such widely different equally natural definitions of effective calculability turn out to be equivalent adds to the strength of the reasons for believing that they constitute as general a characterization of this notion as is consistent with the usual intuitive understanding of it.
34 Church s Thesis Recursive functions capture effective computability.
35 Alan Turing (1936) A man provided with paper, pencil, and rubber, and subject to strict discipline, is in effect a universal machine.
36 Alan Turing (1936) The theorem that all effectively calculable sequences are computable and its converse are proved...
37 Turing (1948) Logical Computing Machines can do anything that could be described as rule of thumb or purely mechanical. This is sufficiently well established that it is now agreed amongst logicians that calculable by means of an LCM is the correct rendering of such phrases.
38 Turing s Thesis Turing Machines capture mechanical human computation.
39 Kleene (1936) So Turing s and Church s theses are equivalent. We shall usually refer to them both as Church s thesis, or in connection with that one of its... versions which deals with Turing machines as the Church-Turing thesis.
40 Church-Turing Thesis - All effective computational models are equivalent to, or weaker than, Turing machines.
41 Laszlo Kalmár (1959) There are premathematical concepts which must remain [so]... Among these belong... such concepts as that of effective calculability... the extension of which cannot cease to change during the development of mathematics.
42 Princeton Course The definition of a Turing machine is very complete. Multiple heads Multiple tapes Multiple states Multiple directions Multiple dimensions Multiple worlds
43 The Turing Tarpit Thue systems Post systems Lambda calculi Partial recursion Turing machines Markov normal algorithms Minsky counter machines Type 0 languages Kolmogorov-Uspenskii machines Neuring machines Wang machines Random access machines Quantum computers Billiard ball computers Least fixpoints Fortran, Algol, Lisp, C, Pascal, Logo, Ada, Java,...
44 Bernard Moret The remarkable result about these varied models is that all of them define exactly the same class of computable functions: whatever one model can compute, all the others can too!
45 Martin Davis How can we ever exclude the possibility of our presented, some day (perhaps by some extraterrestrial visitors), with a (perhaps extremely complex) device or oracle" that computes" an uncomputable function?"
46 Plan Prove that any model of computation over any (countable first-order) structure that satisfies effectiveness axioms can be simulated (up to isomorphism) by a Turing machine.
47 Extensional View Turing-machine model is TM = {{a,b} * ; f 1, f 2,...}. {a,b}* Input T M f 1 f 2 Output {a,b}*
48 TM ASM domain is alphabet plus states plus finitely written infinite tapes over alphabet if head(tape)=a and state=q then tape := left/right(write(b,tape)) state := r left, right, head, and write are given in initial state
49 Initial State left(ab^cbb...) = a^bcbb... right(ab^cbb...) = abc^bb... write(a,ab^cbb...) = ab^abb... head(ab^cbb...) = c
50
51 Wolfgang Reisig Follows that: ASM computation is effective iff initial state has decidable interpretation-induced equivalence on term-generated part
52 Axiomatics
53 Agenda If Ax = M, then TM > M That is, the Church-Turing Thesis One definition is worth three theorems. --Alfred Adler (New Yorker)
54 Church to Kleene (1935) [Gödel thought] that it might be possible... to state a set of axioms which would embody the generally accepted properties of [effective calculability], and to do something on that basis.
55 Joseph Shoenfield (1993) It may seem that it is impossible to give a proof of Church s Thesis. However, this is not necessarily the case. We can write down some axioms about computable functions which most people would agree are evidently true. It might be possible to prove Church s Thesis from such axioms.
56 Turing s Axioms Sequential symbol manipulation Deterministic Finite internal states Finite symbol space Finite observability and local action Linear external memory
57 Deterministic The behavior at any moment is determined by the symbols which he is observing and his state of mind at the moment
58 Finite Internal States If we admitted an infinity of states of mind, some of them will be arbitrarily close and will be confused
59 Finite Alphabet If we were to allow an infinity of symbols, then there would be symbols differing to an arbitrary small extent
60 Finiteness and Localness [Operations] so elementary that it is not easy to imagine them further divided Can only observe a finite number of symbols at each step
61 Linear External Memory The two-dimensional character of paper is no essential of computation
62 Robin Gandy (1980) States can be described by hereditarily finite sets The rank of these sets is bounded Machines can be assembled unambiguously from individual parts of bounded size Causation is local
63 Goal Representation-independent axioms Church uses numbers Turing uses string representation Gandy uses finite set representation ASMs use any structure
64 Abstract Effective Models An (abstract) effective computational model is any set of sequential (partial) state-transition algorithms with finite initial data over a fixed, finitelygenerated, domain.
65 Donald Knuth (1968) A computational method consists of: 1. States Q 2. Input I Q 3. Output O Q 4. Transitions τ : Q Q
66 Algorithm = Transition System I Q O State encapsulates all system data.
67 Church An algorithm consists of a method by which... a sequence of expressions (in some notation)... can be obtained; [each of which] is effectively calculable [given all prior expressions]; and where... the fact that the algorithm has terminated becomes effectively known and the [output] is effectively calculable.
68 Yuri Gurevich (2000) Abstract State Machines State-transition model Any first-order structure Output is the stable state
69 ASM Thesis Abstract state machines capture effective computations.
70 Abstract States 1. States are algebras (first-order structures). 2. Vocabulary does not change. Carrier fixed during computation. 3. States and transition functions are closed under isomorphism. 4. The glossary of control terms (vocabulary-terms that determine transitions) is of bounded size.
71 Procedures A procedure is a sequential algorithm, in which the initial states of all runs are the same, except for some constant In.
72 ASM Theorem Any (sequential) program satisfying these postulates is emulated by some ASM.
73 ASMT CT If initial state has only basic arithmetic (N,0,1,+,x,=,<), then any ASM computes a partial recursive function, and there s an ASM for each. If initial state has 0,succ,T, undefined pred and =, and 3 variables, plus input(s), then all ASM programs give all partial recursive functions.
74 Effectiveness Axiom 4. An effective procedure is one in which the shared part comprises a base structure (Herbrand universe) an almost finite structure (all but finitely many locations are equal)
75 Base Structure Every element is the value of a unique term. It is isomorphic to the free term algebra. If one wants more than one name, then one must program them
76 Examples of Base Structures A = {N; 0, S} 0 S(0) S(S(0)) B = {binary trees; nil, cons} cons(nil,nil) nil cons(cons(nil,nil),cons(nil,nil)) cons(nil,cons(nil,nil))
77 Almost-Finite Structure A structure is almost-finite if all but a finite number of locations have the same value. Example, f (0)=2, f (1)=5, f (n >1)=
78 We get rid of ASM s Booleans equality undefined If you want them, then program them.
79 Effective Procedure An effective procedure consists of Σ finite signature; In, Out Σ D countable domain B base structure F almost-finite structure S the states, a set of structures S 0 S initial states. S 0 = B + F + {In} τ : S S transition function, closed under isomorphism T glossary, finite set of Σ-terms that determine transitions
80 Effective Models An effective model is a set of effective procedures sharing the same base structure
81 Main Claim Any effective model can be simulated by a Turing machine.
82 Proving the Thesis
83 Church-Turing Theorem 1. Turing machines are effective 2. Turing Machines simulate (up to isomorphism) all effective models
84 Effectiveness Turing machines are effective Counter machines are effective Etc.
85 TMs are Effective domain = {a,b} * B base structure = B, a:, b: a-c structure In, Out,??? glossary {state,head(tape), }
86 Transition Function (One lousy version) if q = q0 if Head(Right) = a Left := a:left Right := Tail(Right) q := q3 Tail(b:Left) := Left Head(b:Left) := b if Head(Right) = b Left := Tail(Left) Right := a:right q := q1 Tail(a:Right) := Right Head(a:Left) := a if q = q1... ** initialization code ** if q = qf % the halting state Out := Right
87 Counter Machines
88 Church-Turing Theorem 1. Turing machines are effective 2. Turing Machines simulate (up to isomorphism) all effective models That is, TM E for every model E ~ > satisfying the effectiveness axioms.
89 Simulation D f D ρ ρ D' f ' D' ρ is a bijection ρ y = iff y =
90 Example TM Rec π : N 1* [Tally numbers] π : Σ* N [Radix numbers]
91 Proof Steps 1. ASM Sequential algorithm 2. ASM with effective domain computer program 3. computer program TM
92 ASMs ASM program: conditional equations if a 1 =b 1 then c 1 :=d 1... if a k =b k then c k :=d k Gurevich: Every sequential algorithm has an equivalent ASM program
93 Domain is Programmable Let π : F N be a recursive enumeration of the free Σ-term algebra F Program a Σ-algebra over N inductively: [f (n 1,,n k )] := π (f (π -1 (n 1 ),, π -1 (n k )))
94 Example Σ = {a,b,f,g} π = a b f(a) f(b) g(a) g(b) f(f(a)) f(f(b)) f(g(a)) f(g(b)) then f (5)=9
95 Necessity Sequential time is necessary, since transfinite computations can be hypercomputational. First-order structures are necessary to preclude infinitary functions, like limits. With unbounded exploration, programs could perform infinite lookup. Isomorphism invariance is needed for bounded exploration. Without limiting the initial data, an oracle could be included in initial states.
96 Conclusion Super-recursive ability requires one of: Uncountable domain and/or continuous transition Infinite initial information Infinite program or unbounded work
97 Problems
98 Yuri s Problem Good Bad r s Bad Good
99 Angelic Automata Good Bad Lucifer Bad Gabriel Good
100 Isomorphism Isomorphic structures have the same computational power x x f f (x ) Mapping A ~ A f f (x ) 101 f f 6
101 My Problem Who says that TMs can t simulate super-turing devices?!
102 Hartley Rogers, Jr. The use of codings raises an immediate question of invariance. Once a coding is chosen, will the formal concept partial recursive function on code numbers correspond to the informal notion algorithmic mapping on the uncoded expressions?... Church s thesis provides an affirmative answer.
103 Potential Problems 1. Information can be hidden in a mapping 2. Different mappings can have opposite effects mapping #1 A B mapping #2
104 Mark Burgin To show that [Inductive Turing machines] are more powerful [than ordinary TMs], we need to find a problem solvable by an ITM and insolvable by a TM.
Gottfried Wilhelm Leibniz (1666)
Euclid (c. -300) Euclid s GCD algorithm appeared in his Elements. Formulated geometrically: Find common measure for 2 lines. Used repeated subtraction of the shorter segment from the longer. Gottfried
More informationProving Church s Thesis. Nachum Dershowitz w/ Yuri Gurevich
Proving Church s Thesis Nachum Dershowitz w/ Yuri Gurevich What is the thesis? Church s Thesis (1936) Recursive functions capture effective computability Recursive Functions Partial functions on natural
More informationIntroduction to Turing Machines
Introduction to Turing Machines Deepak D Souza Department of Computer Science and Automation Indian Institute of Science, Bangalore. 12 November 2015 Outline 1 Turing Machines 2 Formal definitions 3 Computability
More informationCS187 - Science Gateway Seminar for CS and Math
CS187 - Science Gateway Seminar for CS and Math Fall 2013 Class 3 Sep. 10, 2013 What is (not) Computer Science? Network and system administration? Playing video games? Learning to use software packages?
More informationModels. Models of Computation, Turing Machines, and the Limits of Turing Computation. Effective Calculability. Motivation for Models of Computation
Turing Computation /0/ Models of Computation, Turing Machines, and the Limits of Turing Computation Bruce MacLennan Models A model is a tool intended to address a class of questions about some domain of
More informationFundamentals of Computer Science
Fundamentals of Computer Science Chapter 8: Turing machines Henrik Björklund Umeå University February 17, 2014 The power of automata Finite automata have only finite memory. They recognize the regular
More informationComputability Theory. CS215, Lecture 6,
Computability Theory CS215, Lecture 6, 2000 1 The Birth of Turing Machines At the end of the 19th century, Gottlob Frege conjectured that mathematics could be built from fundamental logic In 1900 David
More informationFinite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018
Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018 Lecture 15 Ana Bove May 17th 2018 Recap: Context-free Languages Chomsky hierarchy: Regular languages are also context-free; Pumping lemma
More informationTHE CONSTRUCTIVE SECOND NUMBER CLASS*
224 ALONZO CHURCH [April THE CONSTRUCTIVE SECOND NUMBER CLASS* ALONZO CHURCH The existence of at least a vague distinction between what I shall call the constructive and the non-constructive ordinals of
More informationAutomata Theory. Definition. Computational Complexity Theory. Computability Theory
Outline THEORY OF COMPUTATION CS363, SJTU What is Theory of Computation? History of Computation Branches and Development Xiaofeng Gao Dept. of Computer Science Shanghai Jiao Tong University 2 The Essential
More informationDecidability: Church-Turing Thesis
Decidability: Church-Turing Thesis While there are a countably infinite number of languages that are described by TMs over some alphabet Σ, there are an uncountably infinite number that are not Are there
More informationCOMP-330 Theory of Computation. Fall Prof. Claude Crépeau. Lec. 16 : Turing Machines
COMP-330 Theory of Computation Fall 2017 -- Prof. Claude Crépeau Lec. 16 : Turing Machines COMP 330 Fall 2017: Lectures Schedule 1-2. Introduction 1.5. Some basic mathematics 2-3. Deterministic finite
More informationMost General computer?
Turing Machines Most General computer? DFAs are simple model of computation. Accept only the regular languages. Is there a kind of computer that can accept any language, or compute any function? Recall
More informationCS 301. Lecture 17 Church Turing thesis. Stephen Checkoway. March 19, 2018
CS 301 Lecture 17 Church Turing thesis Stephen Checkoway March 19, 2018 1 / 17 An abridged modern history of formalizing algorithms An algorithm is a finite, unambiguous sequence of steps for solving a
More informationLimits of Computation
The real danger is not that computers will begin to think like men, but that men will begin to think like computers Limits of Computation - Sydney J. Harris What makes you believe now that I am just talking
More informationRecap (1) 1. Automata, grammars and other formalisms can be considered as mechanical devices to solve mathematical problems
Computability 1 Recap (1) 1. Automata, grammars and other formalisms can be considered as mechanical devices to solve mathematical problems Mathematical problems are often the formalization of some practical
More informationCOMP-330 Theory of Computation. Fall Prof. Claude Crépeau. Lec. 14 : Turing Machines
COMP-330 Theory of Computation Fall 2012 -- Prof. Claude Crépeau Lec. 14 : Turing Machines 1 COMP 330 Fall 2012: Lectures Schedule 1. Introduction 1.5. Some basic mathematics 2. Deterministic finite automata
More informationThe Church-Turing Thesis and Relative Recursion
The Church-Turing Thesis and Relative Recursion Yiannis N. Moschovakis UCLA and University of Athens Amsterdam, September 7, 2012 The Church -Turing Thesis (1936) in a contemporary version: CT : For every
More informationTuring Machines. Lecture 8
Turing Machines Lecture 8 1 Course Trajectory We will see algorithms, what can be done. But what cannot be done? 2 Computation Problem: To compute a function F that maps each input (a string) to an output
More informationThe roots of computability theory. September 5, 2016
The roots of computability theory September 5, 2016 Algorithms An algorithm for a task or problem is a procedure that, if followed step by step and without any ingenuity, leads to the desired result/solution.
More informationLarge Numbers, Busy Beavers, Noncomputability and Incompleteness
Large Numbers, Busy Beavers, Noncomputability and Incompleteness Food For Thought November 1, 2007 Sam Buss Department of Mathematics U.C. San Diego PART I Large Numbers, Busy Beavers, and Undecidability
More informationHIS LEGACY. 100 Years Turing celebration. Gordana Dodig Crnkovic, IDT Open Seminar. Computer Science and Network Department Mälardalen University
IDT Open Seminar AAN TUING AND HIS EGACY 00 Years Turing celebration http://www.mrtc.mdh.se/~gdc/work/turingcentenary.pdf http://www.mrtc.mdh.se/ mdh se/~gdc/work/turingmachine.pdf Gordana Dodig Crnkovic,
More informationComputability Theory
Computability Theory Cristian S. Calude May 2012 Computability Theory 1 / 1 Bibliography M. Sipser. Introduction to the Theory of Computation, PWS 1997. (textbook) Computability Theory 2 / 1 Supplementary
More informationCS 275 Automata and Formal Language Theory
CS 275 Automata and Formal Language Theory Course Notes Part III: Limits of Computation Chapter III.1: Introduction Anton Setzer http://www.cs.swan.ac.uk/ csetzer/lectures/ automataformallanguage/current/index.html
More informationUnderstanding Computation
Understanding Computation 1 Mathematics & Computation -Mathematics has been around for a long time as a method of computing. -Efforts to find canonical way of computations. - Machines have helped with
More informationComputational Models Lecture 7, Spring 2009
Computational Models Lecture 7, Spring 2009 The Church-Turing Thesis The language classes R = RE core David Hilbert s Tenth Problem Encoding of TMs Universal Turing Machines The Halting/Acceptance problem
More informationAutomata & languages. A primer on the Theory of Computation. Laurent Vanbever. ETH Zürich (D-ITET) October,
Automata & languages A primer on the Theory of Computation Laurent Vanbever www.vanbever.eu ETH Zürich (D-ITET) October, 19 2017 Part 5 out of 5 Last week was all about Context-Free Languages Context-Free
More informationCS 275 Automata and Formal Language Theory
CS 275 Automata and Formal Language Theory Course Notes Part III: Limits of Computation Chapt. III.1: Introduction Anton Setzer http://www.cs.swan.ac.uk/ csetzer/lectures/ automataformallanguage/current/index.html
More informationOn Semantics-to-Syntax Analyses of Algorithms
On Semantics-to-Syntax Analyses of Algorithms Yuri Gurevich Microsoft Research Redmond, WA, USA gurevich@microsoft.com Give me a fulcrum, and I will move the world. Archimedes Abstract: Alan Turing pioneered
More informationTuring Machines (TM) The Turing machine is the ultimate model of computation.
TURING MACHINES Turing Machines (TM) The Turing machine is the ultimate model of computation. Alan Turing (92 954), British mathematician/engineer and one of the most influential scientists of the last
More informationTuring Machines, diagonalization, the halting problem, reducibility
Notes on Computer Theory Last updated: September, 015 Turing Machines, diagonalization, the halting problem, reducibility 1 Turing Machines A Turing machine is a state machine, similar to the ones we have
More informationObsevations, Truth and Logic
Obsevations, Truth and Logic Jaap van Oosten Department of Mathematics Utrecht University Axioma, Groningen May 9, 2018 Art and Science have the same basic subject matter: Observations. Art (visual art):
More informationAN INTRODUCTION TO COMPUTABILITY THEORY
AN INTRODUCTION TO COMPUTABILITY THEORY CINDY CHUNG Abstract. This paper will give an introduction to the fundamentals of computability theory. Based on Robert Soare s textbook, The Art of Turing Computability:
More information7.1 The Origin of Computer Science
CS125 Lecture 7 Fall 2016 7.1 The Origin of Computer Science Alan Mathison Turing (1912 1954) turing.jpg 170!201 pixels On Computable Numbers, with an Application to the Entscheidungsproblem 1936 1936:
More informationOpleiding Informatica
Opleiding Informatica Tape-quantifying Turing machines in the arithmetical hierarchy Simon Heijungs Supervisors: H.J. Hoogeboom & R. van Vliet BACHELOR THESIS Leiden Institute of Advanced Computer Science
More informationAlan Turing (1936) A man provided with paper, pencil, and rubber, and subject to strict discipline, is in effect a universal machine
Analog Models Alan Turing (1936) A man provided with paper, pencil, and rubber, and subject to strict discipline, is in effect a universal machine Turing s Machines Turing [1948] The property of being
More informationTheory of Computation (IX) Yijia Chen Fudan University
Theory of Computation (IX) Yijia Chen Fudan University Review The Definition of Algorithm Polynomials and their roots A polynomial is a sum of terms, where each term is a product of certain variables and
More information258 Handbook of Discrete and Combinatorial Mathematics
258 Handbook of Discrete and Combinatorial Mathematics 16.3 COMPUTABILITY Most of the material presented here is presented in far more detail in the texts of Rogers [R], Odifreddi [O], and Soare [S]. In
More informationCISC 876: Kolmogorov Complexity
March 27, 2007 Outline 1 Introduction 2 Definition Incompressibility and Randomness 3 Prefix Complexity Resource-Bounded K-Complexity 4 Incompressibility Method Gödel s Incompleteness Theorem 5 Outline
More informationLecture notes on Turing machines
Lecture notes on Turing machines Ivano Ciardelli 1 Introduction Turing machines, introduced by Alan Turing in 1936, are one of the earliest and perhaps the best known model of computation. The importance
More informationThe Turing Machine. Computability. The Church-Turing Thesis (1936) Theory Hall of Fame. Theory Hall of Fame. Undecidability
The Turing Machine Computability Motivating idea Build a theoretical a human computer Likened to a human with a paper and pencil that can solve problems in an algorithmic way The theoretical provides a
More informationUndecidability. Andreas Klappenecker. [based on slides by Prof. Welch]
Undecidability Andreas Klappenecker [based on slides by Prof. Welch] 1 Sources Theory of Computing, A Gentle Introduction, by E. Kinber and C. Smith, Prentice-Hall, 2001 Automata Theory, Languages and
More informationA little context This paper is concerned with finite automata from the experimental point of view. The behavior of these machines is strictly determin
Computability and Probabilistic machines K. de Leeuw, E. F. Moore, C. E. Shannon and N. Shapiro in Automata Studies, Shannon, C. E. and McCarthy, J. Eds. Annals of Mathematics Studies, Princeton University
More informationCSE 2001: Introduction to Theory of Computation Fall Suprakash Datta
CSE 2001: Introduction to Theory of Computation Fall 2013 Suprakash Datta datta@cse.yorku.ca Office: CSEB 3043 Phone: 416-736-2100 ext 77875 Course page: http://www.cse.yorku.ca/course/2001 11/7/2013 CSE
More informationIntroduction to Turing Machines. Reading: Chapters 8 & 9
Introduction to Turing Machines Reading: Chapters 8 & 9 1 Turing Machines (TM) Generalize the class of CFLs: Recursively Enumerable Languages Recursive Languages Context-Free Languages Regular Languages
More informationHalting and Equivalence of Program Schemes in Models of Arbitrary Theories
Halting and Equivalence of Program Schemes in Models of Arbitrary Theories Dexter Kozen Cornell University, Ithaca, New York 14853-7501, USA, kozen@cs.cornell.edu, http://www.cs.cornell.edu/~kozen In Honor
More informationTuring Machines A Turing Machine is a 7-tuple, (Q, Σ, Γ, δ, q0, qaccept, qreject), where Q, Σ, Γ are all finite
The Church-Turing Thesis CS60001: Foundations of Computing Science Professor, Dept. of Computer Sc. & Engg., Turing Machines A Turing Machine is a 7-tuple, (Q, Σ, Γ, δ, q 0, q accept, q reject ), where
More informationand Models of Computation
CDT314 FABE Formal anguages, Automata and Models of Computation ecture 12 Mälardalen University 2013 1 Content Chomsky s anguage Hierarchy Turing Machines Determinism Halting TM Examples Standard TM Computing
More informationThe Legacy of Hilbert, Gödel, Gentzen and Turing
The Legacy of Hilbert, Gödel, Gentzen and Turing Amílcar Sernadas Departamento de Matemática - Instituto Superior Técnico Security and Quantum Information Group - Instituto de Telecomunicações TULisbon
More informationTheory of Computation CS3102 Spring 2014 A tale of computers, math, problem solving, life, love and tragic death
Theory of Computation CS3102 Spring 2014 A tale of computers, math, problem solving, life, love and tragic death Nathan Brunelle Department of Computer Science University of Virginia www.cs.virginia.edu/~njb2b/theory
More informationTuring machines and linear bounded automata
and linear bounded automata Informatics 2A: Lecture 29 John Longley School of Informatics University of Edinburgh jrl@inf.ed.ac.uk 27 November 2015 1 / 15 The Chomsky hierarchy: summary Level Language
More informationcse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska
cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 13 CHAPTER 4 TURING MACHINES 1. The definition of Turing machine 2. Computing with Turing machines 3. Extensions of Turing
More informationChurch s undecidability result
Church s undecidability result Alan Turing Birth Centennial Talk at IIT Bombay, Mumbai Joachim Breitner April 21, 2011 Welcome, and thank you for the invitation to speak about Church s lambda calculus
More informationTuring Machines. 22c:135 Theory of Computation. Tape of a Turing Machine (TM) TM versus FA, PDA
Turing Machines A Turing machine is similar to a finite automaton with supply of unlimited memory. A Turing machine can do everything that any computing device can do. There exist problems that even a
More informationUndecidability COMS Ashley Montanaro 4 April Department of Computer Science, University of Bristol Bristol, UK
COMS11700 Undecidability Department of Computer Science, University of Bristol Bristol, UK 4 April 2014 COMS11700: Undecidability Slide 1/29 Decidability We are particularly interested in Turing machines
More informationTuring Centenary Lecture
Turing Centenary Lecture P.D.Welch University of Bristol Visiting Research Fellow, Isaac Newton Institute Early Life King s College 1931 King s College 1931 Hardy Eddington He attended Eddington s lectures
More informationTheory of Computation Lecture Notes. Problems and Algorithms. Class Information
Theory of Computation Lecture Notes Prof. Yuh-Dauh Lyuu Dept. Computer Science & Information Engineering and Department of Finance National Taiwan University Problems and Algorithms c 2004 Prof. Yuh-Dauh
More informationObservability of Turing Machines: A Refinement of the Theory of Computation
INFORMATICA, 2010, Vol. 21, No. 3, 425 454 425 2010 Institute of Mathematics and Informatics, Vilnius Observability of Turing Machines: A Refinement of the Theory of Computation Yaroslav D. SERGEYEV, Alfredo
More informationThe Church-Turing Thesis
The Church-Turing Thesis Huan Long Shanghai Jiao Tong University Acknowledgements Part of the slides comes from a similar course in Fudan University given by Prof. Yijia Chen. http://basics.sjtu.edu.cn/
More informationENEE 459E/CMSC 498R In-class exercise February 10, 2015
ENEE 459E/CMSC 498R In-class exercise February 10, 2015 In this in-class exercise, we will explore what it means for a problem to be intractable (i.e. it cannot be solved by an efficient algorithm). There
More informationDecidability. William Chan
Decidability William Chan Preface : In 1928, David Hilbert gave a challenge known as the Entscheidungsproblem, which is German for Decision Problem. Hilbert s problem asked for some purely mechanical procedure
More informationUndecidable Problems. Z. Sawa (TU Ostrava) Introd. to Theoretical Computer Science May 12, / 65
Undecidable Problems Z. Sawa (TU Ostrava) Introd. to Theoretical Computer Science May 12, 2018 1/ 65 Algorithmically Solvable Problems Let us assume we have a problem P. If there is an algorithm solving
More informationIntroduction: Computer Science is a cluster of related scientific and engineering disciplines concerned with the study and application of computations. These disciplines range from the pure and basic scientific
More informationHandbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz Handbook of Logic and Proof Techniques for Computer Science With 16 Figures BIRKHAUSER SPRINGER BOSTON * NEW YORK Preface xvii 1 Notation and First-Order Logic 1 1.1 The Use of Connectives
More informationThe Turing machine model of computation
The Turing machine model of computation For most of the remainder of the course we will study the Turing machine model of computation, named after Alan Turing (1912 1954) who proposed the model in 1936.
More informationTuring machines and linear bounded automata
and linear bounded automata Informatics 2A: Lecture 30 John Longley School of Informatics University of Edinburgh jrl@inf.ed.ac.uk 25 November 2016 1 / 17 The Chomsky hierarchy: summary Level Language
More information15-251: Great Theoretical Ideas in Computer Science Lecture 7. Turing s Legacy Continues
15-251: Great Theoretical Ideas in Computer Science Lecture 7 Turing s Legacy Continues Solvable with Python = Solvable with C = Solvable with Java = Solvable with SML = Decidable Languages (decidable
More informationAbout the relationship between formal logic and complexity classes
About the relationship between formal logic and complexity classes Working paper Comments welcome; my email: armandobcm@yahoo.com Armando B. Matos October 20, 2013 1 Introduction We analyze a particular
More informationCogito ergo sum non machina!
Cogito ergo sum non machina! About Gödel s First Incompleteness Theorem and Turing machines. Ricardo Pereira Tassinari 1 Philosophy Department of State University of São Paulo - UNESP - Campus Marília
More informationCSE 2001: Introduction to Theory of Computation Fall Suprakash Datta
CSE 2001: Introduction to Theory of Computation Fall 2012 Suprakash Datta datta@cse.yorku.ca Office: CSEB 3043 Phone: 416-736-2100 ext 77875 Course page: http://www.cs.yorku.ca/course/2001 11/13/2012 CSE
More informationCreative Objectivism, a powerful alternative to Constructivism
Creative Objectivism, a powerful alternative to Constructivism Copyright c 2002 Paul P. Budnik Jr. Mountain Math Software All rights reserved Abstract It is problematic to allow reasoning about infinite
More informationPropositions as Types
Propositions as Types Martin Pfeifhofer & Felix Schett May 25, 2016 Contents 1 Introduction 2 2 Content 3 2.1 Getting Started............................ 3 2.2 Effective Computability And The Various Definitions.......
More information(a) Definition of TMs. First Problem of URMs
Sec. 4: Turing Machines First Problem of URMs (a) Definition of the Turing Machine. (b) URM computable functions are Turing computable. (c) Undecidability of the Turing Halting Problem That incrementing
More informationMathematical Logic. Giuseppe Peano ( ) Core Logic 2004/05-1ab p. 2/2
Mathematical Logic. From the XIXth century to the 1960s, logic was essentially mathematical. Development of first-order logic (1879-1928): Frege, Hilbert, Bernays, Ackermann. Development of the fundamental
More informationWhat are the recursion theoretic properties of a set of axioms? Understanding a paper by William Craig Armando B. Matos
What are the recursion theoretic properties of a set of axioms? Understanding a paper by William Craig Armando B. Matos armandobcm@yahoo.com February 5, 2014 Abstract This note is for personal use. It
More informationAxiomatic Theory of Algorithms:
Axiomatic Theory of Algorithms: Computability and Decidability in Algorithmic Classes Mark Burgin Department of Mathematics University of California, Los Angeles 405 Hilgard Ave. Los Angeles, CA 90095
More informationLecture 19: Universality and Computability
Fundamental Questions Lecture 19: Universality and Computability Universality What is a general purpose computer? Computability Are there problems that no machine can solve? Church-Turing thesis Are there
More informationIV. Turing Machine. Yuxi Fu. BASICS, Shanghai Jiao Tong University
IV. Turing Machine Yuxi Fu BASICS, Shanghai Jiao Tong University Alan Turing Alan Turing (23Jun.1912-7Jun.1954), an English student of Church, introduced a machine model for effective calculation in On
More informationUniversality and Computability
Universality and Computability Fundamental questions: Q. What is a general-purpose computer? Q. Are there limits on the power of digital computers? Q. Are there limits on the power of machines we can build?
More informationVariants of Turing Machine (intro)
CHAPTER 3 The Church-Turing Thesis Contents Turing Machines definitions, examples, Turing-recognizable and Turing-decidable languages Variants of Turing Machine Multi-tape Turing machines, non-deterministic
More informationHarvard CS 121 and CSCI E-121 Lecture 14: Turing Machines and the Church Turing Thesis
Harvard CS 121 and CSCI E-121 Lecture 14: Turing Machines and the Church Turing Thesis Harry Lewis October 22, 2013 Reading: Sipser, 3.2, 3.3. The Basic Turing Machine The Basic Turing Machine a a b a
More informationTuring Machines (TM) Deterministic Turing Machine (DTM) Nondeterministic Turing Machine (NDTM)
Turing Machines (TM) Deterministic Turing Machine (DTM) Nondeterministic Turing Machine (NDTM) 1 Deterministic Turing Machine (DTM).. B B 0 1 1 0 0 B B.. Finite Control Two-way, infinite tape, broken into
More informationTuring machines and linear bounded automata
and linear bounded automata Informatics 2A: Lecture 29 John Longley School of Informatics University of Edinburgh jrl@inf.ed.ac.uk 25 November, 2011 1 / 13 1 The Chomsky hierarchy: summary 2 3 4 2 / 13
More informationCS21 Decidability and Tractability
CS21 Decidability and Tractability Lecture 8 January 24, 2018 Outline Turing Machines and variants multitape TMs nondeterministic TMs Church-Turing Thesis So far several models of computation finite automata
More information15-251: Great Theoretical Ideas in Computer Science Fall 2016 Lecture 6 September 15, Turing & the Uncomputable
15-251: Great Theoretical Ideas in Computer Science Fall 2016 Lecture 6 September 15, 2016 Turing & the Uncomputable Comparing the cardinality of sets A B if there is an injection (one-to-one map) from
More informationCSE355 SUMMER 2018 LECTURES TURING MACHINES AND (UN)DECIDABILITY
CSE355 SUMMER 2018 LECTURES TURING MACHINES AND (UN)DECIDABILITY RYAN DOUGHERTY If we want to talk about a program running on a real computer, consider the following: when a program reads an instruction,
More informationHUMAN COMPUTATION FROM A STRICTLY DYNAMICAL POINT OF VIEW
Cagliari Colloquium on the Extended Mind, Dynamicism, and Computation. Cagliari, June 10, 2013 HUMAN COMPUTATION FROM A STRICTLY DYNAMICAL POINT OF VIEW Marco Giunti - ALOPHIS, Università di Cagliari SUMMARY
More informationCSCE 551: Chin-Tser Huang. University of South Carolina
CSCE 551: Theory of Computation Chin-Tser Huang huangct@cse.sc.edu University of South Carolina Church-Turing Thesis The definition of the algorithm came in the 1936 papers of Alonzo Church h and Alan
More informationLecture 13: Turing Machine
Lecture 13: Turing Machine Instructor: Ketan Mulmuley Scriber: Yuan Li February 19, 2015 Turing machine is an abstract machine which in principle can simulate any computation in nature. Church-Turing Thesis:
More informationFoundations of Computation. Ana Bove
Foundations of Computation Ana Bove Programming Logic (ProgLog) Group February 13th 2018 Outline of the talk: What we do in ProgLog Origines of computer science Courses in the area Warming-up Exercise
More informationON COMPUTAMBLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHENIDUGSPROBLEM. Turing 1936
ON COMPUTAMBLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHENIDUGSPROBLEM Turing 1936 Where are We? Ignoramus et ignorabimus Wir mussen wissen Wir werden wissen We do not know We shall not know We must know
More informationCS20a: Turing Machines (Oct 29, 2002)
CS20a: Turing Machines (Oct 29, 2002) So far: DFA = regular languages PDA = context-free languages Today: Computability 1 Handicapped machines DFA limitations Tape head moves only one direction 2-way DFA
More informationFriendly Logics, Fall 2015, Lecture Notes 1
Friendly Logics, Fall 2015, Lecture Notes 1 Val Tannen 1 Some references Course Web Page: http://www.cis.upenn.edu/~val/cis682. I have posted there the remarkable On the Unusual Effectiveness of Logic
More information1 Computational problems
80240233: Computational Complexity Lecture 1 ITCS, Tsinghua Univesity, Fall 2007 9 October 2007 Instructor: Andrej Bogdanov Notes by: Andrej Bogdanov The aim of computational complexity theory is to study
More informationGreat Theoretical Ideas
15-251 Great Theoretical Ideas in Computer Science Gödel s Legacy: Proofs and Their Limitations Lecture 25 (November 16, 2010) The Halting Problem A Quick Recap of the Previous Lecture Is there a program
More informationChapter 6: Turing Machines
Chapter 6: Turing Machines 6.1 The Turing Machine Definition A deterministic Turing machine (DTM) M is specified by a sextuple (Q, Σ, Γ, δ, s, f), where Q is a finite set of states; Σ is an alphabet of
More informationTuring s Approaches to Computability, Mathematical Reasoning and Intelligence
English translation of a revised version of: C. Cellucci, Gli approcci di Turing alla computabilità e all intelligenza, in T. Orlandi (ed.), Per il centenario di Turing, fondatore dell informatica, Accademia
More informationYaroslav D. Sergeyev and Alfredo Garro. Dipartimento di Elettronica, Informatica e Sistemistica, Università della Calabria, Rende (CS) Italy
OBSERVABILITY OF TURING MACHINES: A REFINEMENT OF THE THEORY OF COMPUTATION Yaroslav D. Sergeyev and Alfredo Garro Dipartimento di Elettronica, Informatica e Sistemistica, Università della Calabria, 87030
More informationIntroduction to Languages and Computation
Introduction to Languages and Computation George Voutsadakis 1 1 Mathematics and Computer Science Lake Superior State University LSSU Math 400 George Voutsadakis (LSSU) Languages and Computation July 2014
More informationComputational Models - Lecture 6
Computational Models - Lecture 6 Turing Machines Alternative Models of Computers Multitape TMs, RAMs, Non Deterministic TMs The Church-Turing Thesis The language classes R = RE core David Hilbert s Tenth
More information