Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
theocs:lecture3 [2024/10/10 12:15] – created tami | theocs:lecture3 [2024/10/10 12:22] (current) – tami | ||
---|---|---|---|
Line 3: | Line 3: | ||
$$(-+\Lambda) D D^{\ast} (\Lambda+.D^{\ast}), | $$(-+\Lambda) D D^{\ast} (\Lambda+.D^{\ast}), | ||
+ | Basis: | ||
$$\emptyset, | $$\emptyset, | ||
+ | |||
+ | The basis of the definition gives us the following for regular languages over the alphabet $\Sigma = \{a,b\}$ | ||
+ | |||
+ | **All** regular languages $\Sigma$ can be built from combining these four in various ways by **recursively using the union, product and closure operation**. | ||
+ | |||
+ | * $\{\Lambda, | ||
+ | |||
+ | Any finite languages is easy to build in this way $\implies$ **All finite languages are regular!** |