Software Foundations via Formal Languages
CAS CS 516
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.
SPRG 2025 Schedule
| Section | Instructor | Location | Schedule | Notes |
|---|---|---|---|---|
| A1 | Stoughton | KCB 201 | TR 11:00 am-12:15 pm | course information https://www.bu.edu/academics/cas/courses/computer-science/ |
SPRG 2025 Schedule
| Section | Instructor | Location | Schedule | Notes |
|---|---|---|---|---|
| A2 | Stoughton | CAS 203 | T 6:30 pm-7:45 pm | course information https://www.bu.edu/academics/cas/courses/computer-science/ |
Note that this information may change at any time. Please visit the MyBU Student Portal for the most up-to-date course information.
