User:Jshflynn/Definition:P-star
Jump to navigation
Jump to search
Definition
Let $\Sigma$ be an alphabet.
Then the $P$-star of $\Sigma$, denoted $\mathcal{P}(\Sigma^{*})$, is the power set of the Kleene star of $\Sigma$.
Hence it is the set of all languages over $\Sigma$.