User Tools

Site Tools


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.” -

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