| 4. Are |
| _ | ||
| a | | | b |
| and |
| _ | _ | |||||||
| ( | a | . | b | + | b | . | a | ) |
| equivalent to each other? |
1. Rewrite the following expression in pi-Calculus representation
if x=y then P else Q
2. Are P|0 and P equivalent to each other? Why or why not?
3. Are P+0 and P equivalent to each other? Why or why not?
|
|
|
|
|
|
|
|
|
5. Variable binding exercise ("v" denotes the restriction operator, "fn" the function to get the free variable set, and "bn" the function to get the bounded variable set):
