前束正規形式

中 文 前束正規形式

英 文 prenex-normal form

出 處 電子計算機名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
前束正規形式 prenex-normal form 【電子計算機名詞】
前束正規形式 prenex normal form 【電子計算機名詞】
前束合取正規形式 prenex-disjunctive normal form 【電子計算機名詞】
第二正規形式 second normal form 【資訊與通信術語辭典】
第三正規形式 third normal form 【資訊與通信術語辭典】
第一級正規形式 first normal form 【資訊與通信術語辭典】
正常形式;正規形式 normal form 【資訊與通信術語辭典】
巴科斯正規形式 Backus normal form 【資訊與通信術語辭典】
BCNF正規形式 Boyce Codd normal form{=BCNF} 【電子計算機名詞】
BC 正規形式 BC normal form 【電子計算機名詞】
喬姆斯基正規形式 Chomsky normal form 【電子計算機名詞】
巴科斯正規形式 Backus normal form{=BNF} 【電子計算機名詞】
根正規形式 Root Normal Form 【電子計算機名詞】
第三正規形式 third normal form{=TNF} 【電子計算機名詞】
弱文頭正規形式 weak head normal form 【電子計算機名詞】
核心正規形式 kernel normal form 【電子計算機名詞】
正常形式;正規形式 normal form{=NF} 【電子計算機名詞】
正規形式下推自動機 normal form pushdown automaton 【電子計算機名詞】
正規形式 PDA normal form PDA 【電子計算機名詞】
合取正規形式 prenex-conjunctive normal form 【電子計算機名詞】