教材《Introduction to Discete Event Systems》 Second Edition
上一个星期刚刚完成第一章的学习，由于内容多为概念性的定义以及系统的分类暂不做成详细记录，今天将从第二章开始。
Chapter 2
Languages and Automata
2.1 INTRODUCTION
1.DES不能使用微分方程或者差分方程进行建模。因此学习DES的第一个任务是开发合适的模型，既能充分描述这些系统的行为，又能为分析技术提供框架，以满足设计、控制和性能评估的目标。
2.两个关键点 sequence of states visited and the associated events causing these state transitions.
3.The sequence 只表示事件随着时间发生的序列并不表示时间实例。（untimed or logical）
4.automata(自动机)是一种建模方法中一种，其缺点是在复杂背景下会导致非常大的状态空间。Large state spaces.
5.基本逻辑行为
6.利用自动机形式，我们将提出三种验证问题的解决技术：安全性（即避免非法行为）、活跃性（即避免死锁和活锁）和诊断（即检测不可观察事件发生的能力）。这些是复杂自动化系统控制系统软件实现研究中最常见的验证问题。
2.2 THE CONCRPTS OF LANGUAGES AND AUTOMATA
2.2.1 Language Models of Discrete Event Sytems
1.The set E is thought of as the “alphabet” （event set）of a language and event sequences are thought of as “words” in that language.
2.目标为构造一个使用已知语言的系统并确定这种语言。
3.第二段我个人理解可总结为对于一个完整的状态转换机制例如 开始 无误 结束 这三个基本语言不可或缺，同时DES系统应该对相应的语言敏感也就是说对于缺少关键字的情况要及时check。
Language Notation and Definitions
DES系统的E集合作为一个字母表。时间序列次啊用单词或者事件字母串的形式，没有事件组成的字符串称为 ε 。字符串的长度代表事件的数量。
Definition(Language)
在事件集E上定义的语言是由E中的事件形成的一组有限长度字符串。
E={a,b,g}
Language: L1={ε,a,abb} 由三个strings组成
L2={all possible strings of length starting with event a} like :aaa aab aag aba abb abg aga agb agg
L3={a开头的所有有限长度的字符串} 该语言包含了无限多个strings
也就是说关键在于 Concatenation
