From 7663449bb9fc1f1f3967bbc2560fc94f1e19edba Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Tue, 21 Dec 2021 01:02:17 +0900 Subject: Update README.md --- README.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index a06f1b8..42ec6d8 100644 --- a/README.md +++ b/README.md @@ -650,10 +650,12 @@ In interaction rules, attributes are recognised by a modifier `int` in order to ``` -- Example: Duplicator of integer lists. We note that, at the first line of the below example, the rule is allowed to have more than twice occurrences of *i* (here, it is three times) because the *i* is a variable for attributes: +- Example: Duplicator of integer lists. - ![dup_list](pic/dup_list.png) + We note that, at the first line of the below example, the rule is allowed to have not twice occurrences of *i* (here, it is three times) because the *i* is a variable for attributes: + ![dup_list](pic/dup_list.png) + ``` >>> dup(a1,a2) >< (int i):xs => a1~(i:xs1), a2~(i:xs2), dup(xs1,xs2)~xs; @@ -665,7 +667,7 @@ In interaction rules, attributes are recognised by a modifier `int` in order to >>> free a b; >>> ``` - + **We have to be careful for operations of two attributes on distinct agents**. For instance, we take the following rule of an `add` agent: -- cgit v1.2.3