Search courses · All instructors
CSCI 510: Automata and Formal Language Theory
Advanced treatment of formal languages and automata; finite state machines; stack machines and Turing Machines; the Chomsky hierarchy; regular, context free, context sensitive languages, recursively enumerable languages.
Offered in 6 of the 26 listed terms (Fall 2021 to Fall 2026).
Catalog entryBrowse ClassesTextbooks (WWU Bookstore)
Prerequisites
Prerequisite tree
Each course's own prerequisites, down to the first courses in the chain.
- CSCI 201 Discrete Math and Functional Programming for Computer Scientists
requires CSCI 145 and (MATH 124 or MATH 125 or MATH 134 or MATH 135 or MATH 138 or Calculus AB AP Exam (AP66), score 3 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 3)- CSCI 145 Computer Programming and Linear Data Structures
requires CSCI 141 and (MATH 115 or MATH 118 or MATH 124 or MATH 125 or MATH 138 or MATH 156 or MATH 157 or Precalculus AP Exam (AP65), score 5 or Calculus AB AP Exam (AP66), score 2 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 2 or Pre-Calculus 2 (PC2), score 1.70 or MPT - Advanced - Scaled Score, score 153 or ALEKS Math Placement Assessmnt, score 80)- CSCI 141 Computer Programming I
requires MATH 112 or MATH 114 or MATH 115 or MATH 118 or MATH 124 or MATH 125 or MATH 134 or MATH 138 or MATH 156 or MATH 204 or Pre-Calculus 1 (PC1), score 1.70 or Precalculus AP Exam (AP65), score 3 or Calculus AB AP Exam (AP66), score 2 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 2 or Pre-Calculus (PC), score 1.70 or Pre-Calculus 2 (PC2), score 1.70 or College Algebra (CA), score 1.70 or MPT General - Scaled Score, score 152 or MPT - Advanced - Scaled Score, score 143 or ALEKS Math Placement Assessmnt, score 55- MATH 112 Functions and Algebraic Methods
requires MPT - Advanced - Scaled Score, score 143 or MATH 099 (minimum grade YP) or College Algebra (CA), score 1.70 or Intermediate Algebra (IA), score 1.70 or MPT General - Scaled Score, score 148 or ALEKS Math Placement Assessmnt, score 35 or Precalculus AP Exam (AP65), score 2 or MATH 197C (minimum grade S) or MATH 109 (minimum grade S) - MATH 114 Precalculus I
requires MPT General - Scaled Score, score 153 or MPT - Advanced - Scaled Score, score 143 or ALEKS Math Placement Assessmnt, score 55 or MATH 112 or Precalculus AP Exam (AP65), score 3 or College Algebra (CA), score 1.70 or Pre-Calculus 1 (PC1), score 1.70- MATH 112 Functions and Algebraic Methods (shown above)
- MATH 115 Precalculus II
requires MATH 114 or Precalculus AP Exam (AP65), score 4 or ALEKS Math Placement Assessmnt, score 65- MATH 114 Precalculus I (shown above)
- MATH 118 Accelerated Precalculus
requires MPT General - Scaled Score, score 158 or MPT - Advanced - Scaled Score, score 149 or Precalculus AP Exam (AP65), score 4 or Calculus AB AP Exam (AP66), score 2 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 2 or ALEKS Math Placement Assessmnt, score 70 - MATH 124 Calculus and Analytic Geometry I
requires MPT - Advanced - Scaled Score, score 153 or MATH 115 or MATH 118 or Precalculus AP Exam (AP65), score 5 or Calculus BC AP Exam (AP68), score 3 or Calculus AB AP Exam (AP66), score 2 or Calc AB Subscore AP Exm (AP69), score 2 or Pre-Calculus 2 (PC2), score 2.30 or ALEKS Math Placement Assessmnt, score 80 - MATH 125 Calculus and Analytic Geometry II
requires MATH 124 or MATH 134 or Calculus AB AP Exam (AP66), score 4 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 4 - MATH 134 Calculus I Honors
requires MATH 115 (minimum grade A) or MATH 118 (minimum grade A) or Math Placement - Advanced 2, score 20 or Precalculus AP Exam (AP65), score 5 - MATH 138 Accelerated Calculus
requires Calculus AB AP Exam (AP66), score 4 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 4 or (Calculus BC AP Exam (AP68), score 2 and Calc AB Subscore AP Exm (AP69), score 3) - MATH 156 Algebra With Applications to Business and Economics
requires MPT General - Scaled Score, score 152 or MPT - Advanced - Scaled Score, score 143 or ALEKS Math Placement Assessmnt, score 55 or Precalculus AP Exam (AP65), score 3 or College Algebra (CA), score 1.70 or Pre-Calculus 1 (PC1), score 1.70 or MATH 112- MATH 112 Functions and Algebraic Methods (shown above)
- MATH 204 Elementary Linear Algebra
requires MATH 125 or MATH 135 or MATH 138
- MATH 112 Functions and Algebraic Methods
- MATH 115 Precalculus II
requires MATH 114 or Precalculus AP Exam (AP65), score 4 or ALEKS Math Placement Assessmnt, score 65- MATH 114 Precalculus I (shown above)
- MATH 118 Accelerated Precalculus
requires MPT General - Scaled Score, score 158 or MPT - Advanced - Scaled Score, score 149 or Precalculus AP Exam (AP65), score 4 or Calculus AB AP Exam (AP66), score 2 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 2 or ALEKS Math Placement Assessmnt, score 70 - MATH 124 Calculus and Analytic Geometry I
requires MPT - Advanced - Scaled Score, score 153 or MATH 115 or MATH 118 or Precalculus AP Exam (AP65), score 5 or Calculus BC AP Exam (AP68), score 3 or Calculus AB AP Exam (AP66), score 2 or Calc AB Subscore AP Exm (AP69), score 2 or Pre-Calculus 2 (PC2), score 2.30 or ALEKS Math Placement Assessmnt, score 80 - MATH 125 Calculus and Analytic Geometry II
requires MATH 124 or MATH 134 or Calculus AB AP Exam (AP66), score 4 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 4 - MATH 138 Accelerated Calculus
requires Calculus AB AP Exam (AP66), score 4 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 4 or (Calculus BC AP Exam (AP68), score 2 and Calc AB Subscore AP Exm (AP69), score 3) - MATH 156 Algebra With Applications to Business and Economics
requires MPT General - Scaled Score, score 152 or MPT - Advanced - Scaled Score, score 143 or ALEKS Math Placement Assessmnt, score 55 or Precalculus AP Exam (AP65), score 3 or College Algebra (CA), score 1.70 or Pre-Calculus 1 (PC1), score 1.70 or MATH 112- MATH 112 Functions and Algebraic Methods (shown above)
- MATH 157 Calculus with Applications to Business and Economics
requires MPT - Advanced - Scaled Score, score 148 or MATH 156 or MATH 114 or MATH 118 or Pre-Calculus 2 (PC2), score 2.30 or ALEKS Math Placement Assessmnt, score 65 or Pre-Calculus 1 (PC1), score 2.3 or Pre-Calculus (PC), score 2.3 or Precalculus AP Exam (AP65), score 4 or Calculus AB AP Exam (AP66), score 2 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 2
- CSCI 141 Computer Programming I
- MATH 124 Calculus and Analytic Geometry I
requires MPT - Advanced - Scaled Score, score 153 or MATH 115 or MATH 118 or Precalculus AP Exam (AP65), score 5 or Calculus BC AP Exam (AP68), score 3 or Calculus AB AP Exam (AP66), score 2 or Calc AB Subscore AP Exm (AP69), score 2 or Pre-Calculus 2 (PC2), score 2.30 or ALEKS Math Placement Assessmnt, score 80 - MATH 125 Calculus and Analytic Geometry II
requires MATH 124 or MATH 134 or Calculus AB AP Exam (AP66), score 4 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 4 - MATH 134 Calculus I Honors
requires MATH 115 (minimum grade A) or MATH 118 (minimum grade A) or Math Placement - Advanced 2, score 20 or Precalculus AP Exam (AP65), score 5 - MATH 135 Calculus II Honors
- MATH 138 Accelerated Calculus
requires Calculus AB AP Exam (AP66), score 4 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 4 or (Calculus BC AP Exam (AP68), score 2 and Calc AB Subscore AP Exm (AP69), score 3)
- CSCI 145 Computer Programming and Linear Data Structures
- CSCI 301 Formal Languages and Functional Programming
requires CSCI 145- CSCI 145 Computer Programming and Linear Data Structures (shown above)
From Banner's catalog for Spring 2027. Banner lists only the requisites it enforces, so check the catalog entry too.
Required by (4)
CSCI 515, CSCI 520, CSCI 577, CSCI 579
What it leads to
Courses that list it as a prerequisite, then the courses that list those, 2 levels deep.
Syllabi and course websites
None listed yet.
Instructors
| Instructor | Sections | Terms |
|---|---|---|
| Liu, Yudong | 4 | Fall 2023 to Fall 2026 |
| Hearne, James | 2 | Fall 2021 |
| Jagodzinski, Filip | 1 | Fall 2022 |
Every offering in the listed terms (7 sections)
| Term | Sec | CRN | Type | Meets | Instructor | Enrolled | Delivery |
|---|---|---|---|---|---|---|---|
| Fall 2026 | 0 | 40848 | Lecture | TR 2:00pm-3:40pm · CF 227 | Liu, Yudong | 8/20 | Face to Face Instruction |
| Fall 2025 | 0 | 40916 | Lecture | MTWF 8:00am-8:50am · CF 225 | Liu, Yudong | 12/30 | Face to Face Instruction |
| Fall 2024 | 0 | 40980 | Lecture | MTWF 2:00pm-2:50pm · SL 140 | Liu, Yudong | 21/30 | Face to Face Instruction |
| Fall 2023 | 0 | 41150 | Lecture | MTWF 12:00pm-12:50pm · CF 314 | Liu, Yudong | 27/30 | Face to Face Instruction |
| Fall 2022 | 0 | 41220 | Lecture | TR 2:00pm-3:40pm · CF 125 | Jagodzinski, Filip | 20/30 | Face to Face Instruction |
| Fall 2021 | 02 | 44826 | Lecture | MTWF 2:00pm-2:50pm · REMOTE SYNC | Hearne, James | 1/0 | Face to Face Instruction |
| Fall 2021 | 0 | 41357 | Lecture | MTWF 2:00pm-2:50pm · CF 125 | Hearne, James | 29/29 | Face to Face Instruction |