Pipe-calculus: Difference between revisions

Line 318: Line 318:
== Extensions ==
== Extensions ==


* Recursion (μ-recursion, top level recursion)
* Stack (context-free grammars)
* Stack (context-free grammars)
* Guarded choice
* Guarded choice
* Ordered choice (PEG, backtracking, local context)
* Ordered choice (PEG, backtracking, local context)
* Intersection


== Notes ==
== Notes ==


<references />
<references />
283

edits