Tsunehiro YOSHINAGA


A Note on Cooperating Systems of One-Way Alternating Finite Automata with Only Universal States
Tatsuya FUJIMOTO Tsunehiro YOSHINAGA Makoto SAKAMOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2014/06/01
Vol. E97-A  No. 6  pp. 1375-1377
Type of Manuscript:  Special Section LETTER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
cooperating system of one-way finite automataalternating finite automatauniversal statescomputational complexity
 Summary | Full Text:PDF(79.7KB)

Non-closure Properties of 1-Inkdot Nondeterministic Turing Machines and Alternating Turing Machines with Only Universal States Using Small Space
Tsunehiro YOSHINAGA Jianliang XU Makoto SAKAMOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2010/06/01
Vol. E93-A  No. 6  pp. 1148-1152
Type of Manuscript:  Special Section LETTER (Special Section on Discrete Mathematics and Its Applications)
Category: Algorithms and Data Structures
Keyword: 
closure properties1-inkdot Turing machinesnondeterministic Turing machinesalternating Turing machinessublogarithmic space complexity
 Summary | Full Text:PDF(103KB)

Sublogarithmic Space-Bounded Multi-Inkdot Alternating Turing Machines with Only Existential (Universal) States
Tsunehiro YOSHINAGA Jianliang XU Katsushi INOUE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/05/01
Vol. E89-A  No. 5  pp. 1417-1420
Type of Manuscript:  Special Section LETTER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
multi-inkdot Turing machinesalternating Turing machinessublogarithmic space complexitycomplementation
 Summary | Full Text:PDF(94.3KB)

Some Observations on One-way Alternating Pushdown Automata with Sublinear Space
Jianliang XU Tsunehiro YOSHINAGA Katsushi INOUE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/05/01
Vol. E87-A  No. 5  pp. 1012-1019
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
alternating pushdown automatasublogarithmic complexitysublinear complexityspace hierarchy
 Summary | Full Text:PDF(205.6KB)

On 1-Inkdot Alternating Pushdown Automata with Sublogarithmic Space
Jianliang XU Yong CHEN Tsunehiro YOSHINAGA Katsushi INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/09/01
Vol. E86-D  No. 9  pp. 1814-1824
Type of Manuscript:  PAPER
Category: Theory of Automata, Formal Language Theory
Keyword: 
alternating pushdown automata1-inkdotalternation hierarchysublogarithmic complexity
 Summary | Full Text:PDF(298.1KB)

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)
Category: 
Keyword: 
determinismnondeterminismself-verifying nondeterminismLas Vegasmulti-counter automata
 Summary | Full Text:PDF(183.8KB)

A Note on Realtime One-Way Alternating and Deterministic Multi-Counter Automata
Tsunehiro YOSHINAGA Katsushi INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/02/01
Vol. E85-D  No. 2  pp. 346-349
Type of Manuscript:  Special Section LETTER (Special Issue on Selected Papers from LA Symposium)
Category: 
Keyword: 
alternating multi-counter automatadeterministic multi-counter automataone-way computationrealtime computationcomputational complexity
 Summary | Full Text:PDF(140.5KB)

Sublogarithmic Space-Bounded Multi-Inkdot Two-Way Alternating Turing Machines with Only Universal States
Tsunehiro YOSHINAGA Katsushi INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/01/01
Vol. E84-D  No. 1  pp. 61-64
Type of Manuscript:  Special Section LETTER (Special Issue on Selected Papers from LA Symposium)
Category: 
Keyword: 
alternating Turing machinesmulti-inkdottwo-way computationsublogarithmic space complexity
 Summary | Full Text:PDF(146.2KB)

Some Observations on 1-Inkdot Alternating Multi-Counter Automata with Sublinear Space
Tsunehiro YOSHINAGA Jianliang XU Katsushi INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/02/25
Vol. E83-D  No. 2  pp. 285-290
Type of Manuscript:  LETTER
Category: Theory of Automata, Formal Language Theory
Keyword: 
alternating multi-counter automata1-inkdot2-way computationsublinear space complexity
 Summary | Full Text:PDF(163.6KB)

Alternating Finite Automata with Counters and Stack-Counters Operating in Realtime
Tsunehiro YOSHINAGA Katsushi INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/08/25
Vol. E78-D  No. 8  pp. 929-938
Type of Manuscript:  PAPER
Category: Automata, Languages and Theory of Computing
Keyword: 
alternationrealtime computationone-way counter automataone-way stack-counter automatacomputational complexity
 Summary | Full Text:PDF(816.5KB)

Hierarchical Properties of Realtime One-Way Alternating Multi-Stack-Counter Automata
Tsunehiro YOSHINAGA Katsushi INOUE Itsuo TAKANAMI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/04/25
Vol. E77-A  No. 4  pp. 621-629
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
alternating automataone-way counterone-way stack-countercomputational complexity
 Summary | Full Text:PDF(741.4KB)