Download presentation

Presentation is loading. Please wait.

Published byCharles Shipley Modified over 3 years ago

1
Does Not Compute 5: DFA/NFA Equivalence Turing Machines In which we prove that DFAs are equivalent to NFAs, and discover the conversion is more brute force than pure elegance Then we introduce a new machine, which has great power, but with great power comes a new and terrible problem.

2
Alan Turing

3
Our New Machine A 7-tuple (Q, E 1, E 2,T, q 0, F 1, F 2 ) – Q is a finite set of states – E 1 is a finite set called the alphabet (usually {0, 1} or {a,b}) not containing the special blank symbol – E 2 is a finite set called the alphabet containing the special blank symbol, E 1, and maybe a few odds and ends – T : Q x E 2 Q x E 2 x {L,R} is the transition function – q 0 is the start state – F 1 is the accept states – F 2 is the reject states

4
To Come In The Second Half Some extremely cool stuff: The Turing-Church Hypothesis, which touches on the fundamental question of What is Computing? The existence of well-defined mathematical problems no machine can compute solutions for (including modern computers) Efficiency, discussed at long last, including P/NP problem which is one of the great unsolved questions of modern mathematics Even more fun playing with interesting machines

5
Feedback From You 1. What is one thing you particularly liked about the class so far? 2. What is one thing that could be improved about the class so far? 3. Sum of your feeling about the class in 1 or 2 short sentences.

Similar presentations

Presentation is loading. Please wait....

OK

Theory of Languages and Automata

Theory of Languages and Automata

© 2018 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on history and sport the story of cricket Ppt on online education in india Ppt on polarization of light Ppt on web 2.0 Ppt on brand marketing books Download ppt on esterification Mobile application development seminar ppt on 4g Ppt on annual sports day Ppt on youth leadership development Ppt on illegal immigration