COSC 50133 - Formal Languages

Prerequisites: COSC 40603. Languages and grammars which can be characterized in formal terms, for the purpose of constructing models for artificial (computer) languages. Topics will include finite automata, push down automata, Turing machines, solvable and unsolvable problems, etc.





Texas Christian University
© Copyright 2007. All Rights Reserved.
Disclaimer