Map
We have two type of map models:
- Figure 1: Map of size 2 where you may set a value for a key once.
- Figure 2: Map of size 2 where may set a value for a key a often as you want.
Fig. 1: Map of size 2 where you may set a value for a key once. The input symbols start with I, the output symbols start with O. In addition to symbols, the transitions contain value checks (or guards, ==, !=) and assignments (=).
Fig. 2: Map of size 2 where may set a value for a key a often as you want. The input symbols start with I, the output symbols start with O. In addition to symbols, the transitions contain value checks (or guards, ==, !=) and assignments (=).
