diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 0b57242..b2709eb 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -13,12 +13,12 @@ "state": { "type": "markdown", "state": { - "file": "99 Templates/New File Template.md", + "file": "00 Inbox/29593852 - Strings.md", "mode": "source", "source": false }, "icon": "lucide-file", - "title": "New File Template" + "title": "29593852 - Strings" } } ] @@ -184,9 +184,12 @@ }, "active": "140d404d9b2faf63", "lastOpenFiles": [ - "Automationtheory.md", - "99 Templates/New File Template.md", + "10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593850 - Automationtheory.md", + "00 Inbox/29593852 - Strings.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", @@ -211,15 +214,12 @@ "20 Atlas", "30 Library/29592593 - ET_II_Folien_gesamt_020426.pdf", "10 Courses/02 - SoSe 2026/ET II/Zählpfeilsysteme.md", - "10 Courses/02 - SoSe 2026/ET II/Elektrotechnik II.md", - "00 Inbox/29592877 - review.md", "30 Library/ET_II_Folien_gesamt_020426.pdf", "30 Library/d6d88eed747e389e597d2a19bb868ee6?cid=4b45b3a6f32c35a6d9ca5b1b07b760de", "30 Library/wget-log", "99 Templates/New File Template", "99 Templates", "00 Inbox", - "90 Archive", "10 Courses/01 - WiSe 2025_26/ET/images/beispiel_knotenregel.png" ] } \ No newline at end of file diff --git a/00 Inbox/29593852 - Strings.md b/00 Inbox/29593852 - Strings.md new file mode 100644 index 0000000..95171d6 --- /dev/null +++ b/00 Inbox/29593852 - Strings.md @@ -0,0 +1,40 @@ +--- +created: 2026-04-08 08:52 +course: +topic: +related: +type: lecture +status: 🔴 +tags: + - university +--- +## 📌 Summary + +> [!abstract] +> + +--- + +## 📝 Content + +### Alphabets +Alphabets are formal, non-empty, sets of symbols (usually lowercase letters). They are denoted by $Sigma$. + +$Sigma = {a, b}$ +> Alphabet $Sigma$ contains the characters $a$ and $b$. + +### Strings +A string is a set of letters. If there is an alphabet $Sigma = {a,b}$ then `abba` is a string made from that alphabet. +The empty string is denoted by $epsilon$. +### Concatenation +String can be concatenated, where one string is appended to another. This operation is + +### Reversing / Mirroring +For a string $x = a_1 a_2 ... a_(n-1) a_n$ of length $n$, it's _mirrored string_ is given by +$$ x^("Rev") = a_n a_(n-1)...a_2 a_1$$ + +### Kleene Star +Denoted by $Sigma^*$. The Kleene Star (or _Kleene Closure_) + +### Formal Languages +A formal _language_ of the alphabet $Sigma$ is a subset $L$ of $Sigma^*$ \ 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 new file mode 100644 index 0000000..945a648 --- /dev/null +++ b/10 Courses/02 - SoSe 2026/Automatentheorie und formale Sprachen/29593850 - Automationtheory.md @@ -0,0 +1,7 @@ +--- +created: 2026-04-08 08:50 +course: "[[29593850 - Automationtheory]]" +type: overview +tags: + - university +--- diff --git a/99 Templates/New File Template.md b/99 Templates/New File Template.md index 6224909..64b0b62 100644 --- a/99 Templates/New File Template.md +++ b/99 Templates/New File Template.md @@ -1,25 +1,24 @@ - <%* -// Move the file to the Inbox immediately upon creation -let date = Math.floor(Date.now() / 60000) -let newName = `${date} - ${tp.file.title}` -await tp.file.move("/00 Inbox/" + newName) --%> --- created: <% tp.date.now("YYYY-MM-DD HH:mm") %> -course: -topic: -related: +course: +topic: +related: type: lecture status: 🔴 tags: - university --- +<%* +// Move the file to the Inbox immediately upon creation +let date = Math.floor(Date.now() / 60000); +let newName = `${date} - ${tp.file.title}`; +await tp.file.move("/00 Inbox/" + newName); +-%> ## 📌 Summary > [!abstract] -> +> --- ## 📝 Content -