COMP 455 Links

COMP 455 Links

Spring 2013

REGULAR EXPRESSIONS Regular Expressions in Perl

Perl 6 Regular Expressions

The UNIX "GREP" Utility

Using Regular Expressions

Mastering Regular Expressions

A Tao of Regular Expressions

Wikipedia Article on Regular Expressions

FINITE AUTOMATA Zero Counter Automaton

Parity Automaton

Universal Automaton

Java Formal Languages and Automata Package

Protein Sequence Similarity Search Programs

PRACTICE FOR EXAM 1 Practice Exam 1 (pdf)

Practice Exam 1 (latex)

Practice Exam 1 (word)

Another Practice Exam 1 (pdf)

Practice Problems from the Text

PRACTICE FOR EXAM 2 Practice Exam 2 (postscript)

Practice Exam 2 (latex)

Practice Exam 2 (pdf)

Practice Exam 2 (word)

Another Practice Exam 2 (pdf)

Practice Problems

Solutions to Practice Problems

Practice Problems from the Text

PRACTICE FOR EXAM 3 Practice Exam 3 (pdf)

Another Practice Exam 3 (pdf)

Practice Problems from the Text

TURING MACHINES A Universal Turing Machine

Bounds on the Busy Beaver Function

Proof of Uncomputability of the Busy Beaver Function

References on the Busy Beaver Function

TuringKara manual in English

Kara Java archive; right click, save to disk with .jar extension, then double click.

PHILOSOPHICAL ISSUES Discussion of Goedel's theorem and other incompleteness results

Discussion of unsolvability of Hilbert's tenth problem

Mathematics and the Mind

Minds, Machines, and Goedel

The Goedelian Argument

Limitations of Self Knowledge

Minds, Machines, and Mathematics

The Non-Algorithmic Character of Human Consciousness

HANDOUTS Rules of Inference for Sets

Rules of Inference for Operations on Languages

HOMEWORK Homework 1