Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00213650n
Noun Concept
Categories: 構文解析 (プログラミング), 文法, メタ論理学, 理論計算機科学, 数学に関する記事
JA
形式言語  形式言語理論
JA
形式言語（けいしきげんご、英: formal language）は、その文法（構文、統語論）が、場合によっては意味（意味論）も、形式的に与えられている（形式体系を参照）言語である。 Wikipedia
Definitions
Relations
Sources
JA
形式言語（けいしきげんご、英: formal language）は、その文法（構文、統語論）が、場合によっては意味（意味論）も、形式的に与えられている（形式体系を参照）言語である。 Wikipedia
文章を規定の解釈のみ可能な言語 Wikidata
IS A
集合
形式体系
HAS PART
形式文法
論理式
EN
word
EN
string of formal language
HAS KIND
アーキテクチャ記述言語
オントロジー言語
モデリング言語
定理
帰納的可算言語
+5 relations
HAS INSTANCE
機械語
EN
Daplex
Communicating Sequential Processes
ユニバーサル・ネットワーキング・ラングエッジ
EN
Simple Knowledge Organization System
+6 relations
DIFFERENT FROM
人工言語
言語
EN
formalized language
HAS QUALITY
形式意味論
形式文法
OPPOSITE OF
自然言語
USE
数学基礎論
Wikipedia
JA
形式言語
Wikidata
JA
形式言語
Wikipedia Redirections
JA
形式言語理論
Wikidata Alias
JA
形式言語理論
Wikipedia Translations
JA
形式言語理論

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License