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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-enhttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n12https://complexityzoo.uwaterloo.ca/Complexity_Zoo:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n6http://ja.dbpedia.org/resource/Category:
n9http://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q1073063
owl:sameAs
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
帰納的可算言語(きのうてきかさんげんご、英: Recursively enumerable language)は、数学・論理学・計算機科学における形式言語の一種である。部分決定性言語(Partially Decidable Language)、チューリング受理性言語(Turing-recognizable Language)とも呼ぶ。形式言語のチョムスキー階層におけるタイプ-0言語に相当する。全ての帰納的可算言語は複雑性クラス RE に属する。
owl:sameAs
freebase:m.0f8z3
dct:subject
n6:数理論理学 n6:計算理論 n6:数学に関する記事 n6:形式言語
dbo:wikiPageID
1039259
dbo:wikiPageRevisionID
55375927
dbo:wikiPageWikiLink
dbpedia-ja:算術的階層 dbpedia-ja:集合 n6:形式言語 dbpedia-ja:論理学 dbpedia-ja:チョムスキー階層 dbpedia-ja:RE_(計算複雑性理論) 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:複雑性クラス n6:数学に関する記事 dbpedia-ja:生成_(数学) dbpedia-ja:帰納的可算集合 dbpedia-ja:文脈依存言語 dbpedia-ja:帰納言語 n6:数理論理学 dbpedia-ja:正規言語 dbpedia-ja:形式言語
dbo:wikiPageExternalLink
n12:R%23re
prop-en:wikiPageUsesTemplate
template-en:Lang-en-short
dbo:abstract
帰納的可算言語(きのうてきかさんげんご、英: Recursively enumerable language)は、数学・論理学・計算機科学における形式言語の一種である。部分決定性言語(Partially Decidable Language)、チューリング受理性言語(Turing-recognizable Language)とも呼ぶ。形式言語のチョムスキー階層におけるタイプ-0言語に相当する。全ての帰納的可算言語は複雑性クラス RE に属する。
dbo:wikiPageLength
1656
prov:wasDerivedFrom
n9:帰納的可算言語?oldid=55375927&ns=0
foaf:isPrimaryTopicOf
n9:帰納的可算言語
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
n9:帰納的可算言語
foaf:primaryTopic
dbpedia-ja:帰納的可算言語