About: 抽象機械

Property	Value
dbo:abstract	抽象機械（ちゅうしょうきかい）とは、計算モデルのうち、チューリングマシンなどのような「機械っぽい」ものを指す語である。 (ja) 抽象機械（ちゅうしょうきかい）とは、計算モデルのうち、チューリングマシンなどのような「機械っぽい」ものを指す語である。 (ja)
dbo:wikiPageExternalLink	http://www.inf.ed.ac.uk/teaching/courses/lsi/diehl_abstract_machines.pdf
dbo:wikiPageID	781155 (xsd:integer)
dbo:wikiPageLength	4069 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	79188098 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:Category:抽象機械 dbpedia-ja:Category:計算モデル dbpedia-ja:OCaml dbpedia-ja:Prolog dbpedia-ja:SECDマシン 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:Jan_van_Leeuwen
prop-ja:author	Macura, Wiktor K. (ja) Macura, Wiktor K. (ja)
prop-ja:title	Abstract Machine (ja) Abstract Machine (ja)
prop-ja:urlname	AbstractMachine (ja) AbstractMachine (ja)
prop-ja:wikiPageUsesTemplate	template-ja:FOLDOC template-ja:MathWorld template-ja:複数の問題 template-ja:読み仮名
dct:subject	dbpedia-ja:Category:抽象機械 dbpedia-ja:Category:計算モデル
rdfs:comment	抽象機械（ちゅうしょうきかい）とは、計算モデルのうち、チューリングマシンなどのような「機械っぽい」ものを指す語である。 (ja) 抽象機械（ちゅうしょうきかい）とは、計算モデルのうち、チューリングマシンなどのような「機械っぽい」ものを指す語である。 (ja)
rdfs:label	抽象機械 (ja) 抽象機械 (ja)
owl:sameAs	freebase:抽象機械
prov:wasDerivedFrom	wikipedia-ja:抽象機械?oldid=79188098&ns=0
foaf:isPrimaryTopicOf	wikipedia-ja:抽象機械
is dbo:wikiPageWikiLink of	dbpedia-ja:SECDマシン dbpedia-ja:SKIコンビネータ計算 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:方向探知 dbpedia-ja:有限モデル理論 dbpedia-ja:状態遷移系 dbpedia-ja:神託機械 dbpedia-ja:複雑性クラス dbpedia-ja:計算モデル dbpedia-ja:記述計算量 dbpedia-ja:静的コード解析 dbpedia-ja:CEK機械
is owl:sameAs of	dbpedia-wikidata:抽象機械
is foaf:primaryTopic of	wikipedia-ja:抽象機械