283
edits
Pipe-calculus: Difference between revisions
→Extensions
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 318: | Line 318: | ||
== Extensions == | == Extensions == | ||
* Recursion (μ-recursion, top level recursion) | * Recursion (μ-recursion, top level recursion, regular grammars) | ||
* Stack (context-free grammars) | * Stack (context-free grammars) | ||
* Guarded choice | * Guarded choice | ||