Differences

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

--- lfa:2024:lab11 [2025/01/09 00:14]
cata_chiru [11.2. Closed under CFLs]
+++ lfa:2024:lab11 [2025/01/09 00:14] (current)
cata_chiru [11.2. Closed under CFLs]
@@ Line 192: / Line 192: @@
 **11.2.6.** Difference with a regular language is a closure property.
 <hidden Solution 11.2.6.>
-Let \( L_1 \) be a context-free language and \( L_2 \) a regular language. $ \overline{L_2} $ is regular, as complement is a closure property for regular languages. From 11.2.5, we know that the intersection is closed between CFLs and Regular Languages, and write $ L_1 \setminus L_2 = L_1 \cap \overline{L_2} $.
+Let \( L_1 \) be a context-free language and \( L_2 \) a regular language.
+$ \overline{L_2} $ is regular, as complement is a closure property for regular languages.
+From 11.2.5, we know that the intersection is closed between CFLs and Regular Languages, and write $ L_1 \setminus L_2 = L_1 \cap \overline{L_2} $.
 </hidden>