Apr 16, 2026  
2025-2026 University of Wyoming Catalog 
    
  Catalog Home

  Mission Statement
  Administration
  Degree Programs
  Course Offerings
  Colleges and Schools
  Division of Student Affairs
  Credit Available to Undergraduate Students
  Advising Career Exploratory Studies (ACES)
  Registration and Enrollment in Courses
  Admission to the University
  Disability Resources
  Division of Academic Affairs
  FERPA
  Grading System
  Graduate Student Regulations and Policies
  Graduation Requirements and Procedures
  Honor Societies and Programs
  Other University Services
  Special Programs and Facilities for Research and Study
  Scholarships and Financial Aid
  Tuition and Fees
  University Accreditation/Membership
  The University Studies Program 2015
  Armed Forces Services
  Faculty Index
  Intercollegiate Athletics
  National Outdoor Leadership School
  Success and Engagement Programs
  UWYO Courses
  Commonly Used Terms
  University of Wyoming at Casper
  My Portfolio
HELP
2025-2026 University of Wyoming Catalog [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

COSC 5220  - Languages and Automata

Credits: 3
Max Credit 3

The study of regular, context-free, and context-sensitive languages and their relations to finite-state, pushdown and linear-bounded automata. Context-free language recognition. The halting problem and decidability results.

Prerequisite: COSC 4100 .


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)