前束正規形式
中 文 前束正規形式
出 處 電子計算機名詞
相關詞匯
中文詞彙 | 英文翻譯 | 出處/學術領域 |
---|---|---|
前束正規形式 | 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 | 【電子計算機名詞】 |