Takumi KASAI


Inherent Ambiguity of Languages Generated by Spine Grammars
Ikuo KAWAHARADA Takumi KASAI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/06/01
Vol. E88-D  No. 6  pp. 1150-1158
Type of Manuscript:  PAPER
Category: Automata and Formal Language Theory
Keyword: 
spine grammarstransfer pushdown automatatree adjoining grammarsmildly context-sensitive languagesinherently ambiguous languages
 Summary | Full Text:PDF(479.9KB)

Multi-Phase Tree Transformations
Akio FUJIYOSHI Takumi KASAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/04/25
Vol. E80-A  No. 4  pp. 761-768
Type of Manuscript:  LETTER
Category: Thought and Language
Keyword: 
tree transducercomputational linguistics
 Summary | Full Text:PDF(547KB)

Exhaustive Computation to Derive the Lower Bound for Sorting 13 Items
Shusaku SAWATO Takumi KASAI Shigeki IWATA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1994/09/25
Vol. E77-D  No. 9  pp. 1027-1031
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
algorithm and computational complexity
 Summary | Full Text:PDF(442.8KB)

Some EXPTIME Complete Problems on Context-Free Languages
Takumi KASAI Shigeki IWATA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/03/25
Vol. E76-D  No. 3  pp. 329-335
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
computational complexityEXPTIME completecontext-free languagepebble game problem
 Summary | Full Text:PDF(564.3KB)

Parallel Algorithms for the Maximal Tree Cover Problems
Zhi-Zhong CHEN Takumi KASAI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/01/25
Vol. E75-D  No. 1  pp. 30-34
Type of Manuscript:  Special Section PAPER (Special Section on Theoretical Foundations of Computing)
Category: 
Keyword: 
computatiomal complexityparallel algorithmsmaximal independent set problemmaximal matching problemmaximal tree cover problems
 Summary | Full Text:PDF(493.6KB)

Modified One-Way Alternating Pushdown Automata and Indexed Languages
Masao IKEKAWA Takumi KASAI 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1986/11/25
Vol. E69-E  No. 11  pp. 1213-1216
Type of Manuscript:  PAPER
Category: Software Technology
Keyword: 
 Summary | Full Text:PDF(303.1KB)

The Time-Space Trade-Off Problem on Relativized Turing Machine
Akeo ADACHI Takumi KASAI 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1981/03/25
Vol. E64-E  No. 3  pp. 195-202
Type of Manuscript:  PAPER
Category: Miscellaneous
Keyword: 
 Summary | Full Text:PDF(531.9KB)