diff --git a/_images/209cf76eacc418be51b6ae3fe263695f3d8f5693bbfb7106a0c5f42abcbd5201.svg b/_images/209cf76eacc418be51b6ae3fe263695f3d8f5693bbfb7106a0c5f42abcbd5201.svg new file mode 100644 index 00000000..7f3298b9 --- /dev/null +++ b/_images/209cf76eacc418be51b6ae3fe263695f3d8f5693bbfb7106a0c5f42abcbd5201.svg @@ -0,0 +1,89 @@ + + + + + + + + + +2e686493-c0f3-44ab-a3da-a1ad19aa4325 + + + + + + + +A + +A + + + +2e686493-c0f3-44ab-a3da-a1ad19aa4325->A + + + + + + + + +A->A + + +a + + + +B + +B + + + +A->B + + +a + + + +B->A + + +b + + + +C + +C + + + +B->C + + +b + + + +D + + +D + + + +C->D + + +a,ε + + + \ No newline at end of file diff --git a/_images/26a65b60d936da372728bbc6b997f01baf31dfbb1b7a22e1876bf2e0015d33c3.svg b/_images/26a65b60d936da372728bbc6b997f01baf31dfbb1b7a22e1876bf2e0015d33c3.svg new file mode 100644 index 00000000..550332f8 --- /dev/null +++ b/_images/26a65b60d936da372728bbc6b997f01baf31dfbb1b7a22e1876bf2e0015d33c3.svg @@ -0,0 +1,70 @@ + + + + + + + + + +e94da0ea-bbd2-41cb-8dd6-c027095eb507 + + + + + + + +E + + +E + + + +e94da0ea-bbd2-41cb-8dd6-c027095eb507->E + + + + + + + + +E->E + + +0 + + + +O + +O + + + +E->O + + +1 + + + +O->E + + +1 + + + +O->O + + +0 + + + \ No newline at end of file diff --git a/_images/5897400d108280844a3c1b78c79b7944c73ded6021017e6588af52c1682ab516.svg b/_images/5897400d108280844a3c1b78c79b7944c73ded6021017e6588af52c1682ab516.svg new file mode 100644 index 00000000..df9c369d --- /dev/null +++ b/_images/5897400d108280844a3c1b78c79b7944c73ded6021017e6588af52c1682ab516.svg @@ -0,0 +1,1502 @@ + + + + + + + + 2024-03-03T15:13:36.306009 + image/svg+xml + + + Matplotlib v3.8.0, https://matplotlib.org/ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/_images/5d1860f114135fe51135a19e1acb86a2d0b7a33b975901aa910ed61dc163a0a3.svg b/_images/5d1860f114135fe51135a19e1acb86a2d0b7a33b975901aa910ed61dc163a0a3.svg new file mode 100644 index 00000000..30c27996 --- /dev/null +++ b/_images/5d1860f114135fe51135a19e1acb86a2d0b7a33b975901aa910ed61dc163a0a3.svg @@ -0,0 +1,1862 @@ + + + + + + + + 2024-03-03T15:14:26.427687 + image/svg+xml + + + Matplotlib v3.8.0, https://matplotlib.org/ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/_images/6c77bdc8e20730afd695cc8524b043ee53e81f6fca1ee2641a892e2c0dc51d22.svg b/_images/6c77bdc8e20730afd695cc8524b043ee53e81f6fca1ee2641a892e2c0dc51d22.svg new file mode 100644 index 00000000..62913b7d --- /dev/null +++ b/_images/6c77bdc8e20730afd695cc8524b043ee53e81f6fca1ee2641a892e2c0dc51d22.svg @@ -0,0 +1,83 @@ + + + + + + + + + +eda7403f-45d4-41fd-91a3-c171e2835a93 + + + + + + + +A + +A + + + +eda7403f-45d4-41fd-91a3-c171e2835a93->A + + + + + + + + +A->A + + +0 + + + +B + +B + + + +A->B + + +1 + + + +B->A + + +0 + + + +C + + +C + + + +B->C + + +1 + + + +C->C + + +0,1 + + + \ No newline at end of file diff --git a/_images/7362addfccf4605cf43c407b128697909f150ba5df8f8e821b1b18c61f7637dc.svg b/_images/7362addfccf4605cf43c407b128697909f150ba5df8f8e821b1b18c61f7637dc.svg new file mode 100644 index 00000000..b13446ae --- /dev/null +++ b/_images/7362addfccf4605cf43c407b128697909f150ba5df8f8e821b1b18c61f7637dc.svg @@ -0,0 +1,1985 @@ + + + + + + + + 2024-03-03T15:14:00.567611 + image/svg+xml + + + Matplotlib v3.8.0, https://matplotlib.org/ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/_images/808a8256d904061314b4a60b5e530e906f308ea5c2de20dfcb16e1d371f5e843.svg b/_images/808a8256d904061314b4a60b5e530e906f308ea5c2de20dfcb16e1d371f5e843.svg new file mode 100644 index 00000000..4fdca7e9 --- /dev/null +++ b/_images/808a8256d904061314b4a60b5e530e906f308ea5c2de20dfcb16e1d371f5e843.svg @@ -0,0 +1,1595 @@ + + + + + + + + 2024-03-03T15:13:37.249984 + image/svg+xml + + + Matplotlib v3.8.0, https://matplotlib.org/ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/_images/a266289ede38b7a0c4c6b9b159fe988980a96d6466b765c64187203f7b8cbc4d.svg b/_images/a266289ede38b7a0c4c6b9b159fe988980a96d6466b765c64187203f7b8cbc4d.svg new file mode 100644 index 00000000..26db1b4e --- /dev/null +++ b/_images/a266289ede38b7a0c4c6b9b159fe988980a96d6466b765c64187203f7b8cbc4d.svg @@ -0,0 +1,3839 @@ + + + + + + + + 2024-03-03T15:13:36.810531 + image/svg+xml + + + Matplotlib v3.8.0, https://matplotlib.org/ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/_images/cef5facd3cb72206fb2e68a3bd86a6b41ebe2950cd2a4497288c4cc7bd7fc8d3.svg b/_images/cef5facd3cb72206fb2e68a3bd86a6b41ebe2950cd2a4497288c4cc7bd7fc8d3.svg new file mode 100644 index 00000000..dc90cad3 --- /dev/null +++ b/_images/cef5facd3cb72206fb2e68a3bd86a6b41ebe2950cd2a4497288c4cc7bd7fc8d3.svg @@ -0,0 +1,97 @@ + + + + + + + + + +d529e196-911b-4e8f-aa9d-ff821beed513 + + + + + + + +0 + +0 + + + +d529e196-911b-4e8f-aa9d-ff821beed513->0 + + + + + + + + +3 + +3 + + + +0->3 + + +a + + + +3->3 + + +a + + + +2 + + +2 + + + +3->2 + + +b + + + +1 + + +1 + + + +2->1 + + +a + + + +1->3 + + +a + + + +1->2 + + +b + + + \ No newline at end of file diff --git a/_images/d558145cf72b58b3dc901eaa5cd6cfbed67e2f89bd63b3d7f4d1390736d5da78.svg b/_images/d558145cf72b58b3dc901eaa5cd6cfbed67e2f89bd63b3d7f4d1390736d5da78.svg new file mode 100644 index 00000000..785d1476 --- /dev/null +++ b/_images/d558145cf72b58b3dc901eaa5cd6cfbed67e2f89bd63b3d7f4d1390736d5da78.svg @@ -0,0 +1,1468 @@ + + + + + + + + 2024-03-03T15:14:01.733616 + image/svg+xml + + + Matplotlib v3.8.0, https://matplotlib.org/ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/_images/ecfb539273fb486f054dc248470732fc969949664d6819910c44547d9191c436.svg b/_images/ecfb539273fb486f054dc248470732fc969949664d6819910c44547d9191c436.svg new file mode 100644 index 00000000..3dc225a6 --- /dev/null +++ b/_images/ecfb539273fb486f054dc248470732fc969949664d6819910c44547d9191c436.svg @@ -0,0 +1,2047 @@ + + + + + + + + 2024-03-03T15:13:37.592860 + image/svg+xml + + + Matplotlib v3.8.0, https://matplotlib.org/ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/_sources/book/mira/000-exercises.md b/_sources/book/mira/000-exercises.md index efc89d2f..7df3c6a4 100644 --- a/_sources/book/mira/000-exercises.md +++ b/_sources/book/mira/000-exercises.md @@ -1,5 +1,11 @@ # Exercises + +Star +Issue +Watch +Follow + This page gives solutions to the exercises from the book Measure, Integration and Real Analysis by Sheldon Axler. We have been working through the book and exercises with Adrian Goldwaser and Shreyas Padhy, and these solutions are a joint effort. Please [email me](mailto:stratismar@gmail.com) if you find any errors in these solutions or have any other comments. diff --git a/_sources/book/mira/000-intro.md b/_sources/book/mira/000-intro.md index eaf42a46..9c8bd5bc 100644 --- a/_sources/book/mira/000-intro.md +++ b/_sources/book/mira/000-intro.md @@ -1,5 +1,11 @@ # Masure, integration and real analysis + +Star +Issue +Watch +Follow + These are notes on the book *Measure, integration and real analysis* by Sheldon Axler, which is [freely available online](http://measure.axler.net/). These notes are work in progress as we are currently reading through the book in a reading group with Adrian Goldwaser and Shreyas Padhy. I have included solutions to some of the exercises which we have solved as we go along. diff --git a/_sources/book/mira/001-riemann.md b/_sources/book/mira/001-riemann.md index b8df0af0..2c49c03e 100644 --- a/_sources/book/mira/001-riemann.md +++ b/_sources/book/mira/001-riemann.md @@ -1,5 +1,11 @@ # Riemann integration + +Star +Issue +Watch +Follow + The first part of the book introduces the Riemann integral. The Riemann integral is good enough for many use cases, but it also has important limitations. We first review the definition of the Riemann integral and its properties. diff --git a/_sources/book/mira/002-measures.md b/_sources/book/mira/002-measures.md index 15489990..e616489c 100644 --- a/_sources/book/mira/002-measures.md +++ b/_sources/book/mira/002-measures.md @@ -1,5 +1,11 @@ # Measures + +Star +Issue +Watch +Follow + This chapter builds up measures. First, we establish a notion of length on the real line, which we need in order to build up integration. This notion of length is described by the outer measure. diff --git a/_sources/book/papers/num-sde/num-sde.ipynb b/_sources/book/papers/num-sde/num-sde.ipynb index f035dd19..7f221cc0 100644 --- a/_sources/book/papers/num-sde/num-sde.ipynb +++ b/_sources/book/papers/num-sde/num-sde.ipynb @@ -10,6 +10,12 @@ "source": [ "# Numerical simulation of SDEs\n", "\n", + "\n", + "Star\n", + "Issue\n", + "Watch\n", + "Follow\n", + "\n", "This is a reproduction of certain scripts found in Higham, *An algorithmic Introduction to Numerical Simulation of Stochastic Differential Equations.*{cite}`higham`\n", "This paper is an accessible introduction to SDEs, which is centered around ten scripts.\n", "Below are reproductions of these scripts (excluding two on linear stability) and some supplementary notes.\n", diff --git a/_sources/book/toc/000-exercises.md b/_sources/book/toc/000-exercises.md index cd52440a..1c4bfe3a 100644 --- a/_sources/book/toc/000-exercises.md +++ b/_sources/book/toc/000-exercises.md @@ -1,5 +1,11 @@ # Excercises + +Star +Issue +Watch +Follow + The following are my solutions to exercises from the book Sipser, _Introduction to the Theory of Computation_. Here I repeat some exercise statements for completeness. Any mistakes in the exercise statements or the solutions are my own. diff --git a/_sources/book/toc/000-intro.md b/_sources/book/toc/000-intro.md index 52fd09a2..6e6baafe 100644 --- a/_sources/book/toc/000-intro.md +++ b/_sources/book/toc/000-intro.md @@ -1,5 +1,11 @@ # Theory of Computation + +Star +Issue +Watch +Follow + These are notes on the Theory of Computation course, lectured by Michael Sipser. [Video recordings](https://www.youtube.com/watch?v=9syvZr-9xwk&list=PLUl4u3cNGP60_JNv2MmK3wkOt9syvfQWY) of the entire course lectures are available online, and Michael Sipser's [textbook](https://mog.dog/files/SP2019/Sipser_Introduction.to.the.Theory.of.Computation.3E.pdf), which covers the course and beyond, is also freely available. Any mistakes in these notes are likely my fault. diff --git a/_sources/book/toc/001-fsa.ipynb b/_sources/book/toc/001-fsa.ipynb index cbdb6c1b..ec9c7c22 100644 --- a/_sources/book/toc/001-fsa.ipynb +++ b/_sources/book/toc/001-fsa.ipynb @@ -13,6 +13,12 @@ "source": [ "# Finite Automata and Regular Expressions\n", "\n", + "\n", + "Star\n", + "Issue\n", + "Watch\n", + "Follow\n", + "\n", "The course slowly builds up different models of computation of increasing complexity, starting with finite state automata (FSAs).\n", "This chapter introduces FSAs and regular expressions, which turn out to be equivalent in terms of expressiveness.\n", "\n", diff --git a/_sources/book/toc/002-cfl.ipynb b/_sources/book/toc/002-cfl.ipynb index 9873b8d1..ac620a44 100644 --- a/_sources/book/toc/002-cfl.ipynb +++ b/_sources/book/toc/002-cfl.ipynb @@ -7,6 +7,12 @@ "source": [ "# PDAs and context-free grammars\n", "\n", + "\n", + "Star\n", + "Issue\n", + "Watch\n", + "Follow\n", + "\n", "Moving on from DFAs, NFAs and regular languages, we next consider more powerful models of computation, namely pushdown automata (PDAs) and context-free grammars (CFGs).\n", "These turn out to be analogous to finite-state automata and regular languages, but are more powerful.\n", "In particular, we will show that CFGs and PDAs are equivalent and that they are strict supersets of regular languages and NFAs.\n", diff --git a/book/mira/000-exercises.html b/book/mira/000-exercises.html index 0837b384..658f87ba 100644 --- a/book/mira/000-exercises.html +++ b/book/mira/000-exercises.html @@ -78,7 +78,7 @@ - + @@ -201,7 +201,7 @@

Papers & Miscellanous