Kasai TAKUMI (笠井琢美)

0151700_名誉教授・その他関係者, 0150000_全学支援組織・その他, The University of Electro-Communications

formal languages and automata

theory of computation

computitional complexity

形式言語とオートマトン

計算理論

計算の複雑さ

ジャーナル論文 - rm_published_papers: Scientific Journal 査読済み

Extended categorial grammars - A new formal grammatical model for machine translation

by Kasai TAKUMI

公開済 09/2009

The IEICE transactions on informantion and systems, J92-D, 9, 1508 - 1517

本論文では,機械翻訳のための形式的な文法モデルとして拡張範疇文法を導入する.この文法は,現在開発が進められている英和機械翻訳機で使われている文法モデルである.近年の計算言語学では,tree adjoining grammarsと呼ばれる文法が,自然言語の形式的な文法モデルとして注目され,広く研究されている.今回,拡張範疇文法とtree adjoining grammarsの能力の一致が示される.

ジャーナル論文 - rm_published_papers: Scientific Journal 査読済み

A characterization of TALs by the generalized Dyck language

by Kasai TAKUMI

公開済 06/2007

電子情報通信学会論文誌, J90-D, 6, 1417 - 1427

TALsは文脈自由言語よりも強力な記述能力をもつ言語のクラスであり,自然言語の形式化として近年注目を集めている.本論文では,任意のTALが認識可能集合と拡張Dyck言語と準同型写像によって特徴付けられることを示す.

ジャーナル論文 - rm_published_papers: Scientific Journal 査読済み

Inherent ambiguity of languages generated by spine grammars

by Kasai TAKUMI

公開済 06/2005

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E88D, 6, 1150 - 1158

ジャーナル論文 - rm_published_papers: Scientific Journal 査読済み

A polynomial time algorithm to infer sequential machines

by Kasai TAKUMI

公開済 01/2003

Systems and Computers in Japan, 34, 1, 59 - 67

ジャーナル論文 - rm_published_papers: Scientific Journal 査読済み

転送スタック付きプッシュダウン・オートマトンとLinear Indexed Grammar について

by Kasai TAKUMI

公開済 12/2001

電子情報通信学会論文誌, J84-D1, 12, 1583 - 1590

本論文では, プッシュダウンオートマトンの自然な拡張である転送スタック付きプッシュダウンオートマトンを導入する.このオートマトンは, プッシュダウンスタックに加えて, このスタックと連動して動作する制限された補助スタックを転送スタックと呼ぶ.このオートマトンの能力について, 自然言語の形式化の一つである Linear Indexed Grammarとの比較を行い, 転送スタック付きプッシュダウンオートマトンで受理される言語のクラスが, Linear Indexed Grammarの言語のクラスと一致することを示す.

ジャーナル論文 - rm_published_papers: Research Society

木－文字列変換機について

by Kasai TAKUMI

公開済 03/2001

電子情報通信学会技術研究報告, COMP2000-76