状态等价相关论文
无干扰模型是一个重要的信息流模型。但是,目前大多数研究都是针对机密性的,其能否直接应用到完整性条件下(例如:可信计算)还有待研......
自动机理论是研究离散数字系统的功能、结构及两者关系的数学理论.它旨在研究自动机的分析与综合问题.有限自动机是自动机理论的一......
讨论有限识别器的状态等价及其性质,在同构意义下,有限识别器都唯一存在一个可分有限识别器与它等价,给出了有限识别器的状态化简和等......
对于确定型有穷状态自动机(DFA),通过定义状态集上的等价关系≈Q,借助于等价关系,可以在平方时间内构造出接受相同语言的极小化自动......