 |
| |||
| вычисление множества достижимых состояний (ssn) | |||
|
computing the set of reachable states : 4 צירופים, 1 נושאים |
| תִכנוּת | 4 |
|
| |||
| вычисление множества достижимых состояний (ssn) | |||
|
computing the set of reachable states : 4 צירופים, 1 נושאים |
| תִכנוּת | 4 |