From b36f5e4eb42863f89128f3fe1068fb0deab7f88a Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Thu, 10 Dec 2015 10:47:05 +0100 Subject: [PATCH] Extend the presentation of our work on insdels. --- recherche.tex | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) 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