User:Jshflynn/Definition:Subalphabet

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\Sigma$ be an alphabet.


Let $V$ be a subset of $\Sigma$.


Then in the context of formal language theory $V$ is referred to as a subalphabet of $\Sigma$.