Art

J-GLOBAL ID：201602241123808899   Reference number：16A1279370

1方向自己検証非決定性コオペレーティング有限オートマトンシステム

Author (3)： YAMANE HIROKI (徳山工高専) ,  YOSHINAGA TSUNEHIRO (徳山工高専) ,  SAKAMOTO MAKOTO (宮崎大)
Material： 電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)  (電気・情報関連学会中国支部連合大会(CD-ROM))
Volume： 67th  Page： ROMBUNNO.R16-18-14  Publication year： Oct. 17, 2016 
JST Material Number： L1892B  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *finite automaton ,  *computation model ,  parallel processing ,  parallel arithmetic ,  nondeterminism ,  nondeterministic automaton ,  performance analysis ,  motion study
Semi thesaurus term： parallel computing ,  performance analysis ,  motion analysis

JST classification (2)： Automaton theory  (JB04000O) ,  Theory of computation  (JB02000A)

Terms in the title (5)： 1方向 ,  自己 ,  検証 ,  非決定性 ,  有限オートマトン