Approximative Learning of Regular Languages

  • Authors:
  • Henning Fernau

  • Affiliations:
  • -

  • Venue:
  • SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show how appropriately chosen functions f which we call distinguishing can be used to make deterministic finite automata backward deterministic. These ideas have been exploited to design regular language classes called f-distinguishable which are identifiable in the limit from positive samples. Special cases of this approach are the k-reversible and terminal distinguishable languages as discussed in [1,3,5,15,16]. Here, we give new characterizations of these language classes. Moreover, we show that all regular languages can be approximated in the setting introduced by Kobayashi and Yokomori [12,13]. Finally, we prove that the class of all function-distinguishable languages is equal to the class of regular languages.