Set of Null Strings forms Formal Language

From ProofWiki
Jump to navigation Jump to search

Example of Formal Language

The set consisting of the null string $\epsilon$ forms a formal language.


Proof

$\set \epsilon$ vacuously forms a set of symbols.

The formal grammar is vacuous.

The result follows by definition of formal language.

$\blacksquare$


Also see


Sources