| 2024/04/26 21:39 | Horea Caramizaru | 0 Comments | 0 Linkbacks | course, formal-languages, automata, theory-of-computation, math, discrete-math, mit-opencourseware, language-theory, computability-theory, complexity-theory, michael-sipser, mit | |
| 2023/10/17 09:23 | Horea Caramizaru | 0 Comments | 0 Linkbacks | math, discrete-math, formal-languages, automata, theory-of-computation, finite-state-machines, fsm, pumping-lemma, context-free-languages, cfg, pushdown-machines, undecidability, turing-machines, halting-problem, decidability, complexity-theory, savitch s-theorem, space-hierarchy, complexity-relationship, recursion-theorem, shai-simonson |