您好，欢迎来电子发烧友网！ ，新用户？[免费注册]

您的位置：电子发烧友网>源码下载>数值算法/人工智能>

面向无穷数据的形式模型综述

大小：1.04 MB 人气： 2018-01-16 需要积分：3

推荐 + 挑错 + 收藏(0) + 用户评论（0）

前往下载地址

分享到:

标签：数据(87965)

　　无穷数据广泛存在于计算机程序和数据库系统中．受到形式验证与数据库两方面应用需求的推动，面向无穷数据的形式模型已经成为理论计算机科学的研究热点之一．对面向无穷数据的形式模型（逻辑与自动机）进行了相对全面而详细的总结．主要按照不同自动机模型对无穷数据的处理方式加以组织，并关注相关判定问题，即：自动机的非空性问题、语言包含问题以及逻辑的可满足性问题的可判定性与复杂性．

非常好我支持^.^

(0) 0%

不好我反对

(0) 0%

用户评论

发表评论即可获得积分！ 详见积分规则

      发表评论

      用户评论
      评价:好评中评差评

      发表评论，获取积分！ 请遵守相关规定！