文献

J-GLOBAL ID：200902238022364900   整理番号：03A0328464

ラスベガス,自己検証非決定性,及び決定性の時間制限1方向マルチカウンタオートマトン

Las Vegas, Self-Verifying Nondeterministic and Deterministic One-Way Multi-Counter Automata with Bounded Time

著者 (2件)： YOSHINAGA T (Tokuyama Coll. Technol., Tokuyama-shi, JPN) ,  INOUE K (Yamaguchi Univ., Ube-shi, JPN)
資料名： IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers)  (IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers))
巻： E86-A  号： 5  ページ： 1207-1212  発行年： 2003年05月01日 
JST資料番号： F0699C  ISSN： 0916-8508  資料種別： 逐次刊行物 (A)
記事区分： 短報  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 非決定性,決定性,およびランダム化計算の計算能力の比較は,計...

シソーラス用語： *計算量理論 ,...
準シソーラス用語： 計算の複雑さ ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=03A0328464&from=J-GLOBAL&jstjournalNo=F0699C") }}

分類 (1件)： 計算理論  (JB02000A)

引用文献 (8件)：

• DURIS, P. A separation of determinism, Las Vegas and nondeterminism for picture recognition. Proc. 15th Annual IEEE Conference on Communication Complexity. 2000, 214-228
• INOUE, K. Self-verifying nondeterministic and Las Vegas multihead finite automata. IEICE Trans. Fundamentals. 2001, E84-A, 5, 1094-1101
• HROMKOVIC, J. On the power of Las Vegas for one-way communication complexity, OBDDs, and finite automata. Information and Computation. 2001, 169, 284-296
• DURIS, P. Las Vegas versus determinism for one-way communication complexity, finite automata, and polynomil-time computations. Proc. STACS 1200. 1997, 117-128
• HROMKOVIC, J. On the power of Las Vegas II, two-way finite automata. Proc. ICALP 99. 1999, 433-443

タイトルに関連する用語 (6件)： ラスベガス ,  自己 ,  検証 ,  非決定性 ,  制限 ,  1方向