首页 | 本学科首页   官方微博 | 高级检索  
     

重写系统和的合流性
作者姓名:林凯 谢东 孙永强 陆汝占
作者单位:上海交通大学计算机系 上海 200030
摘    要:在实际应用中,常常使用多个重写系统。本文主要讨论重写系统和的合流性,并给出了一个重写系统和具有合流性的充分条件。

关 键 词:重写系统  重写系统和  合流性
点击此处可从《中国科学A辑》浏览原始摘要信息
点击此处可从《中国科学A辑》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号