Sciweavers

FCT
2001
Springer

Prediction-Preserving Reducibility with Membership Queries on Formal Languages

14 years 3 months ago
Prediction-Preserving Reducibility with Membership Queries on Formal Languages
This paper presents the prediction-preserving reducibility with membership queries (pwm-reducibility) on formal languages, in particular, simple CFGs and finite unions of regular pattern languages. For the former, we mainly show that DNF formulas are pwm-reducible to CFGs that is sequential or that contains at most one nonterminal. For the latter, we show that both bounded finite unions of regular pattern languages and unbounded finite unions of substring pattern languages are pwm-reducible to DFAs.
Kouichi Hirata, Hiroshi Sakamoto
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where FCT
Authors Kouichi Hirata, Hiroshi Sakamoto
Comments (0)