 |
| |||
| available mode | |||
| reachable state (напр., состояние В доступно из состояния А, если существует такой набор входов, что модель, находясь изначально в состоянии А, в итоге придет в состояние В. Это означает, что в графе состояний существует путь от А к В ssn) | |||
| available state | |||
| доступное состояние: 2 צירופים, 2 נושאים |
| תִכנוּת | 1 |
| תקשורת | 1 |