Ещё пример: реализация автомата. Цветом выделяются варианты в CASE - состояния (тек. и те, куда возможен из него переход):## Код:
```
| текущСост: (* новСост1 | новСост2 *)
```
Жирным выделяются операторы перехода в новое состояние## Код:
```
state := новСост1
```
Благодаря такому оформлению можно легко видеть граф состояний автомата в коде.