Mots infinis engendrés par une grammaire algébrique

Sur les ensembles de mots infins engendrés par une grammaire algébrique

Codes avec des Mots Infinis

Automates Boustrophédon et Mots Infinis

Un automate bous t roph6don est un automate fini (non d&erministe) muni d 'une t&e de lecture pouvant se d6placer dans les deux sens. Le compor tement fini d 'un tel au tomate est bien connu: il est identique h celui d 'un automate fini (cf. [5] et [4]). Nous montrons ici qu' i l e n e s t de m~me de son compor tement infini. Dans ce qui suit A d6signe un alphabet fini, A* l 'ensemble des mots ...

Mots infinis et langages commutatifs

Test de conformité : une approche algébrique

In this article, we propose a formalization of conformance testing with respect to algebraic specifications. We interpret functional behavior of programs with the help of algebraic models. We materialize abstract tests extracted from the specification with concrete tests written in a given programming language. This double bridge allows us to link the semantic correctness of a program with the ...