（ 1 ） 基本概念
状态集合 Q = {closed, open} ；初始状态 q
0
= closed ；
输入集合 = {front, rear, both, neither}
状态转移关系集合
(closed, rear) =closed ； (closed,both)=closed ； (closed,
neither)=closed ； (closed,front)=open
(open, rear) = pen ； (open,both) =open ； (open, front) =
open ； (open, neither) = closed
closed ：闭合状态； open ：打开状态； front ：前缓冲区有顾客；
rear ：后缓冲区有顾客；
both = front rear ：前、后缓冲区都有顾客；
neither = front rear ：前、后缓冲区都无顾客
closed
open
front
neither
both,rear,neither both,rear,front
前
缓
冲
区
后
缓
冲
区
第 2 页 / 共 51 页
VIP享7折，此内容立减5.97元 
