Keyword : multi-counter automata

Las Vegas, Self-Verifying Nondeterministic and Deterministic One-Way Multi-Counter Automata with Bounded Time
Tsunehiro YOSHINAGA Katsushi INOUE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/05/01
Vol. E86-A  No. 5 ; pp. 1207-1212
Type of Manuscript:  Special Section LETTER (Special Section on Discrete Mathematics and Its Applications)
determinismnondeterminismself-verifying nondeterminismLas Vegasmulti-counter automata
 Summary | Full Text:PDF(183.8KB)