formal_language_closure_operation (238B)
1 # Formal language closure operation 2 3 Specific case: [regular_language_closure_operation] 4 5 - [upwards_closure] 6 - [downwards_closure] 7 - [commutative_closure] 8 9 Up: [closure_operation], [formal_language] 10 11 See also: [formal_language_operator]