This HTML5 document contains 22 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-jahttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n14http://portal.acm.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11http://www.tcs.tifr.res.in/~pandya/grad/aut06/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n8http://ja.dbpedia.org/resource/Category:
wikipedia-jahttp://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-jahttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-ja:マイケル・ラビン
dbo:wikiPageWikiLink
dbpedia-ja:ラビンオートマトン
Subject Item
dbpedia-ja:ラビンオートマトン
rdfs:label
ラビンオートマトン
rdfs:comment
ラビンオートマトン（Rabin Automaton）は、無限長の文字列を扱う有限オートマトンの一種。その形式は としたとき、 および は Büchi automaton と同様に定義される。 は遷移関数であり、 はペア の集合で、 である。 である の実行において、 からの一部の状態を無限回訪れる間に からの全状態を有限回訪れるようなインデックス があるとき、 は入力単語 を受容する。
dct:subject
n8:計算モデル n8:数学に関する記事
dbo:wikiPageID
787136
dbo:wikiPageRevisionID
47223892
dbo:wikiPageWikiLink
dbpedia-ja:有限オートマトン n8:数学に関する記事 dbpedia-ja:文字列 n8:計算モデル
dbo:wikiPageExternalLink
n11:lect4.pdf n14:citation.cfm%3Fid=114895
prop-ja:wikiPageUsesTemplate
template-ja:Computer-stub
dbo:wikiPageInterLanguageLink
dbr:Rabin_automaton
dbo:abstract
ラビンオートマトン（Rabin Automaton）は、無限長の文字列を扱う有限オートマトンの一種。その形式は としたとき、 および は Büchi automaton と同様に定義される。 は遷移関数であり、 はペア の集合で、 である。 である の実行において、 からの一部の状態を無限回訪れる間に からの全状態を有限回訪れるようなインデックス があるとき、 は入力単語 を受容する。
foaf:isPrimaryTopicOf
wikipedia-ja:ラビンオートマトン
dbo:wikiPageLength
1136
prov:wasDerivedFrom
wikipedia-ja:ラビンオートマトン?oldid=47223892&ns=0
Subject Item
dbpedia-ja:パリティゲーム
dbo:wikiPageWikiLink
dbpedia-ja:ラビンオートマトン
Subject Item
dbpedia-wikidata:Q2125048
owl:sameAs
dbpedia-ja:ラビンオートマトン
Subject Item
wikipedia-ja:ラビンオートマトン
foaf:primaryTopic
dbpedia-ja:ラビンオートマトン