本文關(guān)鍵詞：面向無窮數(shù)據(jù)的形式模型綜述

  更多相關(guān)文章： 無窮數(shù)據(jù) 自動機(jī) 邏輯 非空性 語言包含 可滿足性 可判定性 復(fù)雜性

【摘要】：無窮數(shù)據(jù)廣泛存在于計算機(jī)程序和數(shù)據(jù)庫系統(tǒng)中.受到形式驗證與數(shù)據(jù)庫兩方面應(yīng)用需求的推動,面向無窮數(shù)據(jù)的形式模型已經(jīng)成為理論計算機(jī)科學(xué)的研究熱點之一.對面向無窮數(shù)據(jù)的形式模型(邏輯與自動機(jī))進(jìn)行了相對全面而詳細(xì)的總結(jié).主要按照不同自動機(jī)模型對無窮數(shù)據(jù)的處理方式加以組織,并關(guān)注相關(guān)判定問題,即:自動機(jī)的非空性問題、語言包含問題以及邏輯的可滿足性問題的可判定性與復(fù)雜性.
【作者單位】： 上海市高可信計算重點實驗室(華東師范大學(xué));計算機(jī)科學(xué)國家重點實驗室(中國科學(xué)院軟件研究所);
【關(guān)鍵詞】： 無窮數(shù)據(jù) 自動機(jī) 邏輯 非空性 語言包含 可滿足性 可判定性 復(fù)雜性
【基金】：國家自然科學(xué)基金(61402179,61100062,61272135,61472474,61572478) 上海浦江人才計劃(14PJ1403200) 上海晨光人才計劃(13CG21)~~
【分類號】：TP301.1
【正文快照】： 1背景在計算機(jī)科學(xué)中,形式模型一般指用來對特定結(jié)構(gòu)(比如串和樹)進(jìn)行描述、接受、生成和變換的數(shù)學(xué)模型.形式模型包括邏輯、自動機(jī)、文法和重寫系統(tǒng)等.對形式模型的研究貫穿計算機(jī)科學(xué)的發(fā)展歷程,它奠定了計算機(jī)科學(xué)的很多分支的理論基礎(chǔ)[1]. 圖靈機(jī)——現(xiàn)代計算機(jī)的理論模

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前8條

1 馮鈴,馮玉才;演繹型面向?qū)ο髷?shù)據(jù)庫管理系統(tǒng)形式模型研究[J];計算機(jī)研究與發(fā)展;1993年07期

2 劉貴全,陳小平,范焱,蔡慶生;多主體協(xié)作系統(tǒng)的一種形式模型[J];計算機(jī)學(xué)報;2001年05期

3 張宏;賀也平;石志國;;一個支持空間上下文的訪問控制形式模型[J];中國科學(xué)(E輯:信息科學(xué));2007年02期

4 余盛可;H－網(wǎng)：一個基于Petri網(wǎng)的超文本形式模型[J];計算機(jī)學(xué)報;1995年07期

5 魏衍君;王應(yīng)戰(zhàn);;Java語言混淆器模型研究[J];科技信息;2012年04期

6 李華,葉新銘,丁雪蓮,孫濤;基于相同形式模型的協(xié)議測試方法研究[J];內(nèi)蒙古大學(xué)學(xué)報(自然科學(xué)版);2005年06期

7 張廣泉;;基于轉(zhuǎn)換系統(tǒng)的廣義反應(yīng)系統(tǒng)形式模型[J];計算機(jī)科學(xué);2000年01期

8 ;[J];;年期

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 顏衛(wèi);UML模型與形式模型雙向轉(zhuǎn)換的研究[D];華東師范大學(xué);2011年

，

本文編號：715832