May 06, 2026  
2026-2027 UH Mānoa Catalog 
    
2026-2027 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.