Efficient Recognition Algorithms for Parallel Multiple Context-Free Languages and for Multiple Context-Free Languages
スポンサーリンク
概要
- 論文の詳細を見る
Parallel multiple context-free grammar (PM-CFG) and multiple context-free grammar (MCFG) were introduced to denote the syntax of natural languages. By the known fastest algorithm, the recognition problem for multiple context-free language (MCFL) and parallel multiple context-free language (PMCFL) can be solved in O (n^e) time and O (n^<e+1>) time, respectively, where e is a constant which depends only on a given MCFG or PMCFG. In this paper, we propose the following two algorithms. (1) An algorithm which reduces the recognition problem for MCFL to the boolean matrices multiplication problem. (2) An algorithm which reduces the recognition problem for PMCFL to the recognition problem for MCFL. The time complexity of these algorithms is O (n^<e'-3i'+1>・M (n^i')) where e'and i'are constants which depend only on a given MCFG or PMCFG, and M (k) is the time needed for multiplying two k×k boolean matrices. The proposed algorithms are faster than the known fastest algorithms unless e'=e, i'=1 for MCFG, and e'=e, i'=0 for PMCFG.
- 社団法人電子情報通信学会の論文
- 1998-11-25
著者
-
Nakanishi Ryuichi
The Authors Are With The Graduate School Of Information Science Nara Institute Of Science And Techno
-
SEKI Hiroyuki
The authors are with Graduate School of Information Science, Nara Institute of Science and Technolog
-
TAKADA Keita
The author is with Semiconductor Development Div., Matsushita Electric Industrial Co., Ltd.
-
NII Hideki
The author is with Systems Engineering Department-3, Enterprise Systems Div., Oki Electric Industry
-
Nii Hideki
The Author Is With Systems Engineering Department-3 Enterprise Systems Div. Oki Electric Industry Co
-
Takada Keita
The Author Is With Semiconductor Development Div. Matsushita Electric Industrial Co. Ltd.
-
Seki Hiroyuki
The Authors Are With Graduate School Of Information Science Nara Institute Of Science And Technology
-
Seki Hiroyuki
The Authors Are With The Graduate School Of Information Science Nara Institute Of Science And Techno
関連論文
- Verification of a Microcomputer Program Specification Embedded in a Reactive System
- Efficient Recognition Algorithms for Parallel Multiple Context-Free Languages and for Multiple Context-Free Languages