Languages and Machines A5

Languages and Machines

These notes provided an integrated treatment of many topics in mathematics that are important in computing science.

An introduction explores logic, set theory and the techniques of proof construction. A chapter on strings and languages sets the scene for the remaining chapters. Machines that process formal languages are discussed in a fair amount of depth – finite state machines and Turing machines. The final two chapters are concerned with cryptography and error-correcting codes.

[Please note that all links are to Adobe .pdf documents. They will open in a separate browser window.]