2.1 I/O自动机

1987年，Nancy A.Lynch和Mark R.Tuttle在他们的论文中首次提出输入/输出自动机（Input/Output Automaton，I/O自动机）模型，目前它已经被广泛用在各种异步并行系统的建模中。作为一种异步并行系统，分布式系统也可以通过I/O自动机建模。