![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 00-grabbag.pdf | 2025-05-24 19:23 | 448K | |
| 00-primrec.pdf | 2024-09-02 16:26 | 411K | |
| 02-coding.pdf | 2024-08-15 12:30 | 481K | |
| 05-loop-progs.pdf | 2024-08-15 12:30 | 402K | |
| 08-wild-computation.pdf | 2024-09-03 21:40 | 748K | |
| 10-combinatorics.pdf | 2025-05-21 14:18 | 417K | |
| 10-induction.pdf | 2025-06-20 14:27 | 586K | |
| 10-memoryless.pdf | 2025-05-24 19:23 | 476K | |
| 10-numberth.pdf | 2025-05-29 12:30 | 664K | |
| 10-register-mach.pdf | 2024-09-02 16:26 | 497K | |
| 12-memoryless.pdf | 2025-05-24 19:23 | 583K | |
| 12-numberth.pdf | 2025-05-29 12:30 | 422K | |
| 15-enumeration.pdf | 2025-05-21 14:18 | 463K | |
| 15-turing-mach.pdf | 2025-05-21 14:18 | 1.4M | |
| 17-closure.pdf | 2025-05-24 19:23 | 660K | |
| 18-sgrps-groups.pdf | 2025-05-29 12:30 | 921K | |
| 20-fibonacci.pdf | 2025-05-21 14:18 | 407K | |
| 20-groups.pdf | 2025-05-29 12:30 | 486K | |
| 20-models.pdf | 2025-06-05 14:40 | 405K | |
| 20-recursion.pdf | 2025-05-26 08:45 | 1.7M | |
| 20-statecomp.pdf | 2025-05-24 19:23 | 490K | |
| 22-in-exclusion.pdf | 2025-05-21 14:18 | 291K | |
| 22-minimization.pdf | 2025-05-24 19:23 | 476K | |
| 23-GL-3-2.pdf | 2025-05-29 12:30 | 348K | |
| 24-actions.pdf | 2025-05-29 12:30 | 588K | |
| 24-fast-minimization.pdf | 2025-05-24 19:23 | 490K | |
| 24-minimization.pdf | 2025-05-24 19:23 | 429K | |
| 24-moebius.pdf | 2025-05-21 14:18 | 314K | |
| 26-ndet-minimization.pdf | 2025-05-24 19:23 | 360K | |
| 26-polya-redfield.pdf | 2025-05-29 12:30 | 813K | |
| 28-bisimulation.pdf | 2025-05-24 19:23 | 274K | |
| 30-decidability.pdf | 2025-05-21 14:18 | 2.2M | |
| 30-gener-func.pdf | 2025-05-21 14:18 | 341K | |
| 30-iteration.pdf | 2025-06-21 14:38 | 604K | |
| 30-kleene-algebra.pdf | 2025-05-24 19:23 | 429K | |
| 30-semi-rings.pdf | 2025-05-29 12:30 | 319K | |
| 32-iteration.pdf | 2025-05-21 14:18 | 956K | |
| 32-kleene-regex.pdf | 2025-05-24 19:23 | 477K | |
| 32-polynomials.pdf | 2025-05-29 12:30 | 604K | |
| 34-interpolation.pdf | 2025-05-29 12:30 | 398K | |
| 34-iteration.pdf | 2025-05-21 14:18 | 13M | |
| 36-string-match.pdf | 2025-05-24 19:23 | 1.1M | |
| 40-ffields.pdf | 2025-05-29 12:30 | 560K | |
| 40-fundamentals.pdf | 2025-05-21 14:18 | 351K | |
| 41-ffields.pdf | 2025-05-29 12:30 | 401K | |
| 42-ffields-apps.pdf | 2025-05-29 12:30 | 597K | |
| 44-ffields-codes.pdf | 2025-05-29 12:30 | 729K | |
| 50-ordinals.pdf | 2025-08-27 21:55 | 430K | |
| 50-reductions.pdf | 2025-05-21 14:18 | 431K | |
| 50-rewrite.pdf | 2025-06-06 11:02 | 660K | |
| 50-sol-words.pdf | 2025-06-06 11:02 | 472K | |
| 52-mso-omega.pdf | 2025-05-24 19:23 | 368K | |
| 54-mso-ctl.pdf | 2025-05-24 19:23 | 452K | |
| 54-safra.pdf | 2025-05-24 19:23 | 452K | |
| 56-safra-demo.pdf | 2025-05-24 19:23 | 1.1M | |
| 58-modcheck-demo.pdf | 2025-05-24 19:23 | 717K | |
| 59-verification-CTL.pdf | 2025-05-24 19:23 | 365K | |
| 60-arith-hier.pdf | 2025-05-21 14:18 | 367K | |
| 60-omega.pdf | 2025-05-24 19:23 | 384K | |
| 60-padic.pdf | 2025-05-29 12:30 | 300K | |
| 62-omega.pdf | 2025-05-24 19:23 | 470K | |
| 65-safra-demo.pdf | 2025-05-24 19:23 | 1.1M | |
| 70-automatic-seq.pdf | 2025-05-24 19:23 | 563K | |
| 70-intermediate.pdf | 2025-05-21 14:18 | 718K | |
| 72-decimation.pdf | 2025-05-24 19:23 | 459K | |
| 75-priority.pdf | 2024-08-15 12:30 | 170K | |
| 78-automatic-demo.pdf | 2025-05-24 19:23 | 717K | |
| 80-automatic.pdf | 2025-05-24 19:23 | 1.5M | |
| 82-rational.pdf | 2025-05-24 19:23 | 584K | |
| 84-Presburger-quant.pdf | 2025-05-24 19:23 | 666K | |
| 86-Presburger-autom.pdf | 2025-05-24 19:23 | 495K | |
| 88-automatic-demo.pdf | 2025-05-24 19:23 | 717K | |
| 90-invertible.pdf | 2025-05-24 19:23 | 418K | |
| 92-elem-ca.pdf | 2025-05-24 19:23 | 1.5M | |
| AckermannSld.nb | 2024-08-15 12:30 | 23K | |
| AlternatingWords.txt | 2024-08-15 12:30 | 34K | |
| Booker2019-33-3-cubes.pdf | 2025-05-21 14:18 | 305K | |
| BrentPollard1981-Fermat-8.pdf | 2025-09-17 22:22 | 371K | |
| Budnik2012-ordcalc.pdf | 2025-08-20 12:43 | 255K | |
| Budnik2012-ordinal-calculator.pdf | 2025-08-20 12:43 | 1.7M | |
| Burnside.mp4 | 2025-11-11 19:06 | 223M | |
| Conway1987-fractran.pdf | 2025-05-21 14:18 | 3.1M | |
| ConwayFactors.pdf | 2025-05-24 19:23 | 304K | |
| CulikYu.pdf | 2024-08-15 12:30 | 96K | |
| DFA-minimizer.cc | 2024-08-15 12:30 | 5.7K | |
| Davis2004-myth-hyper.pdf | 2024-12-01 11:29 | 196K | |
| FitelsonZalta2007-comp-metaphysics.pdf | 2025-06-20 13:11 | 1.4M | |
| Genealogy.pdf | 2024-08-15 12:30 | 16K | |
| GoedelvonNeumann.pdf | 2024-08-15 12:30 | 57K | |
| Gries1972.pdf | 2024-09-26 15:11 | 1.1M | |
| Harland2016.pdf | 2024-08-15 12:30 | 681K | |
| HartmanisLewisStearns1965.pdf | 2025-09-13 07:05 | 429K | |
| Hopcroft1971.pdf | 2024-08-15 12:30 | 541K | |
| Karp1971.pdf | 2024-08-15 12:30 | 10M | |
| Kleene1951.pdf | 2024-08-15 12:30 | 3.5M | |
| Knuth-20q.pdf | 2024-08-15 12:30 | 341K | |
| Knuutila2001.pdf | 2024-09-26 15:12 | 216K | |
| Korec1996-small-universal-RM.pdf | 2024-09-07 18:15 | 2.3M | |
| MIPSRE.pdf | 2024-08-15 12:30 | 1.5M | |
| Mandelbrot-slow.gif | 2024-08-15 12:30 | 24M | |
| Mandelbrot.gif | 2024-08-15 12:30 | 24M | |
| MarxenBuntrock1990-busy-beaver-5.pdf | 2024-12-25 14:09 | 45K | |
| McCullochPitts1943.pdf | 2024-08-15 12:30 | 869K | |
| Moore1956-gedanken-experiments.pdf | 2025-10-01 14:27 | 1.0M | |
| Moschovakis2002.pdf | 2024-09-26 21:23 | 338K | |
| PolyaRedfield.mp4 | 2025-11-11 19:06 | 221M | |
| PostsProb.pdf | 2025-05-21 14:18 | 269K | |
| PostsProblem.pdf | 2025-05-21 14:18 | 269K | |
| RabinScott1959.pdf | 2024-08-15 12:30 | 1.3M | |
| Seisenberger00.pdf | 2024-08-15 12:30 | 229K | |
| ShepherdsonSturgis1963.pdf | 2024-08-15 12:30 | 2.1M | |
| Smith2020-2-3-Turing-mach.pdf | 2025-05-21 14:18 | 291K | |
| Sutner1989-Culik-Yu.pdf | 2025-05-21 14:18 | 2.4M | |
| TM23Proof.pdf | 2024-08-15 12:30 | 741K | |
| Tarjan1972-sccs.pdf | 2025-10-27 11:15 | 1.5M | |
| Turing1936-computable-numbers.pdf | 2025-05-21 14:18 | 2.1M | |
| Valmari2012.pdf | 2024-09-26 21:23 | 132K | |
| Vardi1989-2DFA.pdf | 2025-09-17 11:00 | 525K | |
| Xu2024-busy-beaver-skelet-17.pdf | 2024-12-24 19:31 | 359K | |
| ackermann.cc | 2024-08-15 12:30 | 1.2K | |
| bloomington14-6up.pdf | 2024-08-15 12:30 | 821K | |
| chatgpt-cdm.org | 2025-08-14 21:59 | 1.9K | |
| cmu05-talk.pdf | 2024-08-15 12:30 | 913K | |
| fsm.pdf | 2025-05-24 19:23 | 2.3M | |
| jeric.pdf | 2024-08-15 12:30 | 104K | |
| ks-exam.cls | 2024-08-15 12:30 | 5.8K | |
| ks-texmacs.sty | 2024-10-10 11:09 | 15K | |
| ksassgn.sty | 2024-08-15 12:30 | 5.9K | |
| kstexmacs.sty | 2024-08-15 12:30 | 13K | |
| lec-11-1.mp4 | 2025-09-29 16:24 | 107M | |
| lec-11-2.mp4 | 2025-09-29 16:24 | 181M | |
| main-fund.pdf | 2024-09-02 16:26 | 3.4M | |
| midterm-23.tex | 2024-08-15 12:30 | 7.5K | |
| midterm-24.pdf | 2024-10-10 11:07 | 163K | |
| midterm-24.tex | 2024-10-10 11:07 | 8.2K | |
| selection.pdf | 2025-08-14 21:59 | 779K | |
| xor-map.pdf | 2024-08-15 12:30 | 1.2M | |