Shaojun Z. from Bellevue, WA
$100.00
Shop on Wyzant
Add to price tracker
Description
About me: ========= I teach (1) *Theory of Computation* (a) Automata Theory: DFA, NFA, regular language, pumping lemma for regular languages, prove some languages are not regular; CFL, CFG, Pushdown automata; (b) Computability Theory: Turing Machines, how Turing machines work; decidable and undecidable languages; the halting problem; the general reducibility and mapping reducibility technique; Rice's theorem for proving undecidability; prove some languages are undecidable using prove by c
