Commit f9c59f21 by Bruno Guillaume

### Typos

parent e3fc89c1
 ... ... @@ -32,7 +32,7 @@ The easiest way to try and test **Grew** is to use one of the two online interfa ## Some of the main features of Grew * Graph structures can use a build-in notion of **feature structures**. * Graph structures can use a built-in notion of **feature structures**. * The left-hand side of a rule is described by a graph called a **pattern**; injective graph morphisms are used in the pattern matching algorithm. * **Negative pattern** can be used for a finer control on the left-hand side of rules. * The right-hand side of rules is described by a sequence of **atomic commands** that describe how the graph should be modified during the rule application. ... ...
 ... ... @@ -59,8 +59,8 @@ pattern { N1[]; N2[]; N1.position = N2.position; N1.user <> N2.user; % N1 and N2 are parallel M1[]; M2[]; M1.position = M2.position; M1.user <> M2.user; % M1 and M2 are parallel e1: M1 -> N1; e2: M2 -> N2; % M and N are link by parallel edges label(e1) <> label(e2); % ask to different labels id(N1) < id(N2); % avois duplicate (1/2 switching) label(e1) <> label(e2); % ask two different labels id(N1) < id(N2); % avoid duplicate (1/2 switching) } ``` ... ... @@ -88,8 +88,8 @@ pattern { N1[]; N2[]; N1.position = N2.position; N1.user <> N2.user; % N1 and N2 are parallel e1: G1 -> N1; % G1 is the governor of N1 e2: G2 -> N2; % G2 is the governor of N2 id(G1) < id(G2); % avoid duplicates (1/2 switching) G1.position <> G2.position; % G1 and G2 are not parallel id(G1) < id(G2); % avoid duplicates (1/2 switching) } ``` ... ...
No preview for this file type

354 KB | W: | H:

452 KB | W: | H:

• 2-up
• Swipe
• Onion skin
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!