E N D
1. One Minute To Learn Programming:Finite Automata
2. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
3. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 Meet ABA The Automaton!
4. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 The Simplest Interesting Machine:Finite State Machine OR Finite Automaton
5. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 Finite Automaton
6. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 How Machine M operates.
7. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
8. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 The set (or language) accepted by M is:
9. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 What is the language accepted by this machine?
10. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 What is the language accepted by this machine?
11. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 What is the language accepted by this machine?
12. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 What machine accepts this language?
13. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 What machine accepts this language?
14. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 What is the language accepted by this machine?
15. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 What is the language accepted by this machine?
16. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 What is the language accepted by this machine?
17. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 What machine accepts this language?
18. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 What machine accepts this language?
19. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 What machine accepts this language?
20. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
21. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
22. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 The grep Problem
23. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 Automata Solution
24. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 Real-life uses of finite state machines
25. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
26. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
27. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
28. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
29. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
30. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
31. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
32. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
33. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 Remember ABA?
34. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
35. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 Pigeonhole principle: Given n boxes and m > n objects, at least one box must contain more than one object.
Letterbox principle: If the average number of letters per box is a, then some box will have at least a letters. (Similarly, some box has at most a.)
36. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
37. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 Professional Strength Proof
38. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 MORAL:
39. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 Advertisement
40. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 Cellular Automata
41. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 The Firing Squad Problem
42. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 Shorthand
43. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
44. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
45. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
46. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
47. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
48. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789
49. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789 Question
50. Steven Rudich: www.cs.cmu.edu/~rudich rudich0123456789