CSCI 3042

Formal Languages & Automata

New Mexico Institute of Mining and Technology · UGRD · Fall 2026

1 section

Catalog description

Regular expressions. Regular, context-free, context-sensitive and unrestricted grammars and languages. Finite and pushdown automata. Turing machines, recursive and recursively enumerable languages. Decidability and the halting problem. (Same as CSE 3042)

Sections

Current meeting, instructor, credit, and enrollment details

Updated 12 hours ago

001

Availability not recently verified

Class #new_mexico_mining_and-CSCI3042Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?