diff options
Diffstat (limited to 'ss2016')
-rw-r--r-- | ss2016/fsk/00/abgabe.md | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/ss2016/fsk/00/abgabe.md b/ss2016/fsk/00/abgabe.md new file mode 100644 index 0000000..ded4685 --- /dev/null +++ b/ss2016/fsk/00/abgabe.md | |||
@@ -0,0 +1,23 @@ | |||
1 | 1) | ||
2 | |||
3 | | $\in$ | $L$ | $L^+$ | $L^\ast$ | $L^\ast\{c\}^+$ | | ||
4 | |-----------:+:------:+:------:+:----------:+:-----------------:| | ||
5 | | $\epsilon$ | $\bot$ | $\bot$ | $\top$ | $\bot$ | | ||
6 | | $ab$ | $\top$ | $\top$ | $\top$ | $\bot$ | | ||
7 | | $abc$ | $\bot$ | $\bot$ | $\bot$ | $\top$ | | ||
8 | | $bcab$ | $\bot$ | $\top$ | $\top$ | $\bot$ | | ||
9 | | $bcabbc$ | $\bot$ | $\top$ | $\top$ | $\bot$ | | ||
10 | |||
11 | 2) | ||
12 | |||
13 | | $\in$ | $R$ | $R^+$ | $R^\ast$ | | ||
14 | |---------:+:------:+:------:+:--------:| | ||
15 | | $(3,3)$ | $\bot$ | $\bot$ | $\top$ | | ||
16 | | $(3,6)$ | $\top$ | $\top$ | $\top$ | | ||
17 | | $(3,18)$ | $\bot$ | $\bot$ | $\bot$ | | ||
18 | | $(3,24)$ | $\bot$ | $\top$ | $\top$ | | ||
19 | |||
20 | 5) a) $\{(S, b), (aS, aaS), (b, ab), (ab, aab\}$ | ||
21 | b) $\{(S, b), (S, aaab), (aS, aaaaS), (b, aaab), (b, aaaab), (aab, aaaab)\}$ | ||
22 | c) $\{ a^n S^x b^{\lnot x} \mid x \in \{0, 1\} \land n \in \N \}$, wobei $\lnot 0 = 1$ und $\lnot 1 = 0$ | ||
23 | d) $L(G) = \{ a^nb \mid n \in \N \}$ | ||