Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
lfa:2024:lab10 [2024/12/16 19:00] cata_chiru |
lfa:2024:lab10 [2024/12/16 19:34] (current) cata_chiru |
||
---|---|---|---|
Line 35: | Line 35: | ||
**9.1.4.** $ L = \{w \in \{a, b\}^* | \#_a(w) \neq \#_b(w) \} $ | **9.1.4.** $ L = \{w \in \{a, b\}^* | \#_a(w) \neq \#_b(w) \} $ | ||
+ | |||
**9.1.5.** $ L = \{a^ib^jc^k | i = j \lor j = k \} $ \\ | **9.1.5.** $ L = \{a^ib^jc^k | i = j \lor j = k \} $ \\ | ||
Line 58: | Line 59: | ||
$ A \leftarrow aA\ |\ B $ \\ | $ A \leftarrow aA\ |\ B $ \\ | ||
$ B \leftarrow bB\ |\ \epsilon $ | $ B \leftarrow bB\ |\ \epsilon $ | ||
+ | |||
+ | <hidden Solution 9.2.1> | ||
+ | |||
+ | $ S \leftarrow A $ \\ | ||
+ | $ A \leftarrow aA\ |\ B $ \\ | ||
+ | $ B \leftarrow bB\ |\ \epsilon $ | ||
+ | |||
+ | </hidden> | ||
**9.2.2.** | **9.2.2.** | ||
Line 64: | Line 73: | ||
$ A \leftarrow 0A1\ |\ 01\ |\ B $\\ | $ A \leftarrow 0A1\ |\ 01\ |\ B $\\ | ||
$ B \leftarrow B1\ |\ \epsilon $ | $ B \leftarrow B1\ |\ \epsilon $ | ||
+ | |||
+ | <hidden Solution 9.2.2> | ||
+ | |||
+ | $ S \leftarrow AS\ |\ A $ \\ | ||
+ | $ A \leftarrow 0A1\ |\ B $\\ | ||
+ | $ B \leftarrow B1\ |\ \epsilon $ | ||
+ | |||
+ | </hidden> | ||
+ | |||
**9.2.3.** | **9.2.3.** | ||
Line 70: | Line 88: | ||
$ A \leftarrow aA\ |\ \epsilon $\\ | $ A \leftarrow aA\ |\ \epsilon $\\ | ||
$ B \leftarrow bB\ |\ \epsilon $ | $ B \leftarrow bB\ |\ \epsilon $ | ||
+ | |||
+ | <hidden Solution 9.2.3> | ||
+ | |||
+ | $ S \leftarrow aS\ |\ bS\ |\ \epsilon $ \\ | ||
+ | |||
+ | </hidden> | ||
+ | |||
+ | |||
**9.2.4.** Write an ambiguous grammar for $ L(a^*) $. | **9.2.4.** Write an ambiguous grammar for $ L(a^*) $. | ||
+ | <hidden Solution 9.2.4> | ||
+ | |||
+ | $ S \leftarrow aS \ |\ A\ |\ \epsilon $\\ | ||
+ | $ A \leftarrow aA\ |\ \epsilon $\\ | ||
+ | |||
+ | </hidden> | ||
===== 9.3 Regular Grammars ===== | ===== 9.3 Regular Grammars ===== | ||