摘要： 1.The usual set operations,such as union,intersection,difference,and complement with respect to E*.2.Concatenation: Let La,Lb⊆E*，then LaLb:={s∈E*:(s=sasb)and(sa⊆La)and(sb∈Lb)}3.Prefix-closure: Let L⊆E*,then L(L的逆):={s∈E*:(∃t∈E*)[st∈L]}4.Kleene-closure: Let L⊆E*,then L*:={ε}∪L∪LL∪LLL∪· · &# 阅读全文

摘要： 1.Using the automaton formalism,we will present solution techniques for three kinds of verification problems.those of safety(avoidance of illegal behavior),liveness(avoidance of deadlock and livelock),and diagnosis(ability to detect occurrences of unobservable events).2.One of the formal ways to stu 阅读全文