May 01, 2026  
2023-2024 Catalog 
    
2023-2024 Catalog [ARCHIVED CATALOG]

ETEC 3402 - Automata and Formal Languages

The study of formal models of computation in terms of abstract language and machine models. These include formal languages, finite state automata, pushdown automata, Turing machines, and grammars.

Credits: 3

Prereq: ETEC 3401
Lecture hours: 2
Lab hours: 3
Course/lab fee: $