通信与移动系统:π演算学习笔记

来源:互联网 发布:一机一码视频破解知乎 编辑:程序博客网 时间:2024/05/20 20:43

自动机

预设一个给定的动作集合Act,对自动机定义如下:
-- 一个集合Q={q0,q1....},其元素为一些状态;
--  一个状态q0属于Q,称为初始状态;
--  Q的一个子集F,称其元素为接受状态
--  Q*Act*Q的一个子集T,称其元素为迁移
0 0
原创粉丝点击