Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.
   
    Mar 14, 2025  
2008-2009 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  President’s Message
  Abbreviations
  Academic Calendars
  Academic Policies
  Admission
  Auxiliary Services
  Colleges and Programs
  Course Descriptions
  Disclaimers
  Expenses and Fees
  Facilities and Centers
  Financial Aid
  Graduate Catalog
  General Education Requirements
  Honors College
  Officers and Faculty
  Majors and Minors
  Printable Course Descriptions
  Student Services and Facilities
  University Overview
  The University of Maine
  My Portfolio
HELP
2008-2009 Undergraduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

COS 451 - Automata, Computability, and Languages

Fundamentals of formal languages and the mathematical theory of computation; finitestate automata, nondeterminism, regular expressions, and Kleene’s Theorem; context-free grammars, pushdown automata, the correspondence theorem and the pumping lemma; computability, Turning machines, and the halting problem.

Prerequisites & Notes
COS 250.

Credits: 3


Add to Portfolio (opens a new window)
   
All catalogs © 2025 The University of Maine.
Powered by Modern Campus Catalog™.