COT 4420 Theory of Computation

Course materials are coming soon. This page will collect topic outlines, selected explanations, and supporting resources as they are added.

Course focus

Theory of Computation studies formal languages and models of computation, including the questions of what can be computed and where computational limits arise.

See the UWF course catalog for the official COT 4420 description. The textbook, schedule, and course-specific materials will be added here when available.

Related background

These existing resources may be useful for reviewing notation and earlier ideas:

• Syntax and semantics in programming languages
• A context-free grammar example
• Mathematics resources

The complete course outline will be added as the materials develop.