LANGUAGES AND MACHINES

NOTES FOR MATH237

(Other mathematical websites by Dr C.D.H. Cooper www.maths.mq.edu.au/~chris)

Introduction and Table of Contents (updated 1^st December 2008)

http://www.ics.mq.edu.au/~chris/langmach/chap00.pdf

Chapter 1: Logic (updated 1^st December 2008)

http://www.ics.mq.edu.au/~chris/langmach/chap01.pdf

Chapter 2: Languages (updated 1^st December 2008)

http://www.ics.mq.edu.au/~chris/langmach/chap02.pdf

Chapter 3: Sets, Functions and Relations (updated 1^st December 2008)

http://www.ics.mq.edu.au/~chris/langmach/chap03.pdf

Chapter 4: Introduction to Finite-State Machines (updated 1^st December 2008)

http://www.ics.mq.edu.au/~chris/langmach/chap04.pdf

Chapter 5: Equivalence and Reduction of Finite-State Machines (updated 1^st December 2008)

http://www.ics.mq.edu.au/~chris/langmach/chap05.pdf

Chapter 6: Non-Deterministic Finite-State Machines (updated 1^st December 2008)

http://www.ics.mq.edu.au/~chris/langmach/chap06.pdf

Chapter 7: Finite State Acceptors and Regular Languages (updated 1^st December 2008)

http://www.ics.mq.edu.au/~chris/langmach/chap07.pdf

Chapter 8: Turing Machines (updated 1^st December 2008)

http://www.ics.mq.edu.au/~chris/langmach/chap08.pdf

Chapter 9: Extended Turing Machines (updated 1^st December 2008)

http://www.ics.mq.edu.au/~chris/langmach/chap09.pdf

Chapter 10: The Busy Beaver Problem (updated 1^st December 2008)

http://www.ics.mq.edu.au/~chris/langmach/chap10.pdf

Chapter 11: Integers mod m and Public Key Cryptography (updated 1^st December 2008)

http://www.ics.mq.edu.au/~chris/langmach/chap11.pdf

Chapter 12: Polynomial Codes (updated 1^st December 2008)

http://www.ics.mq.edu.au/~chris/langmach/chap12.pdf

Appendices (updated 1^st December 2008)

http://www.ics.mq.edu.au/~chris/langmach/appendix.pdf