Графы и сети. Харитонова Е.В. - 56 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

55
г)
имеют достижимыми каждое состояние?
д)
являются живыми?
е)
имеют все текущие переходы разрешенными?
ж)
имеют переходы, которые могут быть разрешены в некотором состоя-
нии, достижимом из текущего состояния?
(i) (ii)
(iii) (iv)
(v)
(vi) (vii)
•
•
•
t
2
t
1
t
3
•
•
•
•
t
1
t
2
t
4
t
3
•
t
2
t
1
•
•
t
3
t
4
•
•
t
1
t
2
t
3
t
4
•
t
1
t
2
t
3
t
4
•
t
3
t
1
t
3
•
•
t
3
t
1
t
3

Страницы