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 (=).