slebok
Showing with 9 additions and 0 deletions.

+1 −0 Home.md

+8 −0 Kleene closure.md
diff --git a/Home.md b/Home.md
@@ -75,6 +75,7 @@
 * [[Insert]]
 * [[Intentional programming]]
 * [[Introduce]]
+* [[Kleene closure]]
 * [[Lassoc]]
 * [[Leftmost derivation]]
 * [[Literate programming]]

diff --git a/Kleene closure.md b/Kleene closure.md
@@ -0,0 +1,8 @@
+## English
+* _Kleene closure_; _reflexive and transitive closure_
+* Symbol: `*`
+* Definition: a metasyntactic sugar for repetition: `x*` means that `x` can be repeated zero or more times.
+
+## Russian
+* _замыкание Клини_; _рефлексивно-транзитивное замыкание_
+* Definition: вспомогательная метаязыковая конструкция: `x*` означает повторение `x` ноль или более раз.