Undergraduate Prerequisites: (CASCS320 & CASCS330) or equivalent courses approved by the instructor. - Study of the hierarchy of formal languages with a focus on algorithms on the formalisms. Experimentation with these algorithms using a computer toolset. Applications of these algorithms to compiler construction, implementation of finite-state control devices, and formal methods.

Note that this information may change at any time. Please visit the MyBU Student Portal for the most up-to-date course information.