当前位置:首页 > TAG信息列表 > 形式
形式
-
形式语言与自动机理论
蒋宗礼,姜守旭编著2003 年出版347 页ISBN:7302061033形式语言与自动机理论是计算机科学与技术学科各专业本科生的一门重要课程。本书是作者结合其多年在大学讲授本门课程的经验和体会,选择和组织有关内容撰写而成。本书不仅含有有关正则语言、上下文无关语言的...
-
计算机语言的形式语义
陆汝钤编著1992 年出版886 页ISBN:7030030222中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容