From 9d707e153ef3e29806ecb68d6c38680e1c6b7e61 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Wed, 20 Oct 2021 14:31:38 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 25fed1a..734e73a 100644 --- a/README.md +++ b/README.md @@ -241,9 +241,9 @@ Inpla evaluates *nets*, which are built by *connections between terms*. First, w - **Name**: It works a buffer between terms and **the same name must occur at most twice in order to ensure one-to-one connections between terms**. The `````` is defined as strings start with a small letter, e.g. ```x``` and ```y```. - **Agent**: It works constructors and de-constructors (defined functions). Generally agents have one *principal port* and *n*-fixed *auxiliary ports*. The fixed number of auxiliary ports is called *arity*, and it is determined according to each agents. In graphical representation an agent term `A(x1,...,xn)`, whose arity is *n*, is drawn as the following picture, where its auxiliary ports and the principal port correspond to the occurrences of the `x1`,...`xn`, and `A(x1,...,xn)`, respectively: + ![agent](pic/agent.png) - The `````` is defined as strings start with a capital letter, e.g. ```A``` and ```Succ```, and also `````` followed by a open curry bracket```(```. So, ```foo(x)``` is recognised as an agent. -- cgit v1.2.3