Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

Please tell us a little bit about yourself

Skip to main content
Ontario Tech University
   
    Dec 26, 2024  
2019-2020 Graduate Academic Calendar 
    
Catalog Navigation
  Calendar Home

  Programs (a to z)
  Programs (by degree)
  Programs (by faculty)
  Programs (by subject area)
  Course descriptions

  Academic regulations
  Governance

  Calendar notice and disclaimer
  Student privacy
  Academic schedule
  Fees and charges
  Glossary

  My favourites
HELP
2019-2020 Graduate Academic Calendar [ARCHIVED CALENDAR]

Add to favourites (opens a new window)

CSCI 5030G - Automata and Applications

This course studies the theories of various types of automata and their applications. Regular automata, Büchi automata, pushdown automata and finally tree automata are covered. Students discuss the respective formal languages and the fundamental theorems such as closure theorems and different versions of Nerode equivalences. The second part of the course discusses the applications of automata in selected areas of compilers, natural language processing, information retrieval, type checking of programs, composition of services and temporal logic reasoning.
Credit hours: 3
Prerequisite(s): Undergraduate courses in Discrete Mathematics, Algebra and Computational Complexity.


Add to favourites (opens a new window)
   
All calendars © 2024 University of Ontario Institute of Technology.
Powered by Modern Campus Catalog™.