Russian
- свёртка; катаморфизм
- Wikipedia: http://ru.wikipedia.org/wiki/Свёртка_списка
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,7 @@ | ||
## English | ||
* _nonterminal symbol_ | ||
* Short: _nonterminal_ | ||
|
||
## Russian | ||
* _нетерминальный символ_ | ||
* Short: _нетерминал_ |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +0,0 @@ | ||
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,5 @@ | ||
## English | ||
* _Tear-Insert-Fold grammar_; _Tear-Insertion-Fold grammar_ | ||
* Short: _TIF-grammar_ | ||
* Definition: **Tear-Insert-Fold grammar** or **Tear-Insertion-Fold grammar** (TIF-grammar) is a [[context-free grammar]], where symbols are allowed to have [[tear]], [[insert]], [[fold-under]] and [[fold-over]] annotations. A TIF-grammar without [[insert]] annotations is called a [[Tear-Fold grammar]]. | ||
* Publication: [*Tear-Insert-Fold Grammars*](http://dx.doi.org/10.1145/1868281.1868287) |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,5 @@ | ||
## English | ||
* _tear_ | ||
* Short: `^^^` | ||
* Definition: a tree manipulation annotation used in [[Tear-Insert-Fold grammars|Tear-Insert-Fold grammar]] and [[Tear-Fold grammars|Tear-Fold grammar]]. The node corresponding to `x^^^` is deleted together with its children. | ||
* Publication: [*Tear-Insert-Fold Grammars*](http://dx.doi.org/10.1145/1868281.1868287) |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,7 @@ | ||
## English | ||
* _terminal symbol_ | ||
* Short: _terminal_ | ||
|
||
## Russian | ||
* _терминальный символ_ | ||
* Short: _терминал_ |
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -7,4 +7,4 @@ | |
* Wikipedia: http://nl.wikipedia.org/wiki/Anamorfisme | ||
|
||
## Russian | ||
* _развёртка_; _анаморфизм_ |