CS317: Introduction to Design & Analysis of Algorithms
UAH CS317: complexity analysis, searching, sorting, graph algorithms, divide & conquer, dynamic programming, backtracking, and P versus NP.
Teaching
Academic courses and educational materials.
CS403: Introduction to Formal Languages & Automata Theory
UAH CS403: finite automata, regular expressions, grammars, pushdown automata, Turing machines, and the halting problem, built up one model at a time on paper.
CS603: Formal Languages & Automata Theory
UAH CS603, graduate formal languages and automata: DFAs, NFAs, regular languages, grammars, pushdown and linear-bounded automata, decidability.