文献

J-GLOBAL ID：201602241123808899   整理番号：16A1279370

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

著者 (3件)： 山根弘樹 (徳山工高専) ,  義永常宏 (徳山工高専) ,  坂本眞人 (宮崎大)
資料名： 電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)  (電気・情報関連学会中国支部連合大会(CD-ROM))
巻： 67th  ページ： ROMBUNNO.R16-18-14  発行年： 2016年10月17日 
JST資料番号： L1892B  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *有限オートマトン ,  *計算モデル ,  並列処理 ,  並列演算 ,  非決定性 ,  非決定性オートマトン ,  性能分析 ,  動作分析
準シソーラス用語： 並列計算 ,  特性解析 ,  動作解析

分類 (2件)： オートマトン理論  (JB04000O) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： 1方向 ,  自己 ,  検証 ,  非決定性 ,  有限オートマトン