Computer Science 423/523
Finite Automata and Theory of Computation


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 and honor code violation.


Syllabus

You can retrieve the syllabus for CSci 423/523.


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 TGIF (tgif on our system), or any other graphical tool available to you, and save them as EPS files. 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

I will post here the text of homeworks assigned in class. I encourage you to retrieve the ``.tex'' files and use them as templates to typeset your answers. If any of the following files is not found, it means that the corresponding homework is not yet available. You will need to have a link to, or a copy of, file /home/mom6/ciardo/Library/TeX/MASTER.tex to run the following files.

You can also retrieve the above files through regular Unix commands. They are in

~ciardo/public_html/teaching/CSci523


Last updated: November 19, 2001. Report suggestions and problems to: ciardo@cs.wm.edu
URL: http://www.cs.wm.edu/~ciardo/teaching/CSci523/CSci523.html