CS 150
Theory of Automata and Formal Languages


Important copyright notice

The following material is presented to ensure timely dissemination of information among the students in the classes I teach. Further distribution of this material is prohibited, and constitutes a copyright violation.


Syllabus

You can retrieve the syllabus for CS 150.


Notation

Notation is very important in our field. I have prepared a table of symbols I most frequently use. You can retrieve the LaTeX source Notation.tex , or the postscript file Notation.ps obtained from it.


Typesetting your homeworks

You are required to typeset your homeworks using LaTeX (latex on our system), the standard high-quality typesetting program in our field. To include figures in your homework, you can draw them using any graphical tool available to you, provided it can generate graphic files in a format that can be included in LaTeX (e.g., EPS). I like TGIF, which is free and runs on a variety of platforms, or OmniGraffle, which runs only on Macintosh computers and is a commercial product.

Here is an example of how to include a file Figure.eps, generated from the TGIF file Figure.obj, into a file Figure.tex.


Homeworks

Homeworks will be posted on the moodle page for this course


Last updated: September 25, 2006
Report suggestions and problems to ciardo@cs.ucr.edu
URL: http://www.cs.ucr.edu/~ciardo/teaching/CS150/CS150.html