Csci 520: Formal Theory of Computer Languages
COMPUTER & INFORMATION SCIENCE
A detailed study of mathematical models of regular and context-free languages, nondeterministic and deterministic models; closure properties, design algorithms, simplification of grammars.
3 Credits
Prerequisites
- Pre-requisite: CSCI 311 or CSCI 500 or Graduate Standing
Instruction Type(s)
- Lecture: Lecture for Csci 520
Subject Areas
The policies and regulations contained in this online University of Mississippi Catalog are in effect for the current or selected semester. The catalog is not a contract, but rather a guide for the convenience of students. The University of Mississippi reserves the right to 1) change or withdraw courses; 2) change the fees, rules, and schedules for admission, registration, instruction, and graduation; and 3) change other regulations affecting the student body at any time. Implicit in each student’s enrollment with the university is an agreement to comply with university rules and regulations, which the university may modify to exercise properly its educational responsibility.