 |
| |||
| достижимые состояния (ssn) | |||
| |||
| достижимое состояние | |||
| доступное состояние (напр., состояние В доступно из состояния А, если существует такой набор входов, что модель, находясь изначально в состоянии А, в итоге придет в состояние В. Это означает, что в графе состояний существует путь от А к В ssn) | |||
| reachable states: 12 phrases in 2 subjects |
| Mathematics | 1 |
| Programming | 11 |