From 1e589fb35826e73af0427b9edda0292d862f0da0 Mon Sep 17 00:00:00 2001 From: hhuebner Date: Sun, 28 Apr 2024 19:27:44 +0200 Subject: [PATCH] theo fix --- ...ten und Regul\303\244re Ausdr\303\274cke.yaml" | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git "a/IN0011_Theoretische_Informatik/Endliche Automaten und Regul\303\244re Ausdr\303\274cke.yaml" "b/IN0011_Theoretische_Informatik/Endliche Automaten und Regul\303\244re Ausdr\303\274cke.yaml" index 4c049e9..d4ed010 100644 --- "a/IN0011_Theoretische_Informatik/Endliche Automaten und Regul\303\244re Ausdr\303\274cke.yaml" +++ "b/IN0011_Theoretische_Informatik/Endliche Automaten und Regul\303\244re Ausdr\303\274cke.yaml" @@ -17,12 +17,14 @@ cards: [$]A^+ = \bigcup_{i=1}^{\infty} A^i = AA^*[/$] - type: latex_plus - front: [$]A \emptyset = ?[$] + front: | + [$]A \emptyset = ?[$] back: |+ [$]\emptyset[/$] - type: latex_plus - front: [$]A(B \cup C) = [/$] + front: | + [$]A(B \cup C) = [/$] back: |+ [$]AB \cup AC[/$] @@ -75,7 +77,8 @@ cards: [$]F \suseteq Q[/$] is the set of accepting (final) states. - type: latex_plus - front: Def. [$]\hat{\delta}(q, w)[/$] + front: | + Def. [$]\hat{\delta}(q, w)[/$] back: |+ The state which is reached with w from q @@ -93,7 +96,8 @@ cards: - Es existiert ein äquivalenter DFA (und umgekehrt) - type: latex_plus - front: Def. [$]\bar{\delta}(S, a)[/$] + front: | + Def. [$]\bar{\delta}(S, a)[/$] back: |+ The state which is reached with w from q @@ -124,7 +128,8 @@ cards: [/$] - type: latex_plus - front: Was gilt für [$]\epsilon[/$]-NFAs? + front: | + Was gilt für [$]\epsilon[/$]-NFAs? back: |+ Es existiert immer ein äquivalenter NFA und damit auch DFA