ECS 120 Theory of Computation

David Doty (adapted from slides authored by Julian Panetta)

Search

Decks (22)

Deck
1 ECS 120 Theory of Computation — Strings and languages
02a_Strings-deck.html
2 ECS 120 Theory of Computation — Deterministic finite automata (DFA)
03a_DFA-deck.html
3 ECS 120 Theory of Computation — Regular expressions (Regex)
04a_Regex-deck.html
4 ECS 120 Theory of Computation — Context-free grammars (CFG)
04b_CFG-deck.html
5 ECS 120 Theory of Computation — Nondeterministic finite automata (NFA)
04c_NFA-deck.html
6 ECS 120 Theory of Computation — Closure of DFA-decidable languages
05a_DFAClosure-deck.html
7 ECS 120 Theory of Computation — Closure of NFA-decidable languages
05b_NFAClosure-deck.html
8 ECS 120 Theory of Computation — Equivalence of DFAs and NFAs
06a_DFA_NFA_Equivalence-deck.html
9 ECS 120 Theory of Computation — Equivalence of regular grammars and NFAs
06b_RG_NFA_Equivalence-deck.html
10 ECS 120 Theory of Computation — Equivalence of regex’s and NFAs
06c_Regex_NFA_Equivalence-deck.html
11 ECS 120 Theory of Computation — Nonregular languages
07a_NonregularLanguages-deck.html
12 ECS 120 Theory of Computation — Turing machines
08a_TuringMachines-deck.html
13 ECS 120 Theory of Computation — Languages of Turing machines, Turing machine variants, and TMs versus code
08b_TuringMachineVariants-deck.html
14 ECS 120 Theory of Computation — Asymptotic analysis
09a_AsymptoticAnalysis-deck.html
15 ECS 120 Theory of Computation — Time complexity and the class P
09b_ClassP-deck.html
16 ECS 120 Theory of Computation — The class NP
10a_NP-deck.html
17 ECS 120 Theory of Computation — NP-completeness, satisfiability, and polynomial-time reductions
10b_SAT_Reductions-deck.html
18 ECS 120 Theory of Computation — NP-completeness
10c_NP-Completeness-deck.html
19 ECS 120 Theory of Computation — Undecidability
11a_Undecidability-deck.html
20 ECS 120 Theory of Computation — Sizes of sets
11b_SizesOfSets-deck.html
21 ECS 120 Theory of Computation — Diagonalization and Undecidability of the Halting Problem
11c_DiagonalizationHalting-deck.html
22 ECS 120 Theory of Computation — Week 1 Discussion: Discrete Math Review
Discussion_01-deck.html