User Tools

Site Tools


csci_435_-_formal_languages_and_automata

CSci 435 - Formal Languages and Automata

A study of automata, grammars, and Turing machines as specifications for formal languages. Computation is defined in terms of deciding properties of formal languages, and the fundamental results of computability and decidability are derived.

Credits Offered Lab Pre-requisites Recommended co-requisite
3 Fall No CSci 242 -

This course is eligible for graduate credit.


Language Lab

“The LanguageLab is a collection of Java objects that implement formal languages, automata, and grammars in a hands-on development environment.” - http://people.aero.und.edu/~oneil/pubs/mics06.pdf

csci_435_-_formal_languages_and_automata.txt · Last modified: 2013/08/01 11:00 by jhuber