CSCI-B 401 Fundamentals of Computer Theory
- Prerequisites: CSCI-C 310, CSCI-C 343, or CSCI 36200
- Delivery: On-Campus
Fundamentals of formal language theory, computation models and computability, the limits of computability and feasibility, and program verification.
- Understand basic concepts in formal language theory, grammars, automata theory, computability theory, and complexity theory.
- Analyze and design finite automata, pushdown automata, Turing machines, formal languages, and grammars.
- Relate real-world problems to languages, automata, computability, and complexity.
There is not a syllabus available for this course.