Apr 18, 2026  
2025-2026 UH Mānoa Catalog 
    
2025-2026 UH Mānoa Catalog [ARCHIVED CATALOG]

ICS 441 - Theory of Computation


Credits: 3

Grammars, sequential machines, equivalence, minimalization, analysis and synthesis, regular expressions, computability, unsolvability, Gödel’s theorem, Turing machines.

Prerequisites: (ICS 311  or ECE 367 ) and ICS 314 , or consent.