基于网络展开法研究标识之间的可达关系

摘要

本文研究了某些标识之间的可达关系。首先，给出了一种有限前缀；然后在该有限前缀的基础上判断某些配制之间的可达关系；最后，通过这些配制之间的可达关系判断这些配制对应标识之间的可达关系。