Bibliografías temáticas / Théorie algébgrique des automates / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Théorie algébgrique des automates.

Tesis sobre el tema "Théorie algébgrique des automates"

Autor: Grafiati
Publicado: 1 de junio de 2024
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores tesis para su investigación sobre el tema "Théorie algébgrique des automates".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Soyez-Martin, Claire. "From semigroup theory to vectorization : recognizing regular languages." Electronic Thesis or Diss., Université de Lille (2022-....), 2023. http://www.theses.fr/2023ULILB052.

Texto completo
Resumen
L'évaluation efficace des expressions régulières constitue un défi persistant depuis de nombreuses décennies. Au fil du temps, des progrès substantiels ont été réalisés grâce à une variété d'approches, allant de nouveaux et ingénieux algorithmes à des optimisations complexes de bas niveau.Les outils de pointe de ce domaine utilisent ces techniques d'optimisation, et repoussent constamment les limites de leur efficacité. Une avancée notoire réside dans l'intégration de la vectorisation, qui exploite une forme de parallélisme de bas niveau pour traiter l'entrée par blocs, entraînant ainsi d'impo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Hélouët, Loïc. "Automates d'ordres : théorie et applications." Habilitation à diriger des recherches, Université Rennes 1, 2013. http://tel.archives-ouvertes.fr/tel-00926742.

Texto completo
Resumen
Les automates d'ordres, plus connus sous le nom de Message sequence Charts (MSC), ont connu une énorme popularité depuis les années 1990. Ce succès est à la fois académique et industriel. Les raisons de ce succès sont multiples : le modèle est simple et s'apprend très vite. De plus il possède une puissance d'expression supérieure à celle des automates finis, et pose des problèmes difficiles. L'apparente simplicité des MSCs est en fait trompeuse, et de nombreuses manipulations algorithmiques se révèlent rapidement être des problèmes indécidables. Dans ce document, nous revenons sur 10 années de
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Broglio, Annie. "Prédiction par automates." Aix-Marseille 1, 1991. http://www.theses.fr/1991AIX11385.

