COM S 381: Introduction to Theory of Computing

Cross-Listing: Not cross-listed.

An introduction to the modern theory of computing: automata theory, formal languages, and effective computability.

Offered: Fall and Summer

Prerequisites: COM S 280 or permission of instructor. Credit will not be granted for both COM S 381 and COM S 481. Corrective transfers between COM S 381 and COM S 481 (in either direction) are encouraged during the first few weeks of instruction.

Grade options: Letter or S/U

Credit hours: 3

Recent offerings:

• http://www.cs.cornell.edu/courses/cs381/2007fa
  • John Hopcroft
• http://www.cs.cornell.edu/courses/cs381/2007su
  • James Worthington
• http://www.cs.cornell.edu/courses/cs381/2006fa
  • John Hopcroft