theory of computation

paolobettelini · Dec 17, 2023 · b710aab · b710aab
1 parent a12734a
commit b710aab
Show file tree

Hide file tree

Showing 11 changed files with 1,020 additions and 707 deletions.
diff --git a/source/courses/theoryofcomputation.json b/source/courses/theoryofcomputation.json
@@ -3,8 +3,38 @@
     "pages": [
         [
             1,
-            "Theory of Computation",
-            "theoryofcomputation"
+            "Introduction",
+            "theoryofcomputation-introduction"
+        ],
+        [
+            1,
+            "Alphabets and languages",
+            "theoryofcomputation-alphabets"
+        ],
+        [
+            1,
+            "Deterministic finite automaton",
+            "theoryofcomputation-dfa"
+        ],
+        [
+            1,
+            "Nondeterministic finite automaton",
+            "theoryofcomputation-nfa"
+        ],
+        [
+            1,
+            "DFA vs NFA",
+            "theoryofcomputation-dfa-vs-nfa"
+        ],
+        [
+            1,
+            "Regular Languages",
+            "theoryofcomputation-regular-languages"
+        ],
+        [
+            1,
+            "Regular Expressions",
+            "theoryofcomputation-regular-expressions"
         ]
     ]
 }
diff --git a/source/resources.md b/source/resources.md
@@ -41,6 +41,10 @@ Functional analysis I
     - https://www.youtube.com/watch?v=yDdxFBcvSGw&list=PLBh2i93oe2qsGKDOsuVVw-OCAfprrnGfr
     - https://courses.maths.ox.ac.uk/pluginfile.php/26071/mod_resource/content/6/lecture-notes-MT-2019-April-2020.pdf
 
+Theory of computation
+    - https://cglab.ca/~michiel/TheoryOfComputation/TheoryOfComputation.pdf
+    - pag 71
+
 Topology
     - https://courses.maths.ox.ac.uk/course/view.php?id=1040