HTML Microdata document

This HTML5 document contains 212 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dct	http://purl.org/dc/terms/
template-en	http://ja.dbpedia.org/resource/Template:
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-wikidata	http://wikidata.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
n6	http://ja.dbpedia.org/resource/Category:
n8	http://ja.wikipedia.org/wiki/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
dbpedia-ja	http://ja.dbpedia.org/resource/
prop-en	http://ja.dbpedia.org/property/

Statements

Subject Item: dbpedia-wikidata:Q192161
owl:sameAs: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:Contextual_Query_Language
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:EBNF
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:Extensible_Stylesheet_Language
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:Hom関手
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:HyperText_Markup_Language
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:PR_(計算複雑性理論)
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:STRIPS
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:TLA+
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:TQBF問題
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:Uppaal
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:アルファベット
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:アルファベット_(計算機科学)
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:アルフレト・タルスキ
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:チョムスキー標準形
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ドメイン固有モデリング
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:エミール・ポスト
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:オグデンの補題
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:オブジェクト指向
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:オントロジー_(情報科学)
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:オートマトン
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:クリーネ閉包
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ゲーデル数
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:コンセンサス配列
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:コンピュータ言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ゴットフリート・ライプニッツ
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ジェフリー・ウルマン
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ジョン・バッカス
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ジョン・ホップクロフト
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ソフトウェア品質
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ダイアグラム
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:チョムスキー階層
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ディック言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:データ記述言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:トップダウン設計とボトムアップ設計
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ナンバリング_(計算可能性理論)
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ノミック
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ノーム・チョムスキー
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:パーニニ
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:フリーフォーマット_(コンピュータ)
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ブロック_(プログラミング)
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ブール値関数
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:プログラミング用語_(分野別)
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:プログラミング言語の比較
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:プログラム_(コンピュータ)
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:プロセス計算
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:マイヒル–ネローデの定理
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:マークアップ言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:メモ化
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:モデリング言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:モデル理論
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:モノイド
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ラヨ数
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:レスリー・ランポート
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ロジバン
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:不可能世界論
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:中間表現
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:中間言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:交替性チューリング機械
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:人工言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:仕様記述言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:代数的構造
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:再帰理論
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:冪集合公理
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:制御理論
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:反復補題
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:句構造規則
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:可変長符号
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:多元宇宙論
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:多項式階層
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:定義可能実数
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:対話型証明系
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:左再帰
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:帰納的可算言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:帰納的可算集合
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:帰納言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:形式体系
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:形式意味論
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:形式手法
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:形式理論
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:形式科学
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:形式言語
rdfs:label: 形式言語
rdfs:comment: 形式言語（けいしきげんご、英: formal language）は、その文法（構文、統語論）が、場合によっては意味（意味論）も、形式的に与えられている（形式体系を参照）言語である。形式的でないために、しばしば曖昧さが残されたり、話者集団によって用法のうつろいゆくような自然言語に対して、プログラミング言語を含む一部の人工言語や、いわゆる機械可読な（機械可読目録を参照）ドキュメント類などの形式言語は、用法の変化に関しては厳格である。この記事では形式的な統語論すなわち構文の形式的な定義と形式文法について述べる。形式的な意味論については形式意味論の記事を参照。
owl:sameAs: freebase:m.02ymn
dct:subject: n6:構文解析_(プログラミング) n6:理論計算機科学 n6:文法 n6:形式言語 n6:数学に関する記事 n6:メタ論理学
dbo:wikiPageID: 64
dbo:wikiPageRevisionID: 84907774
dbo:wikiPageWikiLink: dbpedia-ja:哲学 dbpedia-ja:ノーム・チョムスキー dbpedia-ja:句 n6:構文解析_(プログラミング) dbpedia-ja:語幹 dbpedia-ja:節_(文法) dbpedia-ja:自然言語 dbpedia-ja:チョムスキー階層 dbpedia-ja:文法 dbpedia-ja:数学基礎論 n6:理論計算機科学 dbpedia-ja:文脈自由文法 dbpedia-ja:思考 dbpedia-ja:計算機 dbpedia-ja:音素 dbpedia-ja:統語論 dbpedia-ja:計算 dbpedia-ja:オートマトン dbpedia-ja:言語 dbpedia-ja:数理論理学 dbpedia-ja:クリーネスター n6:文法 dbpedia-ja:アルファベット_(計算機科学) n6:形式言語 dbpedia-ja:エンコード n6:数学に関する記事 dbpedia-ja:モデル理論 dbpedia-ja:順序 dbpedia-ja:計算機科学 dbpedia-ja:プログラミング言語 dbpedia-ja:人工言語 n6:メタ論理学 dbpedia-ja:組み合わせ dbpedia-ja:演繹 dbpedia-ja:意味論_(曖昧さ回避) dbpedia-ja:心理学 dbpedia-ja:構文規則 dbpedia-ja:品詞 dbpedia-ja:活用 dbpedia-ja:形式体系 dbpedia-ja:形式意味論 dbpedia-ja:形式手法 dbpedia-ja:形式文法 dbpedia-ja:言語学 dbpedia-ja:機械可読目録
prop-en:wikiPageUsesTemplate: template-en:独自研究 template-en:Main template-en:Reflist template-en:Logic template-en:脚注ヘルプ template-en:Commonscat template-en:Normdaten template-en:Lang-en-short template-en:See
prop-en:date: 0001-01-01
prop-en:section: 1
dbo:abstract: 形式言語（けいしきげんご、英: formal language）は、その文法（構文、統語論）が、場合によっては意味（意味論）も、形式的に与えられている（形式体系を参照）言語である。形式的でないために、しばしば曖昧さが残されたり、話者集団によって用法のうつろいゆくような自然言語に対して、プログラミング言語を含む一部の人工言語や、いわゆる機械可読な（機械可読目録を参照）ドキュメント類などの形式言語は、用法の変化に関しては厳格である。この記事では形式的な統語論すなわち構文の形式的な定義と形式文法について述べる。形式的な意味論については形式意味論の記事を参照。
dbo:wikiPageLength: 4948
prov:wasDerivedFrom: n8:形式言語?oldid=84907774&ns=0
foaf:isPrimaryTopicOf: n8:形式言語