Texto completo
Resumen
Nous introduisons une notion de prediction pour des suites infinies sur un alphabet a q elements. Nous lisons a l'aide d'un automate une suite, lettre a lettre puis precisions a chaque etape une lettre que nous comparons a la lettre suivante de la suite. Nous calculons alors un rapport de bonne prediction. Les suites normales (c'est-a-dire completement aleatoires) sont celles ayant un rapport 1/q. Les sous-suites obtenues a l'aide d'un automate ont le meme ensemble de rapports de prediction que les suites dont elles sont extraites. Nous construisons de bons predicteurs pour certaines suites de
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Podelski, Andreas. "Monoïdes d'arbres et automates d'arbres." Paris 7, 1989. http://www.theses.fr/1989PA077247.

Texto completo
Resumen
Cette these regarde les monoides d'arbres comme nouvelle structure algebrique sur laquelle la theorie des automates d'arbres peut etre posee. Ceci amene a des techniques nouvelles et des resultats comme: la caracterisation de la regularite d'un langage d'arbres via la reconnaissabilite par les monoides finis (dont les varietes correspondent aux proprietes structurelles); un bon algorithme d'equivalence, la caracterisation de l'aperiodicite d'un langage d'arbres; une version non-restrictive de determinisme permettant l'extension des resultats classiques de determination et minimisation aux auto
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Mosconi, Jean. "La constitution de la théorie des automates." Paris 1, 1989. http://www.theses.fr/1989PA010611.

Texto completo
Resumen
Vers 1965 achève de se constituer, sous le nom de "théorie des automates", une étude logico-algébrique des dispositifs de calcul pouvant servir comme modelés mathématiques de machines traitant l'information. Théoriquement liée à la machine de Turing, l'entreprise ne se thématise pourtant que vers 1948, quand Von Neumann propose de traiter en une théorie "logique" générale des questions issues de préoccupations hétéroclites, de la biologie a la technique des ordinateurs. C'est alors l'étude des automates finis qui, dans la décennie 1950-1960, organise la première ces apports disparates en une d
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Dartois, Luc. "Méthodes algébriques pour la théorie des automates." Paris 7, 2014. http://www.theses.fr/2014PA077236.

Texto completo
Resumen
Dans cette thèse, nous nous appliquons à étendre les liens entre les modèles de représentation des langage rationnels que sont les automates, la logique et les monoïdes au travers de deux extensions de ces théories. La première contribution concerne les transducteurs bidirectionnels, qui sont une extension des automates, définissant des transformations de mots. Nous proposons tout d'abord la construction du monoïde de transitions des machines bidirectionnelles. Cela nous permet ensuite de définir la notion de transducteurs bidirectionnels apériodiques. Nous prouvons finalement la stabilité de
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Samuelides, Mathias. "Automates d'arbres à jetons." Phd thesis, Université Paris-Diderot - Paris VII, 2007. http://tel.archives-ouvertes.fr/tel-00255024.

Texto completo
Resumen
Le sujet porte sur l'étude de deux modèles d'automates à jetons sur des arbres binaires finis étiquetés par un alphabet fini. Ces automates séquentiels se déplacent le long des arêtes et peuvent utiliser un nombre fixé de jetons pour se repérer dans un arbre. Une discipline de pile est imposé au placement des jetons, de plus, dans le modèle fort un jeton peut être levé à distance alors que dans le modèle faible un jeton peut être levé uniquement s'il est posé sur le n\oe ud courant. Les automates cheminants correspondent au cas des automates d'arbres à 0 jeton. L'étude des automates d'arbres à
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Oaurdi, Faissal. "Expressions rationnelles et automates réduits." Rouen, 2007. http://www.theses.fr/2007ROUES006.

Texto completo
Resumen
Le thème général de cette thèse s’inscrit dans le cadre de la théorie des automates et s’articule autour de la conception des algorithmes efficaces pour le problème de conversion d’expressions rationnelles avec ou sans multiplicités en des automates ayant une taille réduite. Nous étudions différents types d’automates réduits définis à partir d’une expression rationnelle : l’automate des positions, l’automate des c-continuations, l’automate des équations et l’automate des ensembles follows communs. Nous donnons une comparaison entre l’automate des follows et l’automate des équations, d’une part
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Loraud, Nathalie. "Numérations généralisées, langages et automates." Aix-Marseille 1, 1996. http://www.theses.fr/1996AIX11019.

Texto completo
Resumen
Les systemes de numeration standards (i. E. Obtenus par l'algorithme glouton) sont examines du point de vue de la reconnaissabilite de leur langage. Une relation entre systemes de numeration dans une base etoile-recurrente et beta-shifts est etablie, ce qui complete un resultat d'anne bertrand-mathis. La caracterisation de bases de numeration donnant un langage regulier est obtenue pour certaines familles d'echelles (suites arithmetico-geometriques, bases de cantor, d'ostrowski,). D'autre part, les notions d'opacite et d'opacite restreinte d'un automate fini (introduites par michel mendes fran
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Verma, Kumar Neeraj. "Automates d'arbres bidirectionnels modulo théories équationnelles." Cachan, Ecole normale supérieure, 2003. http://www.theses.fr/2003DENS0027.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Chemlal, Rezki. "Valeurs propres des automates cellulaires." Phd thesis, Université Paris-Est, 2012. http://tel.archives-ouvertes.fr/tel-00794398.

Texto completo
Resumen
On s'intéresse dans ce travail aux automates cellulaires unidimensionnels qui ont été largement étudiés mais où il reste beaucoup à faire. La théorie spectrale des automates cellulaires a notamment été peu abordée à l'exception de quelques résultats indirects. On cherche a mieux comprendre les cadres topologiques et ergodiques en étudiant l'existence de valeurs propres en particulier celles irrationnelles c'est à dire de la forme e^{2Iπα} où α est un irrationnel et I la racine carrée de l'unité. Cette question ne semble pas avoir été abordée jusqu'à présent. Dans le cadre topologique les résul
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Provillard, Julien. "Automates cellulaires non-uniformes." Nice, 2012. http://www.theses.fr/2012NICE4082.

Texto completo
Resumen
Les automates cellulaires (CA) sont des systèmes dynamiques discrets très utilisés dans de nombreux domaines scientifiques. Leurs principales caractéristiques sont d’agir de manière locale, synchrone et uniforme sur l’ensemble des cellules d’une grille régulière. Ces systèmes produisent une grande variété de dynamiques et ont été largement étudiés dans la littérature. De nombreuses variantes ont été proposées. Dans ce travail de thèse nous nous intéresserons aux automates cellulaires non-uniformes (nu-CA). Il s’agit, essentiellement, d’automates cellulaires dans lesquels la contrainte d’unifor
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Roux, Bernard. "Une approche relationnelle des automates et de l'ordonnancement." Lyon 1, 2000. http://www.theses.fr/2000LYO10255.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Carayol, Arnaud. "Automates infinis, logique et langages." Rennes 1, 2006. https://tel.archives-ouvertes.fr/tel-00628513.

Texto completo
Resumen
Cette thèse s'inscrit dans l'étude des graphes infinis de présentation finie. Nous nous intéressons à la fois à leurs propriétés logiques et aux langages qui leur sont associés. Nous nous concentrons sur l'étude des graphes infinis associés aux automates à pile d'ordre supérieur. Notre première contribution est la définition d'une notion de rationalité pour les piles d'ordre supérieur. Nous montrons que cette notion partage de nombreuses propriétés de la rationalité sur les mots : clôture par complémentaire, accepteurs déterministes et complets, et caractérisation en logique du second ordre mo
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Reimen, Nicolas. "Contribution à l'étude des automates cellulaires." Paris 7, 1993. http://www.theses.fr/1993PA077335.

Texto completo
Resumen
Un automate cellulaire, dans sa forme la plus generale, est un ensemble infini d'automates finis interconnectes suivant un reseau regulier et evoluant de facon synchrone au cours du temps. Issus des travaux de john von neumann sur l'auto-reproduction (1950), ils ont connu, ces dernieres annees un nombre croissant d'applications en informatique et en physique theorique. Ce travail est subdivise en trois chapitres: une presentation generale couvrant l'essentiel de l'etat actuel de la recherche au sujet des a. C. Dans le domaine de l'informatique theorique, la presentation d'une preuve originale
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Roka, Zsuzsanna. "Automates cellulaires sur graphes de Cayley." Lyon 1, 1994. http://www.theses.fr/1994LYO10180.

Texto completo
Resumen
Deux notions de réseaux d'automates apparaissent souvent dans la littérature. Les automates cellulaires, automates finis placés sur les sommets de z, z#2,, z#n, et qui communiquent suivant les directions principales de l'espace. La seconde notion est celle de graphe d'automates ou, aux sommets d'un graphe quelconque de degré borne, on place des automates finis qui communiquent par les arêtes. La première notion ne fonctionne que sur des graphes très pauvres, la seconde pose le problème suivant : les cellules ne connaissent pas l'allure du graphe autour d'elles. Voila pourquoi nous avons décidé
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Carayol, Arnaud. "Automates infinis, logiques et langages." Phd thesis, Université Rennes 1, 2006. http://tel.archives-ouvertes.fr/tel-00628513.

Texto completo
Resumen
Cette thèse s'inscrit dans l'étude des graphes infinis de présentation finie. Nous nous intéressons à la fois à leurs propriétés logiques et aux langages qui leur sont associés. Nous nous concentrons sur l'étude des graphes infinis associés aux automates à pile d'ordre supérieur. Notre première contribution est la définition d'une notion de rationalité pour les piles d'ordre supérieur. Nous montrons que cette notion partage de nombreuses propriétés de la rationalité sur les mots : clôture par complémentaire, accepteurs déterministes et complets, et caractérisation en logique du second ordre mo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Lombardy, Sylvain. "Approche structurelle de quelques problèmes de la théorie des automates." Phd thesis, Ecole nationale supérieure des telecommunications - ENST, 2001. http://tel.archives-ouvertes.fr/tel-00737830.

Texto completo
Resumen
Les travaux développés dans cette thèse empruntent trois directions principales. D'une part, une étude attentive des propriétés de l'automate universel d'un langage rationnel a été menée. Cet automate fini (introduit sous une forme sensiblement différente par J.H. Conway) accepte le langage et a la particularité de contenir l'image par morphisme de n'importe quel automate équivalent. Nous donnons un algorithme pour le construire à partir de l'automate minimal. L'exploitation des propriétés de l'automate universel d'un langage réversible nous a permis de montrer qu'il existe un sous-automate qu
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Caron, Pascal. "Langages rationnels et automates : de la théorie à la programmation." Rouen, 1997. http://www.theses.fr/1997ROUES079.

Texto completo
Resumen
Cette thèse constitue un point de départ pour la programmation d'un système de calcul formel sur les automates, les semigroupes et les langages rationnels. On y trouve la caractérisation des automates construits selon l'algorithme de Glushkov. Des caractérisations de familles de langages testables à partir de leurs automates minimaux y sont également décrites. Le logiciel AGL regroupe un ensemble de packages Maple sur les automates, les semigroupes et les langages rationnels. L'ensemble des algorithmes déduits des caractérisations y est implémenté. Ce logiciel constitue un prototype pour un sy
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Dahmoune, Mohamed. "Quelques contributions en logique mathématique et en théorie des automates." Thesis, Paris Est, 2014. http://www.theses.fr/2014PEST1013/document.

Texto completo
Resumen
Les problèmes traités et les résultats obtenus dans ce travail s'inscrivent essentiellement dans le domaine de la théorie des automates, la logique mathématique et leurs applications. Dans un premier temps on utilise les automates finis pour démontrer l'automaticité de plusieurs structures logiques sur des mots finis écrits dans un alphabet infini dénombrable. Ceci nous permet de déduire la décidabilité des théories logiques associées à ces structures. On a considéré par exemple la structure $X=(Sigma^*;prec,clone)$ où $Sigma^*$ désigne l'ensemble des mots finis sur l'alphabet infini dénombrab
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Cristau, Julien. "Jeux et automates sur les ordres." Phd thesis, Université Paris-Diderot - Paris VII, 2010. http://tel.archives-ouvertes.fr/tel-00554026.

Texto completo
Resumen
Cette thèse aborde des sujets liés à la théorie des automates, à la logique et à la théorie des jeux. Ces thèmes sont au cœur de l'informatique théorique depuis de nombreuses décennies. Les travaux de recherche dans ces domaines sont motivés entre autres par des questions de modélisation et de vérification de systèmes. La première partie de la thèse considère les automates finis et la logique temporelle sur des ordres linéaires arbitraires. On y donne une procédure (doublement exponentielle en espace) pour décider la satisfaisabilité d'une formule LTL, utilisant une étape de transformation d'u
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Daviaud, Laure. "Comportements asymptotiques des automates Max-plus et Min-plus." Paris 7, 2014. http://www.theses.fr/2014PA077238.

Texto completo
Resumen
Ce mémoire porte sur l'étude de problèmes qui se situent à la frontière de décidabilité entre la décidabilité de l'existence de bornes et l'indécidabilité de la comparaison de fonctions. Pour cela, ce mémoire donne une description fine des fonctions calculées par automates min-plus et max-plus. Plus précisément, étant donnée une fonction f calculée par un automate min-plus (resp. Max-plus) la contribution principale du mémoire consiste en la description de la fonction g qui, à un entier n, associe le maximum des valeurs f(w) pour les mots w de longueurs inférieures à n (resp. Le minimum des va
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Gonzalez, Patrick. "Croissance d'automates et théorie des nombres." Aix-Marseille 2, 1992. http://www.theses.fr/1992AIX22028.

Texto completo
Resumen
L'unicite de l'ecriture d'un entier, en base g, avec, pour chiffres, les elements d'un ensemble fini d'entiers naturels, peut se traduire par des contraintes sur les matrices des chemins d'un g-automate fini. En associant ces automates a des operateurs polynomiaux lies a la fonction generatrice du probleme, on en deduit, en faisant croitre la longueur des chemins, un critere polynomial permettant de decider de l'unicite ou de la non-unicite de l'ecriture pour tous les entiers lorsqu'elle existe
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Hadj, Kacem Hatem. "Contributions à la théorie et aux applications des automates à multiplicités." Rouen, 2005. http://www.theses.fr/2005ROUES008.

Texto completo
Resumen
Ce mémoire de thèse est un travail autour de publications en Informatique Théorique. Il contient deux contributions à la théorie des automates à Multiplicités, structure qui s'applique avec succès aux sciences voisines (Informatique, Mathématique, Physique, …). Un type particulier d'automates à multiplicités est constitué des automates avec ε-transitions notés k-ε-automates. Dans la première partie, on donne une méthode algébrique pour éliminer les ε-transitions de ces k-ε-automates afin d'obtenir un k-automate équivalent ayant le même comportement. Nous discutons les deux aspects du problème
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Bernardi, Vincent. "Lois de conservation sur automates cellulaires." Aix-Marseille 1, 2007. http://www.theses.fr/2007AIX11055.

Texto completo
Resumen
Dans cette thèse, nous nous intéressons à plusieurs notions d'invariants de l'évolution d'automates cellulaires dans le temps, en partant de la notion classique d'automate cellulaire conservateur. Nous présentons d'abord le modèle classique des automates cellulaires conservateurs, et plusieurs nouveaux résultats afférents. Puis nous introduisons les automates cellulaires décroissants, une extension naturelle des automates conservateurs, et montrons notamment que la décidabilité de cette propriété dépend de la dimension des automates considérés. Nous nous intéressons au rapport entre les automa
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Barat, Guy. "Echelles de numération et fonctions arithmétiques associées." Aix-Marseille 1, 1995. http://www.theses.fr/1995AIX11057.

Texto completo
Resumen
Differentes proprietes, principalement statistiques, des systemes de numeration et de leurs fonctions additives ou multiplicatives au sens de bellman et shapiro sont etudiees. Deux versions generales du lemme de coquet relatif aux moyennes de ces fonctions sont notamment etablies. Dans le cadre d-adique, une etude detaillee d'un procede universel d'extraction est effectuee en termes d'automaticite et de quasi-periodicite. Des resultats de delange sur la repartition des fonctions d-additives sont etendus a certaines echelles lineaires recurrentes, l'introduction de techniques ergodiques permett
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Ramangalahy, Solofo. "Test de conformité pour des spécifications à base d'automates : une approche par la théorie des jeux." Orléans, 1999. http://www.theses.fr/1999ORLE2073.

Texto completo
Resumen
Le test de conformité est l'activité qui consiste à confronter l'implantation d'un système à sa spécification initiale au moyen de tests, afin de s'assurer de sa correction. Le modèle des automates est sous-jacent à la sémantique des langages de spécification usuels. Leur utilisation dans la phase de spécification d'un système permet d'étudier le problème du test de conformité par l'approche dite des "méthodes formelles". Cette thèse aborde ce problème dans le cadre de cette approche<br>Conformance testing aims at applying test cases to a system in order to study its correction with respect to
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Sebti, Nadia. "Noyaux rationnels et automates d'arbres." Rouen, 2015. http://www.theses.fr/2015ROUES007.

Texto completo
Resumen
Dans le cas des mots, un schéma général de calcul des noyaux rationnels a été proposé. Il repose sur un algorithme général de composition des transducteurs pondérés et un algorithme général de calcul de plus petite distances. Notre objectif est de généraliser ce schéma de calcul aux cas des arbres en utilisant les automates d’arbres. Pour ce faire, nous avons fixé les deux objectifs principaux suivants : D’une part, définir les automates d’arbres pour le calcul des noyaux des sousarbres, des sous-séquences d’arbres et des facteurs d’arbres. D’autre part, à partir d’une expression rationnelle d
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Genet, Thomas. "Contraintes d'ordre et automates d'arbres pour les preuves de terminaison." Nancy 1, 1998. http://docnum.univ-lorraine.fr/public/SCD_T_1998_0245_GENET.pdf.

Texto completo
Resumen
Les systèmes de réécriture sont des systèmes de calcul simples et lisibles dont l'expressivité est suffisante pour le codage des programmes ou la spécification de processus automatiques. En exprimant les programmes ou processus sous la forme de systèmes de réécriture, on dispose, en outre, d'outils de vérification puissants basés sur les méthodes de preuve de la réécriture. La terminaison assure l'achèvement des calculs en un temps fini et elle est une prémisse indispensable à d'autres méthodes de preuve telle la preuve par récurrence. Classiquement, la preuve de terminaison d'un système de ré
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Cécé, Gérard. "Vérification, analyse et approximations symboliques des automates communicants." Cachan, Ecole normale supérieure, 1998. http://www.theses.fr/1998DENS0008.

Texto completo
Resumen
Nous nous intéressons à l'étude de l'un des modèles de l'algorithmique repartie : les automates communicants. Ce modèle est particulièrement indiqué pour la description de protocoles de communication, et constitue la base théorique de langages de description formelle tels Estelle et sdl. Ce modèle a toutefois la particularité d'être aussi expressif que les machines de Turing. Nous avons alors investi deux approches complémentaires. La première est de s'inspirer de contraintes réelles, soit physiques soit de modélisation, pour restreindre l'expressivité du modèle et gagner ainsi en possibilités
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Renkin, Florian. "Transformations d’ω-automates pour la synthèse de systèmes réactifs". Electronic Thesis or Diss., Sorbonne université, 2022. http://www.theses.fr/2022SORUS227.

Texto completo
Resumen
La synthèse vise à produire un système correct à partir de spécifications. Une approche pour résoudre ce problème consiste à traduire la spécification en un jeu de parité dont la stratégie gagnante encode le système. Dans cette thèse nous allons montrer deux méthodes permettant de produire des automates de parité. La première s'appuie sur l'amélioration et la combinaison de procédures nouvelles ou existantes. La seconde est un algorithme de Casares et al. apportant une garantie d'optimalité du résultat. Dans un deuxième temps, nous montrerons comment nous réduisons le système obtenu. Deux type
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Gauwin, Olivier. "Flux XML, Requêtes XPath et Automates." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2009. http://tel.archives-ouvertes.fr/tel-00421911.

Texto completo
Resumen
Ces dernières années, XML est devenu le format standard pour l'échange de données. Les documents XML sont généralement produits à partir de bases de données, durant le traitement de documents, ou au sein d'applications Web. L'échange de données en flux est fréquemment utilisé lors de l'envoi de données volumineuses par le réseau. Ainsi le transfert par flux est adéquat pour de nombreux traitements XML.<br /><br />Dans cette thèse, nous étudions des algorithmes d'évaluation de requêtes sur des flux XML. Notre objectif est de gérer efficacement la mémoire, afin de pouvoir évaluer des requêtes su
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Mansard, Alexandre. "Automates infinis et traces de Mazurkiewicz." Thesis, La Réunion, 2020. https://elgebar.univ-reunion.fr/login?url=http://thesesenligne.univ.run/20_22_A_Mansard.pdf.

Texto completo
Resumen
Nous introduisons la notion de régularité par niveaux pour des langages de traces de Mazurkiewicz et nous considérons des systèmes reconnaissables de réécriture de traces, à contextes réguliers par niveaux (RTL). Nous prouvons qu’un automate dont le graphe sous-jacent est le graphe de réécriture d’un système RTL et dont les ensembles de sommets initiaux et finaux sont réguliers par niveaux (automate RTL), est mot-automatique. En particulier, la théorie du premier ordre d’un automate RTL est décidable. Ensuite, nous prouvons que, enrichi de la relation d’accessibilité, un automate dont le graph
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Zeitoun, Marc. "Opérations implicites et variétés de semi-groupes finis." Paris 7, 1993. http://www.theses.fr/1993PA077221.

Texto completo
Resumen
Le calcul et la décidabilité du supremum de deux pseudo variétés de semi groupes est un problème difficile en dépit de son apparente simplicité. L'exemple le plus surprenant est du à Albert, Baldinger et Rhodes (1992): Le supremum de deux pseudo équationnelles de bases finies, donc décidables peut ne pas être décidable. À l'aide de la théorie des opérations implicites, nous résolvons deux problèmes ouverts de ce type proposés dans le traité d'Almeida semigrupos finitos e algebra universal, publicacoes do instituto de matematica e estatistica da universidade de Sao Paulo: d'une part, la pseudo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Héam, Pierre-Cyrille. "Contribution à l'algorithmique des automates : compléxité et aspects topologiques." Paris 7, 2001. http://www.theses.fr/2001PA077085.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Maniatakos, Vasileios Foivos A. "Graphes et Automates pour le Contrôle de l'Interaction en Improvisation Musicale Assistée par Ordinateur." Paris 6, 2012. http://www.theses.fr/2012PA066249.

Texto completo
Resumen
Cette thèse concerne l'interaction en trois parties dans le contexte d'improvisation musicale assistée par ordinateur (IAO). Cette terme veut décrire l'ensemble des interactions émergentes par la co-existance sur scène des trois types d'acteurs: des instrumentistes, des ordinateurs des opérateurs d'ordinateur. L'objective de cette recherche est d'étudier les conditions nécessaires pour une telle interaction, ainsi que d'établir le cadre théorique permettant à l'ordinateur d'accomplir une double mission: celle d'un jouer ainsi que d'un instrument. Dans ce cadre on introduit le Graphe en Facteur
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

De, Souza Rodrigo. "Etude structurelle des transducteurs de norme bornée." Paris, ENST, 2008. http://www.theses.fr/2008ENST0023.

Texto completo
Resumen
Les transducteurs - automates avec sortie - et les relations rationnelles sont des concepts fondamentaux de la théorie des automates. Un rôle particulier est joué par la famille des fonctions rationnelles, en raison de ses propriétés remarquables et aujourd'hui classiques. Les relations de norme bornée sont une généralisation de celles-ci, introduite par Schützenberger en 1976, où le supremum des cardinalités des images est borné par une constante. Ces relations ont reçu une attention particulière en de differents travaux, dont le but a été de généraliser certaines propriétés des fonctions rat
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Devolder-Muchembled, Jeanne. "Codes, mots infinis et bi-infinis." Lille 1, 1993. http://www.theses.fr/1993LIL10075.

Texto completo
Resumen
La factorisation des mots infinis ou bi-infinis permet de caractériser les codes parmi les langages de mots finis. Elle permet aussi de classifier les codes selon le nombre de factorisations de certains types de mots infinis ou bi-infinis (les mots périodiques, par exemple), et de définir une notion de code pour mots finis et deux notions de code pour mots bi-infinis. Les diverses classes obtenues sont étudiées et comparées, dans le cas général et dans le cas rationnel. Les codes à délai de déchiffrage borné sont des codes pour mots infinis particuliers. De façon analogue, les codes à délai de
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Rispal, Chloé. "Automates sur les ordres linéaires : Complémentation." Phd thesis, Université de Marne la Vallée, 2004. http://tel.archives-ouvertes.fr/tel-00720658.

Texto completo
Resumen
Cette thèse traite des ensembles rationnels de mots indexés par des ordres linéaires et en particulier du problème de la fermeture par complémentation. Dans un papier fondateur de 1956, Kleene initie la théorie des langages en montrant que les automates sur les mots finis et les expressions rationnelles ont le même pouvoir d'expression. Depuis, ce résultat a été étendu à de nombreuses structures telles que les mots infinis (Büchi, Muller), bi-infinis (Beauquier, Nivat, Perrin), les mots indexés par des ordinaux (Büchi, Bedon), les traces, les arbres... Plus récemment, Bruyère et Carton ont int
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Sablik, Mathieu. "Etude de l'action conjointe d'un automate cellulaire et du décalage : une approche topologique et ergodique." Aix-Marseille 2, 2006. http://www.theses.fr/2006AIX22019.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Guillon, Pierre. "Automates cellulaires : dynamiques, simulations, traces." Phd thesis, Université Paris-Est, 2008. http://tel.archives-ouvertes.fr/tel-00432058.

Texto completo
Resumen
Un automate cellulaire est un système dynamique discret qui modélise des objets ayant une évolution parallèle synchrone: l'espace est divisé en cellules ayant chacune un état et qui évoluent toutes selon une même règle locale, qui ne dépend que d'un nombre fini de cellules voisines. Malgré la simplicité de la formalisation de ce système, des comportements très complexes peuvent apparaître, qui en font notamment un modèle de calcul. Cette complexité a été rattachée à diverses théories: topologie, mesure, décidabilité, information...Nous adoptons ici une approche basée sur la dynamique symboliqu
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Frilley, François. "Differenciation d'ensembles structures : applications aux cas du monoïde libre et de la foret des arbres finis et étiquetés." Paris 7, 1989. http://www.theses.fr/1989PA077189.

Texto completo
Resumen
La manipulation d'objets structures est un aspect essentiel de l'informatique moderne, en particulier dans les systèmes d'aide a la programmation. L'objet de cette thèse est l'étude de la comparaison de ces structures, qui est importante, tant d'un point de vue théorie que d'un point de vue pratique. Mathématiquement, tous les problèmes de comparaison appartiennent à un même paradigme décrit simplement par la notion de différenciation étudiée dans la première partie. Les exemples très importants de la différenciation sur le monoïde libre et sur la foret des arbres étiquetés sont ensuite aborde
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Frisch, Alain. "Théorie, conception et réalisation d'un langage de programmation adapté à XML." Paris 7, 2004. http://www.theses.fr/2004PA077074.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Dando, Louis-Marie. "Expressivité des automates pondérés circulaires et boustrophédons." Thesis, Bordeaux, 2019. http://www.theses.fr/2019BORD0130/document.

Texto completo
Resumen
Cette thèse porte sur certaines extensions des automates pondérés, et étudie les séries qu’ils réalisent en fonction de la nature des poids.Ces extensions se distinguent par les mouvements supplémentaires autorisés à la tête de lecture de l’automate : retour au début du mot pour les automates circulaires, changement de sens de lecture pour les automates boustrophédons.Dans le cas général, les automates pondérés circulaires sont plus puissants que les automates unidirectionnels classiques, et moins puissants que les boustrophédons.On introduit de plus les expressions de Hadamard, qui sont une e
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Luque, Jean-Gabriel. "Monoïdes et automates admettant un produit de mélange." Rouen, 1999. http://www.theses.fr/1999ROUES094.

Texto completo
Resumen
Cette thèse est consacrée à l'étude des monoïdes et des automates admettant un produit de mélange. Les deux premiers chapitres sont dédiés aux monoïdes des traces (qui est un cas particulier de monoïde admettant un produit de mélange). Le premier traite de la généralisation aux traces du procédé d'élimination de Lazard. Nous étudions en particulier les bissections de type Lazard dont les deux facteurs sont partiellement commutatifs libres. Par composition, nous fabriquons des factorisations complètes et par crochetages des bases de l'algèbre de Lie partiellement commutative libre. Nous donnons
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

VELOSO, PEIXOTO MARCOS. "Automates a contraintes arithmetiques et procedures d'evaluation ascendante de programmes logiques." Paris 7, 1994. http://www.theses.fr/1994PA077194.

Texto completo
Resumen
Cette these se divise en deux parties: la premiere partie presente un modele permettant de representer des systemes concurrents parametres (c'est-a-dire, manipulant une quantite non bornee de donnees). On montrera dans cette premiere partie que le probleme de verification de proprietes de ces systemes se ramene a un probleme d'evaluation ascendante de programmes logiques. Dans la deuxieme partie, nous apportons une contribution au probleme du calcul du resultat de l'evaluation ascendante de programmes logiques avec des contraintes arithmetiques. Nous definissons une classe de programmes logiqu
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Maubert, Bastien. "Fondations logiques des jeux à information imparfaite : stratégies uniformes." Phd thesis, Université Rennes 1, 2014. http://tel.archives-ouvertes.fr/tel-00980490.

Texto completo
Resumen
On trouve dans la littérature de nombreux exemples de jeux où les stratégies souhaitées sont soumises à des contraintes ''transversales'' portant sur des ensembles de parties, reliées entre elles par quelque relation sémantique. L'exemple le plus fameux est celui des stratégies dans les jeux à information imparfaite, et les jeux où la condition de gain a un aspect épistémique en sont d'autres. Cependant, aucune étude approfondie n'a à notre connaissance été menée sur ce type de contraintes dans leur généralité. C'est ce que nous nous proposons de commencer dans cette thèse. Nous définissons don
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Guingne, Franck. "Contribution à l’algorithmique des automates pondérés à une, deux ou plusieurs bandes." Rouen, 2005. http://www.theses.fr/2005ROUES009.

Texto completo
Resumen
Les travaux présentés dans ce mémoire se situent dans le cadre de la théorie des automates. Une étude générale des relations de similarité et la notion d'automate couvrant sont présentés. On définit les relations de fusion ainsi que la notion de transducteur couvrant. Un algorithme de réduction est proposé et expérimenté. Les automates multi-bandes pondérés sont une généralisation des automates et transducteurs. On définit des opérations de jointure et d'auto-intersection et on présente les algorithmes correspondants. Une conséquence du Problème de Correspondance de Post est qu'il n'existe pas
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Saidane, Faouzi. "Graphes et langages : une approche métrique." Lyon 1, 1991. http://www.theses.fr/1991LYO10206.

Texto completo
Resumen
Cette these presente un point de vue categorique des systemes de transitions et illustre sa pertinence par des applications en theorie des graphes. Ce point de vue consiste, d'apres m. Pouzet et i. Rosenberg a considerer un systeme de transitions comme une sorte d'espace metrique; la distance entre deux etats etant, non pas un nombre, mais le langage accepte par l'automate constitue du systeme de transitions et de ces deux etats comme etats initiaux et finaux. Par exemple, voyant un graphe comme un systeme de transitions sur l'alphabet a deux lettres a et b muni de l'involution echangeant a et
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Viêt, Triêm Tông Valérie. "Automates d'arbres et réécriture pour l'étude de problèmes d'accessibilité." Rennes 1, 2003. http://www.theses.fr/2003REN10162.

Texto completo
Resumen
L'objectif de cette thèse était d'étendre des techniques de réécriture sur les automates d'arbres afin de pouvoir les utiliser pour étudier des propriétés de sécurité sur les protocoles cryptographiques. Notre première partie présente la complétion d'automates d'arbres, procédé qui permet de calculer un automate reconnaissant un sur-ensemble des termes atteignables par un système de réécriture à partir d'un langage initial régulier. Nous proposons une condition dite de linéarité sur les automates permettant d'étendre le calcul aux systèmes de réécriture non linéaires à gauche, une condition su
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Théorie algébgrique des automates" para otros tipos de fuentes:
Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía