定义通用半正则自主异步系统的对称性
其他计算机科学
2013-07-23 v2
摘要
正则自主异步系统是非确定性布尔动力系统,而通用性意味着在包含关系意义上的最大性。本文在一个称为半正则性的稍更一般的框架下,给出了这些系统的四种对称性定义,并提供了许多示例。
引用
@article{arxiv.1206.4598,
title = {Defining the symmetry of the universal semi-regular autonomous asynchronous systems},
author = {Serban E. Vlad},
journal= {arXiv preprint arXiv:1206.4598},
year = {2013}
}
备注
16 pages, 11 figures