Fonctions primitives récusrsives sur les mots avec/sans concaténation
Jérôme Durand-Lose  1@  
1 : Laboratoire d'Informatique Fondamentale d'Orléans  (LIFO)  -  Site web
INSA Centre Val de Loire, Université d'Orléans : EA4022
Bâtiment IIIA Rue Léonard de Vinci B.P. 6759 F-45067 ORLEANS Cedex 2 -  France

Dans cet exposé nous revisitons les schémas de récusions primitive en ne les basant plus sur les entiers mais sur les mots (sur un alphabet fini). Dans un premier temps, nous montrons que cela permet une approche plus informaticienne de la chose et ainsi que de faire des liens avec les classes de complexité classiques. Dans un second temps, nous nous intéressons au cas où la concaténation n'est plus disponible et montrons qu'il est néanmoins possible de décider des langages non triviaux.


Personnes connectées : 1 Vie privée
Chargement...