commutatively_regular (308B)
1 # Commutatively regular 2 3 In [carpi2021commutative]: a [formal_language] is *commutatively regular* if it is [commutatively_equivalent] to a [regular_language] 4 5 Not straightforward to understand already for [CFLs], cf [carpi2021commutative] 6 7 See also: [cfl_commutative_closure_regular] 8 9 Up: [formal_language]