Description An introduction into advanced topics in the theory of computation. Topics include: basics of formal languages, models of computers, regular expressions, deterministic and nondeterministic finite automata, computability and computational complexity. Requisites Complete the following:CS2720 - Formal Systems and Logic in Computing Science (3) Course Timetable A2 Tue, Thu from 11:30 to 12:50 Sep 3 2025 - Dec 20 2025 Grande Prairie Campus Room H211 Instructor BRedmond Open: 0 of 20 spots filled Add to timetable add S1 Mon from 14:30 to 16:20 Sep 3 2025 - Dec 20 2025 Grande Prairie Campus Room H211 Instructor BRedmond Open: 0 of 20 spots filled Add to timetable add Course Outlines Find out everything you need to know about your upcoming or past courses. Understand the learning outcomes, evaluation methods, delivery mode, and prerequisites. View all historical course outlines
Related Programs Find your fit with career-focused education and practical connections at every step. Explore All Programs