Induction of regular languagesIn computational learning theory, induction of regular languages refers to the task of learning a formal description (e.g. grammar) of a regular language from a given set of example strings. Although E. Mark Gold has shown that not every regular language can be learned this way (see language identification in the limit), approaches have been investigated for a variety of subclasses. They are sketched in this article. For learning of more general grammars, see Grammar induction.
Grammaire régulièreEn informatique théorique, en théorie des langages, une grammaire régulière, rationnelle ou à états finis est une grammaire hors-contexte particulière qui décrit un langage régulier. Les grammaires régulières donnent donc une autre possibilité que les expressions rationnelles et les automates finis pour décrire un langage régulier. Une grammaire régulière peut être « à gauche » ou « à droite ». Une grammaire régulière à gauche est un ensemble de règles de la forme : où , sont des symboles non-terminaux et un symbole terminal.
Pavage de Penrosevignette|Un pavage de Penrose|alt= vignette|Roger Penrose, debout sur le pavage de Penrose du foyer de l'institut Mitchell, Texas A&M University|alt= Les pavages de Penrose sont, en géométrie, des pavages du plan découverts par le mathématicien et physicien britannique Roger Penrose dans les années 1970. En 1984, ils ont été utilisés comme un modèle intéressant de la structure des quasi-cristaux.
Pavage apériodiqueEn mathématiques, et plus particulièrement en géométrie, un pavage apériodique est un pavage non périodique ne contenant pas de sections périodiques arbitrairement grandes. Les pavages de Penrose sont les exemples les plus connus de pavages apériodiques, mais il existe plusieurs autres méthodes pour en construire. Les pavages apériodiques servent de modèles mathématiques pour les quasi-cristaux, des objets physiques découverts en 1982 par Dan Shechtman, mais dont la structure locale exacte est encore mal comprise.
