28 views

Uploaded by Tom Doyle

save

- Automata
- S0002-9947-1983-0688973-8
- Cs2303 Theory of Computation 2marks
- Automata
- Slides
- AlgodatV1 2WS09a Engll WS1112
- lab7_Verilog
- Vhdl Fsm Tutorial MY FIRST FSM
- Thoc Full Slide Copy
- About Code Coverage
- Cp3
- Multi Layer Feed-Forward Network Learning
- [Springer-Verlag Berlin Heidelberg 2010] Learning Automata Teams
- 06L1
- 00343592
- DFA1_h
- MCT Book - Chapter 10
- 02. Intro to Computer Science
- Ileana Rotar Incse
- Elon Musk: Tesla, SpaceX, and the Quest for a Fantastic Future
- Dispatches from Pluto: Lost and Found in the Mississippi Delta
- The Innovators: How a Group of Hackers, Geniuses, and Geeks Created the Digital Revolution
- Sapiens: A Brief History of Humankind
- Yes Please
- The Unwinding: An Inner History of the New America
- Grand Pursuit: The Story of Economic Genius
- This Changes Everything: Capitalism vs. The Climate
- A Heartbreaking Work Of Staggering Genius: A Memoir Based on a True Story
- The Emperor of All Maladies: A Biography of Cancer
- The Prize: The Epic Quest for Oil, Money & Power
- John Adams
- Devil in the Grove: Thurgood Marshall, the Groveland Boys, and the Dawn of a New America
- The World Is Flat 3.0: A Brief History of the Twenty-first Century
- Rise of ISIS: A Threat We Can't Ignore
- The Hard Thing About Hard Things: Building a Business When There Are No Easy Answers
- Smart People Should Build Things: How to Restore Our Culture of Achievement, Build a Path for Entrepreneurs, and Create New Jobs in America
- Team of Rivals: The Political Genius of Abraham Lincoln
- The New Confessions of an Economic Hit Man
- How To Win Friends and Influence People
- Angela's Ashes: A Memoir
- Steve Jobs
- Bad Feminist: Essays
- You Too Can Have a Body Like Mine: A Novel
- The Incarnations: A Novel
- The Light Between Oceans: A Novel
- The Silver Linings Playbook: A Novel
- Leaving Berlin: A Novel
- Extremely Loud and Incredibly Close: A Novel
- The Sympathizer: A Novel (Pulitzer Prize for Fiction)
- A Man Called Ove: A Novel
- The Master
- Bel Canto
- The Blazing World: A Novel
- The Rosie Project: A Novel
- The First Bad Man: A Novel
- We Are Not Ourselves: A Novel
- Brooklyn: A Novel
- The Flamethrowers: A Novel
- Life of Pi
- The Love Affairs of Nathaniel P.: A Novel
- Lovers at the Chameleon Club, Paris 1932: A Novel
- The Bonfire of the Vanities: A Novel
- The Perks of Being a Wallflower
- A Prayer for Owen Meany: A Novel
- The Cider House Rules
- Wolf Hall: A Novel
- The Art of Racing in the Rain: A Novel
- The Wallcreeper
- Interpreter of Maladies
- The Kitchen House: A Novel
- Beautiful Ruins: A Novel
- Good in Bed

You are on page 1of 9

Lecture T2: Turing Machines

Attempt to understand essential nature of computation by studying properties of simple machine models. Goal: simplest machine that is "as powerful" as conventional computers. Surprising Fact 1. ! Such machines are not much more complicated than FSAs. Surprising Fact 2. ! Some problems of interest cannot be solved by ANY computer.

2

**Adding Power to FSA
**

FSA advantages:

s

**Nondeterministic Finite State Automata
**

Nondeterministic FSA (NFSA).

s

Extremely simple and cheap to build. Well suited to certain important tasks. – pattern matching, filtering, dishwashers, remote controls, traffic lights, sequential circuits

Simple machine with N states. Start in state 0. Read a bit. Depending on current state and input bit – move to any of several new states Stop when last bit read. Accept if ANY choice of new states ends in state X, reject otherwise. 0 0 1 0

s

s

1 0 0 0 1 0

3 1 2 1

s

s

FSA disadvantages:

s

