Empty Set forms Formal Language

From ProofWiki
Jump to navigation Jump to search

Example of Formal Language

The empty set $\O$ forms a formal language.


Proof

$\O$ vacuously forms a set of symbols.

Similarly, the formal grammar is vacuous.

The result follows by definition of formal language.

$\blacksquare$


Also see


Sources