Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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 28: Line 28:
  
 $ S \leftarrow aBS\ |\ bAS\ |\ \epsilon $ \\ $ S \leftarrow aBS\ |\ bAS\ |\ \epsilon $ \\
-$ A \leftarrow a\ |\ bAA\$ \\ +$ A \leftarrow a\ |\ bAA $ \\ 
-$ B \leftarrow b\ |\ aBB$ \\+$ B \leftarrow b\ |\ aBB $ \\
  
 </​hidden>​ </​hidden>​
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 =====