1. 1 Other Models of Computation Costas Busch - LSU

2. 2 Models of computation: Turing Machines Recursive Functions Post Systems Rewriting Systems Costas Busch - LSU

3. 3 Church’s Thesis: All models of computation are equivalent Turing’s Thesis: A computation is mechanical if and only if it can be performed by a Turing Machine Costas Busch - LSU

4. 4 Church’s and Turing’s Thesis are similar: Church-Turing Thesis Costas Busch - LSU

5. 5 Recursive Functions An example function: DomainRange Costas Busch - LSU

6. 6 We need a way to define functions We need a set of basic functions Costas Busch - LSU

7. 7 Zero function: Successor function: Projection functions: Basic Primitive Recursive Functions Costas Busch - LSU

8. 8 Building complicated functions: Composition: Primitive Recursion: Costas Busch - LSU

9. 9 Any function built from the basic primitive recursive functions is called: Primitive Recursive Function Costas Busch - LSU

10. 10 A Primitive Recursive Function: (projection) (successor function) Costas Busch - LSU

11. 11Costas Busch - LSU

12. 12 Another Primitive Recursive Function: Costas Busch - LSU

13. 13 Theorem: The set of primitive recursive functions is countable Proof: Each primitive recursive function can be encoded as a string Enumerate all strings in proper order Check if a string is a function Costas Busch - LSU

14. 14 Theorem there is a function that is not primitive recursive Proof: Enumerate the primitive recursive functions Costas Busch - LSU

15. 15 Define function differs from every is not primitive recursive END OF PROOF Costas Busch - LSU

16. 16 A specific function that is not Primitive Recursive: Ackermann’s function: Grows very fast, faster than any primitive recursive function Costas Busch - LSU

17. 17 Recursive Functions Accerman’s function is a Recursive Function Costas Busch - LSU

18. 18 Primitive recursive functions Recursive Functions Costas Busch - LSU

19. 19 Post Systems Have Axioms Have Productions Very similar with unrestricted grammars Costas Busch - LSU

20. 20 Example: Unary Addition Axiom: Productions: Costas Busch - LSU

21. 21 A production: Costas Busch - LSU

22. 22 Post systems are good for proving mathematical statements from a set of Axioms Costas Busch - LSU

23. 23 Theorem: A language is recursively enumerable if and only if a Post system generates it Costas Busch - LSU

24. 24 Rewriting Systems Matrix Grammars Markov Algorithms Lindenmayer-Systems They convert one string to another Very similar to unrestricted grammars Costas Busch - LSU

25. 25 Matrix Grammars Example: A set of productions is applied simultaneously Derivation: Costas Busch - LSU

26. 26 Theorem: A language is recursively enumerable if and only if a Matrix grammar generates it Costas Busch - LSU

27. 27 Markov Algorithms Grammars that produce Example: Derivation: Costas Busch - LSU

28. 28Costas Busch - LSU

29. 29 In general: Theorem: A language is recursively enumerable if and only if a Markov algorithm generates it Costas Busch - LSU

30. 30 Lindenmayer-Systems They are parallel rewriting systems Example: Derivation: Costas Busch - LSU

31. 31 Lindenmayer-Systems are not general As recursively enumerable languages Extended Lindenmayer-Systems: Theorem: A language is recursively enumerable if and only if an Extended Lindenmayer-System generates it context Costas Busch - LSU