Automata, Formal Languages, Abstract Switching,
and Computability in a Ph.D. Computer Science 
Program
A number of courses are listed in the area
describe as automata, formal languages, abstract 
switching, and computability, that might be available
to a Ph.D. student in computer science.  A brief 
catalog description of each course is applied and the
role of each of the courses in the graduate program 
is discussed.
CACM November, 1968
McNaughton, R.