Subject Item: dbpedia-ja:形式言語の階層
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:情報学
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:拡張BNF
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:数学の哲学
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:数学の年表
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:数学的厳密性
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:数学者の一覧
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:文法
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:文法圧縮
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:文脈依存文法
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:文脈自由文法
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:文脈自由言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:文脈自由言語の反復補題
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:日本語プログラミング言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:曖昧な文法
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:概念記法
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:構成規則
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:正規表現
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:正規言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:決定性有限オートマトン
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:生成文法
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:知識表現
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:空文字列
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:符号
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:算法
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:約物
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:統語論
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:線形加速定理
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:翻訳
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:自動計画
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:自己言及
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:自然言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:自然言語理解
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:自由変数と束縛変数
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:芸術の言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:言語の起源
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:言語行為
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:計算可能性理論
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:計算可能関数
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:計算機科学
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:計算理論
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:論理定項
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:論理式_(数学)
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:論証
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:量化
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:非決定性有限オートマトン
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:順序組
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:Bash
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:ユニバーサル・ネットワーキング・ラングエッジ
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:多対一還元
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:岩波講座_情報科学
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:形式言語理論
dbo:wikiPageWikiLink: dbpedia-ja:形式言語
dbo:wikiPageRedirects: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:文脈依存言語
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:Parsing_Expression_Grammar
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:グライバッハ標準形
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:コンピュータのカテゴリ一覧
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: dbpedia-ja:構文解析
dbo:wikiPageWikiLink: dbpedia-ja:形式言語

Subject Item: n8:形式言語
foaf:primaryTopic: dbpedia-ja:形式言語