Assertion: expression's constant | /r/DefinedAs | regular expressions
Facets:
value: given a finite alphabet
type: OTHER
Source sentences:
text: Given a finite alphabet Σ, the following constants are defined as regular expressions: