jan/uni_notes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2026-04-16 08:01:08

Browse Source
This commit is contained in:
Jan Meyer
2026-04-16 08:01:08 +02:00
parent 650d49c1f1
commit ca7771544d
4 changed files with 149 additions and 124 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.obsidian/plugins/obsidian-file-color/data.json vendored
View File

@@ -1,5 +1,5 @@
{ {
"cascadeColors": false, "cascadeColors": true,
"colorBackground": false, "colorBackground": false,
"palette": [], "palette": [],
"fileColors": [] "fileColors": []

164
.obsidian/snippets/matugen.css vendored
View File

@@ -6,113 +6,113 @@
.theme-dark, .theme-light { .theme-dark, .theme-light {
/* ── Material You RGB helpers ──────────────────────────── */ /* ── Material You RGB helpers ──────────────────────────── */
--mat-bg-rgb: 19, 18, 29; --mat-bg-rgb: 16, 20, 23;
--mat-surface-rgb: 19, 18, 29; --mat-surface-rgb: 16, 20, 23;
--mat-on-surface-rgb: 228, 224, 240; --mat-on-surface-rgb: 224, 227, 231;
--mat-primary-rgb: 195, 192, 255; --mat-primary-rgb: 129, 207, 255;
--mat-on-primary-rgb: 29, 0, 165; --mat-on-primary-rgb: 0, 52, 75;
/* ── Core Backgrounds ──────────────────────────────────── */ /* ── Core Backgrounds ──────────────────────────────────── */
--background-primary: #13121d; --background-primary: #101417;
--background-primary-alt: #13121d; --background-primary-alt: #101417;
--background-secondary: #1b1a25; --background-secondary: #181c1f;
--background-secondary-alt: #1f1e29; --background-secondary-alt: #1c2023;
/* ── Titlebar ──────────────────────────────────────────── */ /* ── Titlebar ──────────────────────────────────────────── */
--titlebar-background: #13121d; --titlebar-background: #101417;
--titlebar-background-focused: #1b1a25; --titlebar-background-focused: #181c1f;
--titlebar-text-color: #e4e0f0; --titlebar-text-color: #e0e3e7;
/* ── Borders & Dividers ────────────────────────────────── */ /* ── Borders & Dividers ────────────────────────────────── */
--background-modifier-border: #464557; --background-modifier-border: #3f484f;
--background-modifier-border-focus: #918fa3; --background-modifier-border-focus: #899299;
--background-modifier-border-hover: #918fa3; --background-modifier-border-hover: #899299;
/* ── Text Colors ───────────────────────────────────────── */ /* ── Text Colors ───────────────────────────────────────── */
--text-normal: #e4e0f0; --text-normal: #e0e3e7;
--text-muted: #c7c4da; --text-muted: #bec8d0;
--text-faint: #918fa3; --text-faint: #899299;
--text-on-accent: #1d00a5; --text-on-accent: #00344b;
--text-selection: rgba(195, 192, 255, 0.25); --text-selection: rgba(129, 207, 255, 0.25);
/* ── Accent & Interactive ──────────────────────────────── */ /* ── Accent & Interactive ──────────────────────────────── */
--interactive-accent: #c3c0ff; --interactive-accent: #81cfff;
--interactive-accent-hover: #3c24f6; --interactive-accent-hover: #389acb;
--interactive-accent-rgb: 195, 192, 255; --interactive-accent-rgb: 129, 207, 255;
--text-accent: #c3c0ff; --text-accent: #81cfff;
--text-accent-hover: #3c24f6; --text-accent-hover: #389acb;
/* ── Hover & Active Modifiers ──────────────────────────── */ /* ── Hover & Active Modifiers ──────────────────────────── */
--background-modifier-hover: rgba(var(--mat-on-surface-rgb), 0.06); --background-modifier-hover: rgba(var(--mat-on-surface-rgb), 0.06);
--background-modifier-active-hover: rgba(var(--mat-primary-rgb), 0.15); --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: #93000a;
--background-modifier-error-hover: #ffb4ab; --background-modifier-error-hover: #ffb4ab;
/* ── Obsidian Color Scale (--color-base-XX) ────────────── */ /* ── Obsidian Color Scale (--color-base-XX) ────────────── */
--color-base-00: #13121d; --color-base-00: #101417;
--color-base-05: #13121d; --color-base-05: #101417;
--color-base-10: #0d0d17; --color-base-10: #0b0f12;
--color-base-20: #1b1a25; --color-base-20: #181c1f;
--color-base-25: #1f1e29; --color-base-25: #1c2023;
--color-base-30: #292934; --color-base-30: #262a2e;
--color-base-35: #34343f; --color-base-35: #313539;
--color-base-40: #464557; --color-base-40: #3f484f;
--color-base-50: #918fa3; --color-base-50: #899299;
--color-base-60: #c7c4da; --color-base-60: #bec8d0;
--color-base-70: #e4e0f0; --color-base-70: #e0e3e7;
--color-base-100: #e4e0f0; --color-base-100: #e0e3e7;
/* ── Semantic Colors ───────────────────────────────────── */ /* ── Semantic Colors ───────────────────────────────────── */
--color-red: #ffb4ab; --color-red: #ffb4ab;
--color-orange: #ffb4a3; --color-orange: #ffb960;
--color-yellow: #c3c0ff; --color-yellow: #abcbe1;
--color-green: #a32200; --color-green: #c58325;
--color-cyan: #3e3a96; --color-cyan: #2b4a5d;
--color-blue: #c3c0ff; --color-blue: #81cfff;
--color-purple: #c3c0ff; --color-purple: #abcbe1;
--color-pink: #ffb4a3; --color-pink: #ffb960;
/* ── Headings ──────────────────────────────────────────── */ /* ── Headings ──────────────────────────────────────────── */
--h1-color: #c3c0ff; --h1-color: #81cfff;
--h2-color: #c3c0ff; --h2-color: #81cfff;
--h3-color: #c3c0ff; --h3-color: #abcbe1;
--h4-color: #ffb4a3; --h4-color: #ffb960;
--h5-color: #c7c4da; --h5-color: #bec8d0;
--h6-color: #918fa3; --h6-color: #899299;
/* ── Links ─────────────────────────────────────────────── */ /* ── Links ─────────────────────────────────────────────── */
--link-color: #c3c0ff; --link-color: #81cfff;
--link-color-hover: #faf6ff; --link-color-hover: #000000;
--link-external-color: #ffb4a3; --link-external-color: #ffb960;
--link-unresolved-color: #918fa3; --link-unresolved-color: #899299;
/* ── Tags ──────────────────────────────────────────────── */ /* ── Tags ──────────────────────────────────────────────── */
--tag-color: #faf6ff; --tag-color: #000000;
--tag-background: #3c24f6; --tag-background: #389acb;
--tag-border-color: #c3c0ff; --tag-border-color: #81cfff;
--tag-color-hover: #1d00a5; --tag-color-hover: #00344b;
--tag-background-hover: #c3c0ff; --tag-background-hover: #81cfff;
/* ── Checkboxes ────────────────────────────────────────── */ /* ── Checkboxes ────────────────────────────────────────── */
--checkbox-color: #c3c0ff; --checkbox-color: #81cfff;
--checkbox-color-hover: #3c24f6; --checkbox-color-hover: #389acb;
--checkbox-border-color: #918fa3; --checkbox-border-color: #899299;
--checkbox-marker-color: #1d00a5; --checkbox-marker-color: #00344b;
/* ── Code Blocks ───────────────────────────────────────── */ /* ── Code Blocks ───────────────────────────────────────── */
--code-background: #1b1a25; --code-background: #181c1f;
--code-normal: #e4e0f0; --code-normal: #e0e3e7;
--code-comment: #918fa3; --code-comment: #899299;
--code-function: #c3c0ff; --code-function: #81cfff;
--code-important: #ffb4ab; --code-important: #ffb4ab;
--code-keyword: #c3c0ff; --code-keyword: #abcbe1;
--code-operator: #ffb4a3; --code-operator: #ffb960;
--code-property: #c7c4da; --code-property: #bec8d0;
--code-punctuation: #464557; --code-punctuation: #3f484f;
--code-string: #ffb4a3; --code-string: #ffb960;
--code-tag: #ffb4ab; --code-tag: #ffb4ab;
--code-value: #c3c0ff; --code-value: #abcbe1;
/* ── Scrollbar ─────────────────────────────────────────── */ /* ── Scrollbar ─────────────────────────────────────────── */
--scrollbar-thumb-bg: rgba(var(--mat-on-surface-rgb), 0.12); --scrollbar-thumb-bg: rgba(var(--mat-on-surface-rgb), 0.12);
@@ -121,16 +121,16 @@
/* ── Inputs ────────────────────────────────────────────── */ /* ── Inputs ────────────────────────────────────────────── */
--input-shadow: none; --input-shadow: none;
--input-shadow-hover: 0 0 0 2px #918fa3; --input-shadow-hover: 0 0 0 2px #899299;
/* ── Graph View ────────────────────────────────────────── */ /* ── Graph View ────────────────────────────────────────── */
--graph-node: #c3c0ff; --graph-node: #81cfff;
--graph-node-unresolved: #918fa3; --graph-node-unresolved: #899299;
--graph-node-focused: #faf6ff; --graph-node-focused: #000000;
--graph-node-tag: #c3c0ff; --graph-node-tag: #abcbe1;
--graph-node-attachment: #ffb4a3; --graph-node-attachment: #ffb960;
--graph-line: #464557; --graph-line: #3f484f;
--graph-background: #13121d; --graph-background: #101417;
} }

92
.obsidian/workspace.json vendored
View File

@@ -4,17 +4,21 @@
"type": "split", "type": "split",
"children": [ "children": [
{ {
"id": "a9fc2a0864d18743", "id": "81f0ebb32620dead",
"type": "tabs", "type": "tabs",
"children": [ "children": [
{ {
"id": "668037a66202e3ed", "id": "140d404d9b2faf63",
"type": "leaf", "type": "leaf",
"state": { "state": {
"type": "empty", "type": "markdown",
"state": {}, "state": {
"file": "conflict-files-obsidian-git.md",
"mode": "source",
"source": false
},
"icon": "lucide-file", "icon": "lucide-file",
"title": "New tab" "title": "conflict-files-obsidian-git"
} }
} }
] ]
@@ -74,7 +78,7 @@
} }
], ],
"direction": "horizontal", "direction": "horizontal",
"width": 200 "width": 411.50418853759766
}, },
"right": { "right": {
"id": "8a65bc0c1d4d98f2", "id": "8a65bc0c1d4d98f2",
@@ -151,8 +155,8 @@
"state": { "state": {
"type": "git-view", "type": "git-view",
"state": {}, "state": {},
"icon": "lucide-file", "icon": "git-pull-request",
"title": "Plugin no longer active" "title": "Source Control"
} }
} }
], ],
@@ -171,6 +175,7 @@
"daily-notes:Open today's daily note": false, "daily-notes:Open today's daily note": false,
"templates:Insert template": false, "templates:Insert template": false,
"command-palette:Open command palette": false, "command-palette:Open command palette": false,
"bases:Create new base": false,
"obsidian-git:Open Git source control": false, "obsidian-git:Open Git source control": false,
"templater-obsidian:Templater": false, "templater-obsidian:Templater": false,
"darlal-switcher-plus:Open in Headings Mode": false, "darlal-switcher-plus:Open in Headings Mode": false,
@@ -179,42 +184,51 @@
}, },
"active": "7a0e7b37bd89861d", "active": "7a0e7b37bd89861d",
"lastOpenFiles": [ "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", "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", "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", "10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593952 - Regular Languages.md",
"30 Library/normalize_name.sh", "10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593940 - Formal Languages.md",
"30 Library/atfl-st2026-l02-finite-representation-of-languages-full.pdf",
"10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593935 - Kleene.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", "10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593929 - Alphabets.md",
"30 Library/29592593 - ET_II_Folien_gesamt_020426.pdf", "00 Inbox/29605546 - 29593852 - Strings.md",
"30 Library/29592593 - 29592593 - ET_II_Folien_gesamt_020426.pdf",
"30 Library/atfl-st2026-l01-formal-languages-full.pdf",
"10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593850 - Automationtheory.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/Automatentheorie und formale Sprachen",
"10 Courses/02 - SoSe 2026/ET II/29592751 - Übungsaufgabe 1.md", "20 Atlas/AT - Map of Content.md",
"10 Courses/02 - SoSe 2026/ET II/29592755 - Übungsaufgabe 2.md", "10 Courses/02 - SoSe 2026/AT/29593852 - Strings.md",
"20 Atlas/ET II - Map of Content.md", "30 Library/29595284 - v01.pdf",
"00 Inbox/29593226 - ET_II_Folien_gesamt_020426.pdf.md", "30 Library/29595284 - v00.pdf",
"10 Courses/02 - SoSe 2026/ET II/29592722 - Zeitabhängige Größen.md", "00 Inbox/29605541 - AT - Map of Content.md",
"10 Courses/02 - SoSe 2026/ET II/29592709 - Klausur.md", "10 Courses/02 - SoSe 2026/OOP/29605397 - OOP.md",
"20 Atlas", "10 Courses/02 - SoSe 2026/OOP/29605321 - Classes.md",
"10 Courses/01 - WiSe 2025_26/ET/images/beispiel_knotenregel.png" "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"
] ]
} }

15
10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593850 - Automationtheory.md
View File

@@ -1,7 +1,18 @@
--- ---
created: 2026-04-08 08:50 created: 2026-04-16 11:46
course: "[[29593850 - Automationtheory]]" course: "[[29593850 - Automationtheory]]"
type: overview type: lecture
tags: tags:
- university - university
topic:
related:
status: 🔴
--- ---
## 📌 Summary
> [!abstract]
>
---
## 📝 Content