ascesis 0.0.6

A language for analysis and synthesis of cause-effect synchronised interacting systems
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55

Remarks about lexer implementation
==================================

Any terminal symbol of the language should be presented to the parser
as a single token recognized by the lexer.  Lexer should accept white
space anywhere between tokens.  If two consecutive tokens aren't
separated by white space, then lexer should recognize them separately,
unless a result of token concatenation is also a valid token —
as a rule, longer token always wins.

## Token categories

_Ascesis_ terminal symbols are keywords, identifiers, literals,
operators, separators, delimiters and modifiers.

  - Keywords are `ces`, `vis`, `caps`, `unbounded`, `weights`,
    `inhibit`, `hold`, `Node`, `CES`, `Size` and `String`.

  - Identifiers are unquoted strings of alphanumeric characters (plus
    underscore) not starting from a digit and different from any of
    the keywords.

  - Literals are nonnegative integers and double-quoted strings.

  - Operators are thin and fat arrows and plus sign.

  - Separators are colon and comma.

  - Delimiters are parentheses and curly braces.

  - Exclamation mark is the only modifier.

## Rules for token recognition

```bnf
keyword = "ces" | "vis" | "caps" | "unbounded"
        | "weights" | "inhibit" | "hold"
        | "Node" | "CES" | "Size" |  "String" ;

identifier = r"[a-zA-Z_][a-zA-Z0-9_]*" - keyword;

literal = size | string ;

size = r"[0-9]+" ;

string = r#""[^"]*""# ;

operator = "->" | "<-" | "=>" | "<=" | "<=>" | "+" ;

separator = ":" | "," ;

delimiter = "(" | ")" | "{" | "}" ;

modifier = "!" ;
```