言語の連接

X: Language, Y: Language

XY = { xy x in X, y in Y }

スター閉方

[ X* = \Sum_{i leq 0} L^i ]

a