diff --git a/recherche.tex b/recherche.tex index 3d650af..513927f 100644 --- a/recherche.tex +++ b/recherche.tex @@ -115,7 +115,22 @@ mécanismes sont Turing complets avec de très petites règles. Notamment, nous avons prouvé que le contrôle semi-conditionnel augmente la puissance d'expression des systèmes d'insertion/effacement de taille $(1,0,0;1,0,0)$, c'est-à-dire des -systèmes avec des règles sans contexte, est les rend Turing complets. +systèmes avec des règles sans contexte, et les rend Turing complets. + +Les résultats concernant les systèmes d'insertion/effacement avec des +mécanismes de contrôle ont été publiés +dans~\cite{DBLP:conf/membrane/IvanovV13,DBLP:journals/fuin/0001V15}. + +Nous avons continué l'étude de la puissance d'expresison des systèmes +d'insertion/effacement de tailles $(1,2,0;1,1,0)$ et $(1,1,0;1,2,0)$ +avec contrôle par graphe et nous avons montré que deux états dans le +graphe de contrôle suffisaient pour rendre ces systèmes Turing +complets~\cite{DBLP:conf/mcu/0001V15}. Cela améliore la construction +utilisant trois états présentée dans ma thèse. Afin de faire cette +construction améliorée nous avons introduit les règles d'insertion et +d'effacement étendues ; dans ces règles les contextes ne sont plus des +chaînes de caractères prédéfinies, mais peuvent être des langages +rationnels. \subsubsection{Réseaux de processeurs évolutionnaires} Les réseaux de processeurs évolutionnaires ({\em networks of