Content deleted Content added
sorting |
Fix the syntax for strong and weak implication operators to match the order of the descriptions |
||
Line 34:
*the match of t must reach to its end
|-
| <source lang="text"> s |-> t! </source>
| if there is a match of s, then there is a match of t on the suffix of the trace,
*t starts the same cycle that s ends,
*the match of t must reach to its end
|-
| <source lang="text"> s |=> t
| if there is a match of s, then there is a match of t on the suffix of the trace,
*t starts the cycle after s ends,
| |||