1.3　膜计算中的相关定义及概念

本节内容主要对膜计算中涉及的相关定义和概念，如描述膜计算模型的形式语言、证明计算通用性的注册机以及涉及鲁棒膜系统的时间无关概念进行概述。(https://www.daowen.com)