From ca7771544dd31d348e58fd0a49a4803c2aabae95 Mon Sep 17 00:00:00 2001 From: Jan Meyer Date: Thu, 16 Apr 2026 08:01:08 +0200 Subject: [PATCH] vault backup: 2026-04-16 08:01:08 --- .../plugins/obsidian-file-color/data.json | 2 +- .obsidian/snippets/matugen.css | 164 +++++++++--------- .obsidian/workspace.json | 92 +++++----- .../29593850 - Automationtheory.md | 15 +- 4 files changed, 149 insertions(+), 124 deletions(-) diff --git a/.obsidian/plugins/obsidian-file-color/data.json b/.obsidian/plugins/obsidian-file-color/data.json index 587ba26..aeb5ea2 100644 --- a/.obsidian/plugins/obsidian-file-color/data.json +++ b/.obsidian/plugins/obsidian-file-color/data.json @@ -1,5 +1,5 @@ { - "cascadeColors": false, + "cascadeColors": true, "colorBackground": false, "palette": [], "fileColors": [] diff --git a/.obsidian/snippets/matugen.css b/.obsidian/snippets/matugen.css index 22f5d7e..8161d5a 100644 --- a/.obsidian/snippets/matugen.css +++ b/.obsidian/snippets/matugen.css @@ -6,113 +6,113 @@ .theme-dark, .theme-light { /* ── Material You RGB helpers ──────────────────────────── */ - --mat-bg-rgb: 19, 18, 29; - --mat-surface-rgb: 19, 18, 29; - --mat-on-surface-rgb: 228, 224, 240; - --mat-primary-rgb: 195, 192, 255; - --mat-on-primary-rgb: 29, 0, 165; + --mat-bg-rgb: 16, 20, 23; + --mat-surface-rgb: 16, 20, 23; + --mat-on-surface-rgb: 224, 227, 231; + --mat-primary-rgb: 129, 207, 255; + --mat-on-primary-rgb: 0, 52, 75; /* ── Core Backgrounds ──────────────────────────────────── */ - --background-primary: #13121d; - --background-primary-alt: #13121d; - --background-secondary: #1b1a25; - --background-secondary-alt: #1f1e29; + --background-primary: #101417; + --background-primary-alt: #101417; + --background-secondary: #181c1f; + --background-secondary-alt: #1c2023; /* ── Titlebar ──────────────────────────────────────────── */ - --titlebar-background: #13121d; - --titlebar-background-focused: #1b1a25; - --titlebar-text-color: #e4e0f0; + --titlebar-background: #101417; + --titlebar-background-focused: #181c1f; + --titlebar-text-color: #e0e3e7; /* ── Borders & Dividers ────────────────────────────────── */ - --background-modifier-border: #464557; - --background-modifier-border-focus: #918fa3; - --background-modifier-border-hover: #918fa3; + --background-modifier-border: #3f484f; + --background-modifier-border-focus: #899299; + --background-modifier-border-hover: #899299; /* ── Text Colors ───────────────────────────────────────── */ - --text-normal: #e4e0f0; - --text-muted: #c7c4da; - --text-faint: #918fa3; - --text-on-accent: #1d00a5; - --text-selection: rgba(195, 192, 255, 0.25); + --text-normal: #e0e3e7; + --text-muted: #bec8d0; + --text-faint: #899299; + --text-on-accent: #00344b; + --text-selection: rgba(129, 207, 255, 0.25); /* ── Accent & Interactive ──────────────────────────────── */ - --interactive-accent: #c3c0ff; - --interactive-accent-hover: #3c24f6; - --interactive-accent-rgb: 195, 192, 255; - --text-accent: #c3c0ff; - --text-accent-hover: #3c24f6; + --interactive-accent: #81cfff; + --interactive-accent-hover: #389acb; + --interactive-accent-rgb: 129, 207, 255; + --text-accent: #81cfff; + --text-accent-hover: #389acb; /* ── Hover & Active Modifiers ──────────────────────────── */ --background-modifier-hover: rgba(var(--mat-on-surface-rgb), 0.06); --background-modifier-active-hover: rgba(var(--mat-primary-rgb), 0.15); - --background-modifier-success: #a32200; + --background-modifier-success: #c58325; --background-modifier-error: #93000a; --background-modifier-error-hover: #ffb4ab; /* ── Obsidian Color Scale (--color-base-XX) ────────────── */ - --color-base-00: #13121d; - --color-base-05: #13121d; - --color-base-10: #0d0d17; - --color-base-20: #1b1a25; - --color-base-25: #1f1e29; - --color-base-30: #292934; - --color-base-35: #34343f; - --color-base-40: #464557; - --color-base-50: #918fa3; - --color-base-60: #c7c4da; - --color-base-70: #e4e0f0; - --color-base-100: #e4e0f0; + --color-base-00: #101417; + --color-base-05: #101417; + --color-base-10: #0b0f12; + --color-base-20: #181c1f; + --color-base-25: #1c2023; + --color-base-30: #262a2e; + --color-base-35: #313539; + --color-base-40: #3f484f; + --color-base-50: #899299; + --color-base-60: #bec8d0; + --color-base-70: #e0e3e7; + --color-base-100: #e0e3e7; /* ── Semantic Colors ───────────────────────────────────── */ --color-red: #ffb4ab; - --color-orange: #ffb4a3; - --color-yellow: #c3c0ff; - --color-green: #a32200; - --color-cyan: #3e3a96; - --color-blue: #c3c0ff; - --color-purple: #c3c0ff; - --color-pink: #ffb4a3; + --color-orange: #ffb960; + --color-yellow: #abcbe1; + --color-green: #c58325; + --color-cyan: #2b4a5d; + --color-blue: #81cfff; + --color-purple: #abcbe1; + --color-pink: #ffb960; /* ── Headings ──────────────────────────────────────────── */ - --h1-color: #c3c0ff; - --h2-color: #c3c0ff; - --h3-color: #c3c0ff; - --h4-color: #ffb4a3; - --h5-color: #c7c4da; - --h6-color: #918fa3; + --h1-color: #81cfff; + --h2-color: #81cfff; + --h3-color: #abcbe1; + --h4-color: #ffb960; + --h5-color: #bec8d0; + --h6-color: #899299; /* ── Links ─────────────────────────────────────────────── */ - --link-color: #c3c0ff; - --link-color-hover: #faf6ff; - --link-external-color: #ffb4a3; - --link-unresolved-color: #918fa3; + --link-color: #81cfff; + --link-color-hover: #000000; + --link-external-color: #ffb960; + --link-unresolved-color: #899299; /* ── Tags ──────────────────────────────────────────────── */ - --tag-color: #faf6ff; - --tag-background: #3c24f6; - --tag-border-color: #c3c0ff; - --tag-color-hover: #1d00a5; - --tag-background-hover: #c3c0ff; + --tag-color: #000000; + --tag-background: #389acb; + --tag-border-color: #81cfff; + --tag-color-hover: #00344b; + --tag-background-hover: #81cfff; /* ── Checkboxes ────────────────────────────────────────── */ - --checkbox-color: #c3c0ff; - --checkbox-color-hover: #3c24f6; - --checkbox-border-color: #918fa3; - --checkbox-marker-color: #1d00a5; + --checkbox-color: #81cfff; + --checkbox-color-hover: #389acb; + --checkbox-border-color: #899299; + --checkbox-marker-color: #00344b; /* ── Code Blocks ───────────────────────────────────────── */ - --code-background: #1b1a25; - --code-normal: #e4e0f0; - --code-comment: #918fa3; - --code-function: #c3c0ff; + --code-background: #181c1f; + --code-normal: #e0e3e7; + --code-comment: #899299; + --code-function: #81cfff; --code-important: #ffb4ab; - --code-keyword: #c3c0ff; - --code-operator: #ffb4a3; - --code-property: #c7c4da; - --code-punctuation: #464557; - --code-string: #ffb4a3; + --code-keyword: #abcbe1; + --code-operator: #ffb960; + --code-property: #bec8d0; + --code-punctuation: #3f484f; + --code-string: #ffb960; --code-tag: #ffb4ab; - --code-value: #c3c0ff; + --code-value: #abcbe1; /* ── Scrollbar ─────────────────────────────────────────── */ --scrollbar-thumb-bg: rgba(var(--mat-on-surface-rgb), 0.12); @@ -121,16 +121,16 @@ /* ── Inputs ────────────────────────────────────────────── */ --input-shadow: none; - --input-shadow-hover: 0 0 0 2px #918fa3; + --input-shadow-hover: 0 0 0 2px #899299; /* ── Graph View ────────────────────────────────────────── */ - --graph-node: #c3c0ff; - --graph-node-unresolved: #918fa3; - --graph-node-focused: #faf6ff; - --graph-node-tag: #c3c0ff; - --graph-node-attachment: #ffb4a3; - --graph-line: #464557; - --graph-background: #13121d; + --graph-node: #81cfff; + --graph-node-unresolved: #899299; + --graph-node-focused: #000000; + --graph-node-tag: #abcbe1; + --graph-node-attachment: #ffb960; + --graph-line: #3f484f; + --graph-background: #101417; } diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 687c995..3c7a43e 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -4,17 +4,21 @@ "type": "split", "children": [ { - "id": "a9fc2a0864d18743", + "id": "81f0ebb32620dead", "type": "tabs", "children": [ { - "id": "668037a66202e3ed", + "id": "140d404d9b2faf63", "type": "leaf", "state": { - "type": "empty", - "state": {}, + "type": "markdown", + "state": { + "file": "conflict-files-obsidian-git.md", + "mode": "source", + "source": false + }, "icon": "lucide-file", - "title": "New tab" + "title": "conflict-files-obsidian-git" } } ] @@ -74,7 +78,7 @@ } ], "direction": "horizontal", - "width": 200 + "width": 411.50418853759766 }, "right": { "id": "8a65bc0c1d4d98f2", @@ -151,8 +155,8 @@ "state": { "type": "git-view", "state": {}, - "icon": "lucide-file", - "title": "Plugin no longer active" + "icon": "git-pull-request", + "title": "Source Control" } } ], @@ -171,6 +175,7 @@ "daily-notes:Open today's daily note": false, "templates:Insert template": false, "command-palette:Open command palette": false, + "bases:Create new base": false, "obsidian-git:Open Git source control": false, "templater-obsidian:Templater": false, "darlal-switcher-plus:Open in Headings Mode": false, @@ -179,42 +184,51 @@ }, "active": "7a0e7b37bd89861d", "lastOpenFiles": [ - "10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593952 - Regular Languages.md", + "conflict-files-obsidian-git.md", "10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593852 - Strings.md", - "00 Inbox/29593975 - Regular Expressions.md", - "10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593940 - Formal Languages.md", "10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593958 - Kleene star of languages.md", - "30 Library/29593962 - atfl-st2026-l02-finite-representation-of-languages-full.pdf", - "30 Library/normalize_name.sh", - "30 Library/atfl-st2026-l02-finite-representation-of-languages-full.pdf", + "10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593952 - Regular Languages.md", + "10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593940 - Formal Languages.md", "10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593935 - Kleene.md", - "30 Library/29593895 - atfl-st2026-l01-formal-languages-full.pdf", "10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593929 - Alphabets.md", - "30 Library/29592593 - ET_II_Folien_gesamt_020426.pdf", - "30 Library/29592593 - 29592593 - ET_II_Folien_gesamt_020426.pdf", - "30 Library/atfl-st2026-l01-formal-languages-full.pdf", + "00 Inbox/29605546 - 29593852 - Strings.md", "10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593850 - Automationtheory.md", - "10 Courses/02 - SoSe 2026/ET II/29592673 - Elektrotechnik II.md", - "99 Templates/New File Template.md", - "99 Templates/New File Template.md~", - "00 Inbox/29593849 - Automationtheory.md", - "00 Inbox/29593844 - Basics of formal languages.md", - "00 Inbox/29593844 - Automationtheory.md", - "00 Inbox/29593843 - newFile.md", - "00 Inbox/29593843 - newFile.md", - "lol.md", - "Natural and Formal Languages.md", - "00 Inbox/newfile.md", - "00 Inbox/29593832 - 2026-04-08.md", - "10 Courses/02 - SoSe 2026/ET II/29592733 - Zählpfeilsysteme.md", "10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen", - "10 Courses/02 - SoSe 2026/ET II/29592751 - Übungsaufgabe 1.md", - "10 Courses/02 - SoSe 2026/ET II/29592755 - Übungsaufgabe 2.md", - "20 Atlas/ET II - Map of Content.md", - "00 Inbox/29593226 - ET_II_Folien_gesamt_020426.pdf.md", - "10 Courses/02 - SoSe 2026/ET II/29592722 - Zeitabhängige Größen.md", - "10 Courses/02 - SoSe 2026/ET II/29592709 - Klausur.md", - "20 Atlas", - "10 Courses/01 - WiSe 2025_26/ET/images/beispiel_knotenregel.png" + "20 Atlas/AT - Map of Content.md", + "10 Courses/02 - SoSe 2026/AT/29593852 - Strings.md", + "30 Library/29595284 - v01.pdf", + "30 Library/29595284 - v00.pdf", + "00 Inbox/29605541 - AT - Map of Content.md", + "10 Courses/02 - SoSe 2026/OOP/29605397 - OOP.md", + "10 Courses/02 - SoSe 2026/OOP/29605321 - Classes.md", + "10 Courses/02 - SoSe 2026/OOP", + "10 Courses/02 - SoSe 2026/Mathe II/29595454 - Mathematik II.md", + "10 Courses/02 - SoSe 2026/AT/29593975 - Regular Expressions.md", + "10 Courses/02 - SoSe 2026/AT/29593958 - Kleene star of languages.md", + "10 Courses/02 - SoSe 2026/AT/29593952 - Regular Languages.md", + "10 Courses/02 - SoSe 2026/AT/29593940 - Formal Languages.md", + "10 Courses/02 - SoSe 2026/AT/29593935 - Kleene Star & Kleene Plus.md", + "10 Courses/02 - SoSe 2026/AT/29593929 - Alphabets.md", + "00 Inbox/29605541 - 29593852 - Strings.md", + "10 Courses/02 - SoSe 2026/AT/29593850 - Automationtheory.md", + "10 Courses/02 - SoSe 2026/AT", + "00 Inbox/29605541 - 29593850 - Automationtheory.md", + "40 Extras/OOP_Lecture/5_project/blog/img/02_oops.jpg", + "00 Inbox/29595454 - Komplexe Zahlen und Eigenwertaufgaben.md", + "OOP - Apr", + "40 Extras/OOP_Lecture/3_exercises/sose26/0_teams/G01.md", + "30 Library/v01.pdf", + "30 Library/v00.pdf", + "40 Extras/OOP_Lecture/6_exams/sose25/img/q7.svg", + "40 Extras/OOP_Lecture/6_exams/sose25/img/q6.svg", + "40 Extras/OOP_Lecture/6_exams/sose25/img/q5.svg", + "40 Extras/OOP_Lecture/6_exams/sose25/img/q4.svg", + "40 Extras/OOP_Lecture/6_exams/sose25/img/q3.svg", + "40 Extras/OOP_Lecture/6_exams/sose25/img/q2.svg", + "40 Extras/OOP_Lecture/6_exams/sose25/img/q1.svg", + "40 Extras/OOP_Lecture/6_exams/sose25/img/q0.svg", + "40 Extras/OOP_Lecture/6_exams/sose23/img/uml1.pdf", + "40 Extras/OOP_Lecture/6_exams/sose23/img/q7.svg", + "40 Extras/OOP_Lecture/6_exams/wise24/exam_solution.pdf" ] } \ No newline at end of file diff --git a/10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593850 - Automationtheory.md b/10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593850 - Automationtheory.md index 945a648..8e11f77 100644 --- a/10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593850 - Automationtheory.md +++ b/10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593850 - Automationtheory.md @@ -1,7 +1,18 @@ --- -created: 2026-04-08 08:50 +created: 2026-04-16 11:46 course: "[[29593850 - Automationtheory]]" -type: overview +type: lecture tags: - university +topic: +related: +status: 🔴 --- +## 📌 Summary + +> [!abstract] +> + +--- + +## 📝 Content