**Not sufficiently "powerful" to solve numerous problems of interest.
**

s

**How can we make FSAs more powerful?
**

s

s

NFSA = FSA + "nondeterminism." (ability to guess the right answer!)

3

4

reject otherwise. s NFSA Example 2 Build an NFSA to match all strings whose 5th to last character is ’x’. and next bit is 1: can move to state 1 can move to state 2 can move to state 3 If in state 2. Start in state 0. reject otherwise. and next bit is 0: can’t move to any state 5 6 Nondeterministic Finite State Automata Nondeterministic FSA (NFSA).Nondeterministic Finite State Automata Nondeterministic FSA (NFSA). Read a bit... Accept if ANY choice of new states ends in state X. Start in state 0. Read a bit. Depending on current state and input bit – move to any of several new states Stop when last bit read. 0 0 1 0 s 1 0 0 0 1 0 Simple machine with N states. % egrep ’x. Accept if ANY choice of new states ends in state X. reject otherwise. Start in state 0. 0 0 1 0 s 3 s 1 0 0 0 1 0 3 1 2 1 s s 1 2 1 s s s s s If in state 2. 0 0 1 0 s 1 0 0 0 1 0 3 1 2 1 s s s s 0 Which strings are accepted? á 0010001 M 00 M 10000111001100 á 10000111001101 x 1 a-z 2 a-z 3 a-z 4 a-z 5 a-z 7 8 . Accept if ANY choice of new states ends in state X. Depending on current state and input bit – move to any of several new states Stop when last bit read.$’ /usr/dict/words asphyxiate carboxylic contextual inflexible s Simple machine with N states. s Nondeterministic Finite State Automata Nondeterministic FSA (NFSA). Read a bit.. Depending on current state and input bit – move to any of several new states Stop when last bit read. s Simple machine with N states.

J Interested students: see supplemental lecture slides. N-state NFSA ⇒ 2N state FSA. s Given any NFSA. s s Y is at least as powerful as X. Systematic method for NFSA.NFSA Equivalence Theorem: FSA and NFSA are "equally powerful". s Notation: X ⊆ Y. can construct FSA that accepts same inputs. s For FSA. only one possible path to follow. We’ll spare you the details. Machine class Y can be "programmed" to accept all the languages that X can (and maybe more). s Y is at least as powerful as X. Keep track of ALL possible states that the NFSA could be in for a given input. but is it essential? s A FSA is a special type of NFSA. need to consider many paths.A Systematic Method for NFSA Harder to determine whether an NFSA accepts a string than an FSA. One state in FSA for every set of states in the NFSA. s FSA . s Notation: X ⊆ Y. s s Proof (Part 1): FSA ⊆ NFSA. Power of nondeterminism is very useful. For NFSA. Accept if one of possible ending states is accept state. can construct FSA that accepts same inputs. Given any NFSA.NFSA Equivalence Theorem: FSA and NFSA are "equally powerful". s RE – FSA Equivalence Theorem: FSA and RE are "equally powerful". 9 10 FSA . s s 11 12 . Machine class Y can be "programmed" to accept all the languages that X can (and maybe more). s Proof (Part 2): NFSA ⊆ FSA. s Given a nondeterministic FSA. we give recipe to construct a deterministic FSA that recognizes the same language.

