語言選擇:
免費網上英漢字典|3Dict

metalanguage

資料來源 : pyDict

語言分析用的語言

資料來源 : WordNet®

metalanguage
     n : a language that can be used to describe languages

資料來源 : Free On-Line Dictionary of Computing

metalanguage
     
        1. [theorem proving] A language in which proofs are
        manipulated and tactics are programmed, as opposed to the
        logic itself (the "{object language}").  The first {ML} was
        the metalanguage for the Edinburgh {LCF} proof assistant.
     
        2. [logic] A language in which to discuss the truth of
        statements in another language.
依字母排序 : A B C D E F G H I J K L M N O P Q R S T U V W X Y Z