スター閉包
言語Lのスター閉包とは、Lをn回
連接
したもの(n >= 0)全ての和集合を取って得られる言語のことである。
https://gyazo.com/fda83c2978e210ebee43f44de9d87d2f
空文字列（空の記号列）を含まない閉包を正スター閉包(positive start closure)と呼ぶ:
$ L^+ = \cup_{n=1}^{\infty} L^n
$ L^\ast = \{\epsilon\}\cup L^+
の関係が成り立つ。