Kleene star(克林星号)是形式语言与正则表达式中的运算符,写作 *,表示“对某个模式进行零次或多次重复”。对语言 (L) 而言,(L^*) 包含把 (L) 中字符串重复任意次数(含 0 次得到空串 (\varepsilon))后形成的所有字符串。
(在日常正则表达式里也常见,如 a* 匹配空串、a、aa、aaa 等。)
/ˈkliːni stɑːr/
a* matches the empty string, a, aa, and aaa.
a* 可以匹配空串、a、aa 和 aaa。
In automata theory, applying the Kleene star to a regular language yields another regular language.
在自动机理论中,对一个正则语言应用克林星号,得到的仍然是正则语言。
“Kleene star”以美国数学家与逻辑学家 Stephen Cole Kleene(斯蒂芬·科尔·克林)命名。他在 20 世纪中期的形式语言与正则事件(regular events)研究中系统化了这一闭包运算;“star(星号)”指其符号 * 的形状与用法。
*)