计算机词汇
formal method英 [ˈfɔːml ˈmeθəd]  美 [ˈfɔːrml ˈmeθəd] [计] 形式方法 |
| formal microprogram英 美 [计] 形式微程序 |
| formal model英 [ˈfɔːml ˈmɒdl] 美 [ˈfɔːrml ˈmɑːdl] [计] 形式模型 |
| formal notation英 [ˈfɔːml nəʊˈteɪʃn] 美 [ˈfɔːrml noʊˈteɪʃn] [计] 形式记号, 形式标志 |
| formal parameter英 [ˈfɔːml pəˈræmɪtə(r)] 美 [ˈfɔːrml pəˈræmɪtər] [计] 形式参数 |
| formal parameter identifier英 [ˈfɔːml pəˈræmɪtə(r) aɪˈdentɪfaɪə(r)] 美 [ˈfɔːrml pəˈræmɪtər aɪˈdentɪfaɪər] [计] 形式参数标识符 |
| formal parameter list英 [ˈfɔːml pəˈræmɪtə(r) lɪst] 美 [ˈfɔːrml pəˈræmɪtər lɪst] [计] 形式参数表 |
| formal parameter part英 [ˈfɔːml pəˈræmɪtə(r) pɑːt] 美 [ˈfɔːrml pəˈræmɪtər pɑːrt] [计] 形式参数部分 |
| formal parsing algorithm英 [ˈfɔːml ˈpɑːzɪŋ ˈælɡərɪðəm] 美 [ˈfɔːrml ˈpɑːrsɪŋ ˈælɡərɪðəm] [计] 形式分析算法 |
| formal premise英 [ˈfɔːml ˈpremɪs] 美 [ˈfɔːrml ˈpremɪs] [计] 形式前提 |
| formal program parameter英 [ˈfɔːml ˈprəʊɡræm pəˈræmɪtə(r)] 美 [ˈfɔːrml ˈproʊɡræm pəˈræmɪtər] [计] 形式程序参数 |
| formal program testing英 [ˈfɔːml ˈprəʊɡræm ˈtestɪŋ] 美 [ˈfɔːrml ˈproʊɡræm ˈtestɪŋ] [计] 形式程序测试 |
| formal proof英 [ˈfɔːml pruːf] 美 [ˈfɔːrml pruːf] [计] 形式证明, 形式证法 |
| formal proposition英 [ˈfɔːml ˌprɒpəˈzɪʃn] 美 [ˈfɔːrml ˌprɑːpəˈzɪʃn] [计] 形式命题 |
| formal pushdown automaton英 美 [计] 形式下推自动机 |
| formal qualification英 [ˈfɔːml ˌkwɒlɪfɪˈkeɪʃn] 美 [ˈfɔːrml ˌkwɑːlɪfɪˈkeɪʃn] [计] 格式限定 |
| formal record英 [ˈfɔːml ˈrekɔːd] 美 [ˈfɔːrml ˈrekərd] [计] 形式记录 |
| formal row英 [ˈfɔːml rəʊ] 美 [ˈfɔːrml roʊ] [计] 形式行 |
| formal row of rower英 [ˈfɔːml rəʊ ɒv ˈrəʊə(r)] 美 [ˈfɔːrml roʊ əv ˈroʊər] [计] 形式行标行 |
| formal rule英 [ˈfɔːml ruːl] 美 [ˈfɔːrml ruːl] [计] 形式规则 |
| formal semantic definition英 [ˈfɔːml sɪˈmæntɪk ˌdefɪˈnɪʃn] 美 [ˈfɔːrml sɪˈmæntɪk ˌdefɪˈnɪʃn] [计] 形式语义定义 |
| formal semantic description英 [ˈfɔːml sɪˈmæntɪk dɪˈskrɪpʃn] 美 [ˈfɔːrml sɪˈmæntɪk dɪˈskrɪpʃn] [计] 形式语义描述 |
| formal semantic language英 [ˈfɔːml sɪˈmæntɪk ˈlæŋɡwɪdʒ] 美 [ˈfɔːrml sɪˈmæntɪk ˈlæŋɡwɪdʒ] [计] 形式语义语言 |
| formal semantic model英 [ˈfɔːml sɪˈmæntɪk ˈmɒdl] 美 [ˈfɔːrml sɪˈmæntɪk ˈmɑːdl] [计] 形式语义模型 |
| formal semantics英 [ˈfɔːml sɪˈmæntɪks] 美 [ˈfɔːrml sɪˈmæntɪks] [计] 形式语义 |
| formal system英 [ˈfɔːml ˈsɪstəm] 美 [ˈfɔːrml ˈsɪstəm] [计] 形式系统 |
| formal testing英 [ˈfɔːml ˈtestɪŋ] 美 [ˈfɔːrml ˈtestɪŋ] [计] 形式测试, 形式检验 |
| formal theory英 [ˈfɔːml ˈθɪəri] 美 [ˈfɔːrml ˈθiːəri] [计] 形式理论 |
| formal transformation英 [ˈfɔːml ˌtrænsfəˈmeɪʃn] 美 [ˈfɔːrml ˌtrænsfərˈmeɪʃn] [计] 形式变换 |
| formal value parameter英 [ˈfɔːml ˈvæljuː pəˈræmɪtə(r)] 美 [ˈfɔːrml ˈvæljuː pəˈræmɪtər] [计] 形式值参数 |