parikhs_theorem (407B)
1 # Parikhs theorem 2 3 https://en.m.wikipedia.org/wiki/Parikh's_theorem 4 5 [regular_language] and [context_free_language] have same kind of [parikh_image] 6 7 The [Parikh_image] of a [CFL] is a [union] of finitely many [linear_sets], where a [linear_set] is an expression of the form u + M alpha over alpha the vectors with integer values, for u an origin vector and M a [matrix] 8 9 Up: [theorem] about [parikh_image]