s Simple machine with N states. {. 0011. 000111. s s new accept / reject mechanism s 15 16 . A pushdown stack (amount of memory is arbitrarily large). Input on an arbitrarily large TAPE that can be read from *and* written to. s Did it help? s s More powerful. Accept if stack is EMPTY. Accept if yes. s s s s s Pushdown Automata (PDA). Instead. Use notation x/y/z If input is x and top of stack is y.. Read a bit from tape. 00001111. Depending on current state and input bit – write a bit to tape – move tape right or left – move to new state Stop if enter yes or no state. ε. can recognize: – all bit strings with an equal number of 0’s and 1’s – – s all bit strings of the form all "balanced" strings in alphabet: (. check bit at top of stack. . Depending on current state/input bit/stack bit: – move to new state – push the input onto stack. ) 0N1N s s Still can’t recognize language of all palindromes. – amanaplanacanalpanama – 11*181=1991=181*11 – murderforajarofredrum More powerful machines still needed.Pushdown Automata read head How can we make FSA’s more powerful? s Pushdown Automata PDA for deciding whether input is of form 0N1N . reject otherwise. reject if no or does not terminate.. Read a bit. Start in state 0. ]. add "memory" to the FSA. then do z. [. Simple machine with N states. s Nondeterminism didn't help. N 0’s followed by N 1’s for some N. 01. s PDA = FSA + stack. Start in state 0. or pop topmost element from stack Stop when last bit is read. }. different accept / reject mechanism 13 0/0/push top of stack 1/0/pop 0 1/0/pop s s 1 s 0/ε/push s s 14 Pushdown Automata How can we make FSA more powerful? s Turing Machine read / write head Turing Machine.

Some Examples Build Turing machines that accepts following languages: Equal number of 0’s and 1’s. . d. Details missing: s Might run off end of tape. – 110110 – 100011110001111 – 001100011100001111001100011100001111 simulate Turing machine until accept state reached 20 21 . #11#. #110011#. #1111#. move[3][STATES]. int in. then change it to y.c #define MAX_TAPE_SIZE 2000 #define STATES 100 #define ACCEPT_STATE 99 . tape[head] = out[in][state]. head s s s s Input: description of machine (9 integers per state s). state = next[in][state]. #11111111# C Program to Simulate Turing Machine Three character alphabet (0 is ’blank’). head += move[in][state]. . } read in tape (consists of 0. #10111000011101# Power of two 1’s. int next[3][STATES]. No more powerful than deterministic TM. tape[i] is ith character on tape initially. . then write w to current tape position. state = 0. #0110#. s s Exercise: s Nondeterministic TM to recognize language of all bit strings of the form ww for some w. Faster than TM? (Stay tuned for NP-Completeness). #1100#. s s s Notation. x/y/z: if TM head contains character x. 2) s Nondeterministic Turing Machine TM with extra ability: Choose one of several possible transition states given current tape contents and state. 1. Position on tape. &d) != EOF) tape[head++] = d. out[i][s] = w : if currently in state s and input character read in is i. #1#. #011101110000# Even length palindromes of 0’s and 1’s. while (state != ACCEPT_STATE) { in = tape[cursor]. 19 17 C Program to Simulate Turing Machine turing. out[3][STATES]. # special character. #0011#. /* read in machine from file */ while (scanf("%1d". then move head one position to left or right. and move head in direction z. head = MAX_TAPE_SIZE / 2. . s s s move[i][s] = ±1 : if currently in state s and input character is i. next[i][s] = t : if currently in state s and input character read in is i. then transition to state t. . char tape[MAX_TAPE_SIZE].

s NFSA ⊆ FSA Proof sketch (part 2): FSA ⊆ RE s Goal: given an FSA. s Essential connection between machines and languages. Main idea: consider – paths from start state(s) to accept state(s): 00 | 01 – directed cycles: (1*)(00 | 01)(11 | 10)* 1 0 1 s 0 1 25 . NFSA. NFSA. s Are there limits to machine power? Goal: simplest machine "as powerful" as conventional computers. – compiler design (Lecture T3) – can’t recognize: palindromes TM: add memory in the form of an arbitrarily large array. and RE Are Equivalent Lecture T2: Extra Slides Theorem: FSA. sequential circuits (Lecture T1) – can’t recognize: equal number of 0’s and 1’s PDA: add read/write memory in the form of a stack. s Summary Abstract machines are foundation of all modern computers. s Power = can recognize more languages. (See Lecture T3. and RE are "equally powerful". – general purpose computers (Lecture T4) – can’t recognize: stay tuned 23 s s 22 FSA. s Machine Finite state automata Pushdown automata Linear bounded automata Turing machine Nondeterminism adds power? No Yes Unknown No FSA: simplest machine that is still interesting. – pattern matching. Leads to deeper understanding of computation. Simple computational models are easier to understand.) Abstract machines.Abstract Machine Hierarchy Each machine is strictly more powerful than the previous. Corresponding hierarchy exists for languages. find a RE that matches all strings accepted by the FSA and no other strings.

transition: jump states without reading a character to next state ε 0 0 1 0 0 1 1 0 0 1 1 01 0 01 00 | 101 1 0 ε (00 | 101)* 28 29 . s FSA. NFSA. s NFSA ⊆ FSA ⊆ RE RE: 01(00 | 101)* 00 0 0 1 1 01 101 0 1 0 Proof sketch (part 3): RE ⊆ NFSA s Goal: given a RE. NFSA. Use the following rules to construct NFSA: a a ε A A ε A* B A|B 26 s A AB B 27 FSA. and RE Are Equivalent Example. construct a NFSA that accepts all strings matched by the RE. and RE are "equally powerful". NFSA. NFSA. s RE: 01(00 | 101)* RE: 01(00 | 101)* ε . NFSA. and RE Are Equivalent Example. and RE Are Equivalent Theorem: FSA. s FSA. and rejects all others. and RE Are Equivalent Example.FSA.

NFSA. and RE Are Equivalent Theorem: FSA.FSA. s PDA ⊆ NPDA trivially. NFSA. s RE: 01(00 | 101)* ε NFSA ⊆ FSA ⊆ RE ⊆ NFSA Equivalence of languages and machine models is essential in the theory of computation. and RE Are Equivalent Example. or pop top-most element from stack NPDA to recognize all (even length) palindromes. except depending on current state/input bit/stack bit – move to ANY OF SEVERAL new states – push the input onto stack. NFSA. s FSA. and RE are "equally powerful". s Same as PDA. except depending on current state/input bit/stack bit – move to ANY OF SEVERAL new states – push the input onto stack. 0/0/push 0/1/push 0/ε/push 1/0/push 1/1/push 1/ε/push Bit string is the same forwards and backwards. 0 0 1 1 1 0 0 ε 01(00 + 101)* 30 31 Nondeterminism Does Help PDA’s Nondeterministic pushdown automata (NPDA). 0/0/push 0/1/push 1/ε/push 1/0/push 1/1/push 1/ε/push s 0 1 0/0/pop 1/1/pop s 32 33 . or pop top-most element from stack Same as PDA. but NPDA can. PDA cannot recognize language of all (even length) palindromes. Nondeterministic PDA more powerful than deterministic PDA. Therefore PDA ⊂ NPDA . s NPDA to recognize all (even length) palindromes. s Nondeterminism Does Help PDA’s Nondeterministic pushdown automata (NPDA). s Bit string is the same forwards and backwards.

s NPDA = FSA + stack + nondeterminism. We won’t dwell on LBA in this course. Did it help? s Linear bounded automata (LBA). s Can recognize language of all palindromes. s A single tape TM that can only write on the portion of the tape containing the input. Note: allowed to increase alphabet size if desired. s LBA is strictly less powerful than TM. No limit on length of tape. s s There are languages that can be recognized by TM but not a LBA.Pushdown Automata How can we make FSA more powerful? s Linear Bounded Automata Turing machine. s 34 35 . Can’t recognize some languages: – equal number of 0’s 1’s and 2’s – 0N 1N 2N – bit strings with a power of two 1’s Need still more powerful machines.

- AutomataUploaded byPradeep
- S0002-9947-1983-0688973-8Uploaded byalphamale173
- Cs2303 Theory of Computation 2marksUploaded byShanmugasundaram Muthuswamy
- AutomataUploaded bychaliterrefe
- SlidesUploaded byJohn David Reaver
- AlgodatV1 2WS09a Engll WS1112Uploaded byJonathan Amador
- lab7_VerilogUploaded byhanhtinhkila76017
- Vhdl Fsm Tutorial MY FIRST FSMUploaded byMANIKANDAN
- Thoc Full Slide CopyUploaded bySwapnil Bishnu
- About Code CoverageUploaded by2vij
- Cp3Uploaded byArunkumar Panneerselvam
- Multi Layer Feed-Forward Network LearningUploaded byBidkar Harshal S
- [Springer-Verlag Berlin Heidelberg 2010] Learning Automata TeamsUploaded byyaya
- 06L1Uploaded bytheresa.painter
- 00343592Uploaded byanubis8686
- DFA1_hUploaded by123aaabbb123
- MCT Book - Chapter 10Uploaded byAmmar Naveed Bajwa
- 02. Intro to Computer ScienceUploaded byKommanderNoktu
- Ileana Rotar IncseUploaded bysri_vas00074013