formal_language_operator (652B)
1 # Formal language operator 2 3 An [operator] that takes one or two [formal_languages] and creates a new [formal_language] 4 5 - [boolean_operators] 6 - [language_union] 7 - [language_intersection] 8 - [language_complementation] 9 - [concatenation] 10 - [kleene_star] 11 - [morphism] / [inverse_morphism] 12 - [quotient_formal_language] 13 - see [derivative] 14 - [wreath_product] 15 - [semidirect_product] 16 - [shuffle] 17 - [formal_language_mirror] 18 - [formal_language_closure_operation]: an operator that takes one [formal_language] and extends it by adding more [words] to it 19 - [upward_closure] / [downward_closure] 20 - [commutative_closure] 21 22 Up: [formal_language], [operator]