(version 21/02/2019 - Awali 1.0.2)

Awali deals with weighted automata. The weights are taken in sets that are called internally `WeightSets`

and that are, in a first approximation, *semirings*.
This first document presents the *numerical* semirings that are available in the current version of Awali.
A next document will present more complex `WeightSets`

, and another one how a user can define its own `WeightSet`

and integrate it in Awali.

The list of numerical semirings that are available is given at the end of the output of the command `cora help`

:

```
B, Z, Q, R, C, F2, Z-min-plus, Z-max-plus, R-max-prod, Z/<int>Z
```

The name are explicit. Besides for the last one which is peculiar as it depends from a parameter given by the user, the above writing is the way the semiring is denoted in the `-W`

option.

Boolean automata have been described in the document **GettingStartedWithCora**, those with weights in the semirings `Z`

, `Q`

, `R`

and `C`

in **CoraDoc-WeightsIA**.
We review here the commands for the remaining semirings.

TO BE WRITTEN

There is no preloaded $\mathbb{F}2$-automaton in Awali so far.

There are several preloaded $\mathbb{Z}\mathsf{-min-plus}$-automata in Awali:

`minab, minblocka, slowgrow`

There is only one preloaded $\mathbb{Z}\mathsf{-max}\mathsf{-plus}$-automaton in Awali: `heapmodel`

There is no preloaded $\mathbb{R}\mathsf{-max}\mathsf{-prod}$-automata in Awali.

There is no preloaded $\mathbb{Z}/\mathtt{<\!int\!>}\mathbb{Z}$-automata in Awali.

In [ ]:

```
```

In [ ]:

```
```