Jun 27, 2025  
2025-2026 UH Mānoa Catalog 
  
2025-2026 UH Mānoa 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.