Local Languages, the Succesor Method, and a Step Towards a General Methodology for the Inference of Regular Grammars

  • Authors:
  • Pedro Garcia;Enrique Vidal;Francisco Casacuberta

  • Affiliations:
  • Univ. Politecnica de Valencia, Valencia, Spain;-;Univ. Politecnica de Valencia, Spain

  • Venue:
  • IEEE Transactions on Pattern Analysis and Machine Intelligence
  • Year:
  • 1987

Quantified Score

Hi-index 0.14

Visualization

Abstract

A methodology is proposed for the inference of regular grammars from positive samples of their languages. It is mainly based on the generative mechanism associated with local languages, which allows us to obtain arbitrary regular languages by applying morphic operators to local languages. The actual inference procedure of this methodology consists of obtaining a local language associated with the given positive sample. This procedure, which is very simple, is always the same, regardless of the problem considered, while the task-dependent features that are desired for the inferred languages, are specified through the definition of certain task-appropriate symbol renaming functions (morphisms).