283
edits
Pipe-calculus: Difference between revisions
→Extensions
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 372: | Line 372: | ||
* Recursion (μ-recursion, top level recursion, regular grammars) | * Recursion (μ-recursion, top level recursion, regular grammars) | ||
* Stack (context-free grammars) | * Stack (context-free grammars?) | ||
* Ordered choice (PEG, backtracking, local context) | * Ordered choice (PEG, backtracking, local context) | ||
* Intersection | * Intersection (commutative, idempotent conjunction) | ||
* Replication | |||
== Pipe-calculus and process calculus == | == Pipe-calculus and process calculus == | ||