diff --git a/semester3/ti-compact/parts/01_words-alphabets.tex b/semester3/ti-compact/parts/01_words-alphabets.tex index 23b0444..e184f0f 100644 --- a/semester3/ti-compact/parts/01_words-alphabets.tex +++ b/semester3/ti-compact/parts/01_words-alphabets.tex @@ -31,10 +31,16 @@ whereas $L_\lambda$ is the language with just the empty word in it. \bi{Cleen Star}: $L^* = \bigcup_{i \in \N} L^i$ and $L^+ = L \cdot L^*$ +Of note is that there are irregular languages whose Cleen Star is regular, most notably, +the language $L = \{ w \in \{ 0 \}^* \divides |w| \text{ is prime} \}$'s Cleen Star is regular, +due to the fact that the prime factorization is regular + \inlinelemma $L_1L_2 \cup L_1 L_2 = L_1(L_2 \cup L_3)$ \inlinelemma $L_1(K_2 \cap L_3) \subseteq L_1 L_2 \cap L_1 L_3$ +For multiple choice questions, really think of how the sets would look to determine if they fulfill a requirement. + \stepcounter{subsection} \subsection{Kolmogorov-Complexity} diff --git a/semester3/ti-compact/parts/02_finite-automata.tex b/semester3/ti-compact/parts/02_finite-automata.tex index 237f9c9..a62b96f 100644 --- a/semester3/ti-compact/parts/02_finite-automata.tex +++ b/semester3/ti-compact/parts/02_finite-automata.tex @@ -54,7 +54,7 @@ For all of them start by assuming that $L$ is regular. \setLabelNumber{lemma}{3} \begin{lemma}[]{Regular words} Let $A$ be a FA over $\Sigma$ and let $x \neq y \in \Sigma^*$, such that $\hdelta_A (q_0, x) = \hdelta(q_0, y)$. - Then for each $z \in \Sigma^*$ there exists a $r \in Q$, such that $xz, yz \in \class[r]$, and we thus have + Then for each $z \in \Sigma^*$ there exists an $r \in Q$, such that $xz, yz \in \class[r]$, and we thus have \rmvspace \begin{align*} xz \in L(A) \Longleftrightarrow yz \in L(A) diff --git a/semester3/ti-compact/ti-compact.pdf b/semester3/ti-compact/ti-compact.pdf index d4ff5ba..c1912f1 100644 Binary files a/semester3/ti-compact/ti-compact.pdf and b/semester3/ti-compact/ti-compact.pdf differ diff --git a/semester3/ti-compact/ti-compact.tex b/semester3/ti-compact/ti-compact.tex index 0667b5b..520b635 100644 --- a/semester3/ti-compact/ti-compact.tex +++ b/semester3/ti-compact/ti-compact.tex @@ -50,6 +50,8 @@ It does not aim to serve as a full replacement for the book or my main summary, It also lacks some formalism and is only intended to give some intuition, six pages are really not enough for a formal and complete overview of the topic. +As general recommendations, try to substitute possibly ``weird'' definitions in multiple choice to see a definition from the book. + \input{parts/01_words-alphabets.tex} \input{parts/02_finite-automata.tex}