Introduction to discrete event system-学习笔记4.9pm

1.There is a set of unmarked states in G that forms a strongly connected component,but with no transition going out of the set ,If the system enters this set of states, then we get what is called a livelock.

2.An automaton G could reach a state x where Γ(x)=∅ but x/∈X_m ,this is called a deadlock because no further event can be executed.

3.A Nondeterministic Automaton,denoted by G_nd,is a six-tuple

　　G_nd=(X,E∪{ε},f_nd,Γ,x₀,X_m)

　　where these objects have the same interpretation as in the definition of deterministic automaton,with the two differences that:

　　1.f_nd is a function f_nd :X×E∪{ε}→2^x , that is ,f_nd(x,e)⊆X whenever it is defined.

　　2.The initial state may itself be a set of states, that is x₀⊆X.

next:P96 Unary Operations

转载于:https://www.cnblogs.com/snailjn/archive/2013/04/09/3011080.html