CS301
Foundations of Computer Science
Spring 2006
Department of Computer Science

Overview Announcements Schedule Instructors Grading Class Material Discussion Board Resources

Resources

Note: Colorado State University in no way endorses, supports, or is affiliated with the resources listed on this page. The opinions expressed on any of the pages linked to from this page are entirely that of the person expressing them. We are in no way responsible for any information you receive from these sites and don't guarantee the correctness of answers you may receive on message boards, should you choose to use them.

Pumping Lemma

Nine Errors Students Commonly Make When Applying the Pumping Lemma,

Regular Expressions

How to Test Your Regular Expression, code and instructions for testing regular expressions on unix.
A Tao of Regular Expressions, by Steve Mansour,
Regular Expressions in JavaScript,
Java and Regular Expressions,
Regular Expressions tutorial and examples

Susan Rodger at Duke University

Some fun, interactive tools in Java to build and simulate automata, Turing Machines, and other things.

You can run a local version that allows you to save your automata you build.
To run it, type ~cs301/jflap/run
Once it starts, read how to use it by clicking on Help in the menu bar.
You can run the example from class by doing ~cs301/jflap/run -tm ~cs301/jflap/examples/class-ss.TM

Interactive Animation of Finite-State Automata, by Thomas Dunn

Includes Java source.

Alan Turing Internet Scrapbook,

Includes a Turing Machine simulation in Java

Turing Machines as Java Applets

Turing Machine, by Suzanne Britton
Another Turing Machine Animation
Here is one in Javascript.

Super-Turing

The Simple Dynamics of Super Turing Theories, by Hava Siegelmann. This link is to the paper via Science Direct, which you can download if you are browsing from within CSU.
Hypercomputation, at Wikipedia.

Miscellaneous

Poems on computational theory concepts, by Harry Mairson, a CS professor at Brandeis University
Ray Kurzweil's publications, including The Age of Spiritual Machines,
Neural networks, automata, and formal models of computation, by Mikel L. Forcada
Grammatical Induction website, and the 7th International Colloquium on Grammatical Inference, 2004
JMLR Special Issue on Shallow Parsing

LaTeX

Tutorials and guides
- Getting to grips with Latex, tutorials by A. Roberts,
- LaTeX for Word Processor Users,
- Report Writing with LaTeX, from the University of Cambridge,
- Resources for students at the University of Leeds, including help with R and LaTeX.
- A Simplified Introduction to LaTeX, by H.J. Greenberg, 136 pages,
- The not so Short Introduction to LaTeX2e, by T. Oetiker, 145 pages
- How-to make a PDF-document from a LaTeX - source, by Patrick Jockel, including how to generate bookmarks automatically for table of contents entries,
- Latex Reference Card
Implementations
- The teTeX Homepage,
- MiKTeX, a TeX implementation for the Windows operating system,
- etex, a plug-in for Eclipse for formatting in LaTeX,

CS301 Foundations of Computer Science Spring 2006 Department of Computer Science