La formalisation des langages de programmation
Dans un corps fini, toute série formelle algébrique en une indéterminée est la diagonale d'une fraction rationnelle en deux indéterminées (Furstenberg 67). Dans cet article, nous donnons une nouvelle preuve de ce résultat, par des méthodes purement combinatoires.
In this paper, the identification of stochastic regular languages is addressed. For this purpose, we propose a class of algorithms which allow for the identification of the structure of the minimal stochastic automaton generating the language. It is shown that the time needed grows only linearly with the size of the sample set and a measure of the complexity of the task is provided. Experimentally, our implementation proves very fast for application purposes.
There exist many different approaches to the investigation of the characteristics of learning system. These approaches use different branches of mathematics and, thus, obtain different results, some of them are too complicated and others do not match the results of practical experiments. This paper presents the modelling of learning systems by means of stochastic automate, mainly one particular model of a learning extremal regulator. The proof of convergence is based on Dvoretzky's Theorem on stochastic...
We study the problem of learning regular tree languages from text. We show that the framework of function distinguishability, as introduced by the author in [Theoret. Comput. Sci.290 (2003) 1679–1711], can be generalized from the case of string languages towards tree languages. This provides a large source of identifiable classes of regular tree languages. Each of these classes can be characterized in various ways. Moreover, we present a generic inference algorithm with polynomial update time...
It is shown that the class of left-to-right regular languages coincides with the class of languages that are accepted by monotone deterministic RL-automata, in this way establishing a close correspondence between a classical parsing algorithm and a certain restricted type of analysis by reduction.