Prediction-Preserving Reducibility with Membership Queries on Formal Languages

  • Authors:
  • Kouichi Hirata;Hiroshi Sakamoto

  • Affiliations:
  • -;-

  • Venue:
  • FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.