To see the other types of publications on this topic, follow the link: Langages formels.

Dissertations / Theses on the topic 'Langages formels'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Langages formels.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Degorre, Aldric. "Langages formels : quelques aspects quantitatifs." Phd thesis, Grenoble 1, 2009. http://www.theses.fr/2009GRE10168.

Full text
Abstract:
Dans cette thèse nous présentons trois directions de recherche assez différentes concernant les aspects quantitatifs des langages formels. La première étudie des problèmes d'ordonnancement avec à la fois des dépendances entre tâches à ordonnancer et des comportements infinis et imprévisibles: les flux de requêtes appartenant à un langage temporisé. Nous montrons, d'un côté, que même en se limitant à des flux de requêtes qui ne demandent pas plus de travail que le système peut en fournir, il est impossible de garantir une latence bornée dans un ordonnancement. De l'autre nous montrons que malgr
APA, Harvard, Vancouver, ISO, and other styles
2

Degorre, Aldric. "Langages formels : Quelques aspects quantitatifs." Phd thesis, Université Joseph Fourier (Grenoble), 2009. http://tel.archives-ouvertes.fr/tel-00665462.

Full text
Abstract:
Les langages formels sont des séquences sur un ensemble discret de symboles appelé alphabet. On les spécifie souvent par des formules dans une certaine logique, par des expressions rationnelles ou bien par des automates discrets de types variés. La théorie actuelle est principalement qualitative, dans le sens où ses objets sont des séquence sur un temps discret, non-métrique, dans le sens où l'acceptation d'une séquence sur un automate dépend du fait que l'on visite ou non un état accepteur, et enfin dans le sens où la comparaison de langages est plus souvent considérée en termes d'inclusion,
APA, Harvard, Vancouver, ISO, and other styles
3

Robilliard, Denis. "Langages de figures." Lille 1, 1996. http://www.theses.fr/1996LIL10029.

Full text
Abstract:
Une figure est un motif geometrique constitue d'un ensemble de segments unitaires du plan cartesien discret. Une methode pour representer une figure consiste a la decrire par un mot, comme propose par freeman des les annees soixante. Maurer et al. Montrerent en 1982 que l'on peut envisager leur etude dans le cadre general de la theorie des langages formels: a un langage (ou ensemble) de figures on fait correspondre un langage de mots. Cette approche souleve des questions semantiques concernant le pouvoir d'expression de ces langages, et aussi des questions de decidabilite et de constructibilit
APA, Harvard, Vancouver, ISO, and other styles
4

Dinh, Trong Hiêu. "Grammaires de graphes et langages formels." Phd thesis, Université Paris-Est, 2011. http://tel.archives-ouvertes.fr/tel-00665732.

Full text
Abstract:
Cette thèse apporte plusieurs contributions dans le domaine des langages formels. Notre premier travail a été de montrer la pertinence des grammaires de graphes comme outil de démonstration de résultats fondamentaux sur les langages algébriques. Nous avons ainsi reformulé avec un point de vue géométrique les démonstrations du lemme des paires itérantes et du lemme de Parikh. Nous avons ensuite étendu aux graphes réguliers des algorithmes de base sur les graphes finis, notamment pour calculer des problèmes de plus court chemin. Ces extensions ont été faites par calcul de plus petits points fixe
APA, Harvard, Vancouver, ISO, and other styles
5

Dima, Catalin. "Théorie algébrique des langages formels temps réel." Phd thesis, Université Joseph Fourier (Grenoble), 2001. http://tel.archives-ouvertes.fr/tel-00004672.

Full text
Abstract:
Un automate temporisé est un automate augmenté avec plusieurs horloges qui mesurent le passage de temps et peuvent conditionner la modification de l'état du système. Les automates temporisés ont été introduits en tant que modèle formel pour les systèmes temps-réel, en espérant que leur rôle dans la vérification de tels systèmes sera similaire au rôle des automates finis dans la recherche systématique des erreurs de conception de systèmes non-temporisés. Dans notre thèse nous étudions plusieurs questions théoriques liés aux automates temporisés et aux langages temporisés. Dans une première part
APA, Harvard, Vancouver, ISO, and other styles
6

Bathie, Gabriel. "Algorithmes d’approximation efficaces pour les langages formels." Electronic Thesis or Diss., Bordeaux, 2025. http://www.theses.fr/2025BORD0089.

Full text
Abstract:
Depuis les années 1970, la recherche en informatique a produit de nombreux outils et algorithmes très efficaces pour le traitement de données textuelles. Toutefois, ces techniques ont principalement été conçues pour les problèmes exacts, et ne sont pas directement applicables aux tâches d’approximation ou ne sont pas adaptées à la taille des jeux de données modernes. Dans cette thèse, nous étudions des algorithmes d’approximation efficaces (en termes de ressources), qui sont plus adaptés aux tâches modernes de traitement de texte. Dans la première partie de cette thèse, on s’intéresse à plusie
APA, Harvard, Vancouver, ISO, and other styles
7

Brlek, Srecko. "Sur la complexité des chaînes d'opérations dans les monoïdes." Bordeaux 1, 1988. http://www.theses.fr/1988BOR10563.

Full text
Abstract:
Le premier point aborde concerne les monoides libres avec la demonstration de resultats asymptotiques, ainsi qu'une borne superieure pour la complexite des mots dont la fonction enumeratrice des facteurs croit polynomialement. Le deuxieme point concerne le monoide commutatif libre sur deux lettres, qui contient les expressions de la forme x**(a)y**(b). Un algorithme base sur l'expansion en fractions continues de a/b est propose
APA, Harvard, Vancouver, ISO, and other styles
8

Ryl, Isabelle. "Langages de synchronisation." Lille 1, 1998. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1998/50376-1998-317.pdf.

Full text
Abstract:
Les expressions de synchronisation sont un outil de haut niveau permettant a un programmeur d'exprimer les contraintes de synchronisation d'une application repartie. L'implantation et la semantique de ces expressions reposent sur l'utilisation de langages formels, les langages de synchronisation (introduits par guo, salomaa et yu en 1994). En utilisant des operateurs particuliers (la mise en sequence, la mise en parallele, l'intersection de contraintes) sur des langages tres simples representant l'execution d'une action, on obtient un langage qui decrit tous les comportements d'une application
APA, Harvard, Vancouver, ISO, and other styles
9

Simplot-Ryl, David. "Langages de mots de figures monoïdes inversifs et langages de mots à deux dimensions." Lille 1, 1997. http://www.theses.fr/1997LIL10063.

Full text
Abstract:
L'objet de cette thèse est d'étudier à l'aide de la théorie des langages formels deux formalismes permettant de décrire des ensembles de figures ou images. Dans le premier cas, nous tentons de décrire des figures, objets à deux dimensions, à l'aide de mots, objets unidimensionnels - un mot correspond a un parcours de la figure. C'est ce que nous appelons les langages de mots de figures ; nous essayons d'exhiber des propriétés sur les ensembles de figures à partir de ce que l'on connaît sur les langages de mots qui les décrivent. Le deuxième formalisme découle de la démarche inverse: les figure
APA, Harvard, Vancouver, ISO, and other styles
10

Finkel, Olivier. "Théorie des modèles des formules locales et étude des langages formels qu'elles définissent." Paris 7, 1993. http://www.theses.fr/1993PA077050.

Full text
Abstract:
Les formules locales ont été définies par J. -P. Ressayre pour appliquer les idées de la théorie des modèles à l'étude des langages formels. On étudie la théorie des modèles infinis bien ordonnés des formules locales. Et on étend les résultats sur les langages formels qu'elles définissent: propriétés de clôture et d'indécidabilité pour les langages finit aires et les -langages
APA, Harvard, Vancouver, ISO, and other styles
11

Farinone, Jean-Marc. "Langages algébriques d'index rationnel singulier." Paris 7, 1986. http://www.theses.fr/1986PA077113.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Khatab, Abdelhakim. "Contrôle et contrôle stabilisant des Systèmes à Evénements Discrets Temporels : application au recouvrement des défaillances des systèmes de production." Lyon, INSA, 2000. http://www.theses.fr/2000ISAL0105.

Full text
Abstract:
Nous proposons une approche de contrôle par retour d'état statique des Systèmes à Evénements Discrets Temporels (SEDT) dont le modèle est un automate temporel statique auquel est associé un automate temporel dynamique. Le modèle exploite essentiellement les différentes informations relatives aux états et est basé sur la logique des prédicats et de leurs fonctions de transformation. Nous proposons une extension de la définition de la contrôlabilité de la théorie Ramadge et Wonham, formulée en termes d'invariance et d'atteignabilité des prédicats, et nous montrons qu'eel sert de condition nécess
APA, Harvard, Vancouver, ISO, and other styles
13

Pereira-Fernandez, Juan Manuel. "Processus communicants." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00311800.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Jungjariyanonn, Settachaî. "Algorithmes de calculs sur les chaines d'intervalles et leurs applications." Paris 13, 2002. http://www.theses.fr/2002PA132009.

Full text
Abstract:
Le travail que nous présentons ici concerne les calculs des chaînes d'intervalles estampillées, utilisées largement dans les travaux sur le traitement et le raisonnement temporel en base de données, intelligence artificielle et systèmes d'information. En fait, cela concerne tous les domaines qui utilisent des fonctions ayant pour domaine un ensemble linéaire discret et à valeur dans un ensemble fini, notamment booléen. Nous proposons des opérations qui généralisent les opérations bien connues d'union et d'intersection au cas N-aire. Nous montrons qu'il existe plusieurs critères qui permettent
APA, Harvard, Vancouver, ISO, and other styles
15

Eyraud, Rémi. "Inférence grammatical de langages hors-contextes." Saint-Etienne, 2006. http://www.theses.fr/2006STET4008.

Full text
Abstract:
L’inférence grammaticale a pour but d’étudier l’apprentissage automatique des langages formels. Jusqu’à récemment, l’attention des chercheurs s’était focalisée sur les langages réguliers et ce avec succès. Mais il est plus difficile de s’attaquer à l’apprentissage des langages hors-contextes, la classe de complexité suivante. En effet, des barrières théoriques importantes existent : la plupart des résultats théoriques sont négatifs et montrent l’impossibilité d’apprendre l’intégralité de la classe. Dans cette thèse, après avoir analysé les difficultés inhérentes à cette inférence et étudié les
APA, Harvard, Vancouver, ISO, and other styles
16

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
17

Carayol, Arnaud Caucal Didier. "Automates infinis, logique et langages." [S.l.] : [s.n.], 2006. ftp://ftp.irisa.fr/techreports/theses/2006/carayol.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Augros, Xavier. "Des algorithmes autour des codes rationnels." Nice, 2001. http://www.theses.fr/2001NICE5693.

Full text
Abstract:
Dans cette thèse, nous nous intéressons au problème de décider si un langage rationnel donné est un omega-code. Nous décrivons donc des algorithmes pour décider de cette propriété dans le cas des langages finis et dans le cas rationnel. Ces travaux nous ont permis de mettre en évidence des langages tels que leurs puissances oméga contiennent des mots infinis qui ont plusieurs factorisations, et que celles-ci ne soient que des puissances oméga de factorisations de mots finis avec plusieurs factorisations (les pré-oméga-codes). Nous avons étudié quelques propriétés de ces pré-oméga-codes en rapp
APA, Harvard, Vancouver, ISO, and other styles
19

Jeanne, Hadrien. "Langages géométriques et polycubes." Rouen, 2010. http://www.theses.fr/2010ROUES007.

Full text
Abstract:
Ce mémoire comporte deux parties. La première concerne l'étude des langages géométriques au moyen d'outils de la théorie des automates et de géométrie discrète. Un langage géométrique est composé de mots définis sur un alphabet de taille d, en utilisant les images de Parikh de l'ensemble des préfixes de ces mots. Ce qui définit une figure de dimension d. Dans la seconde partie, il est question de l'étude de polycubes de dimension 3. Il y est défini des extensions de certaines própriétés des polyominos en dimension 3. Cela permet de définir différentes classes de polycubes, les polycubes platea
APA, Harvard, Vancouver, ISO, and other styles
20

Cohen, Albert. "Analyse et transformation de programmes: du modèle polyédrique aux langages formels." Phd thesis, Université de Versailles-Saint Quentin en Yvelines, 1999. http://tel.archives-ouvertes.fr/tel-00550829.

Full text
Abstract:
Les microprocesseurs et les architectures parallèles d'aujourd'hui lancent de nouveaux défis aux techniques de compilation. En présence de parallélisme, les optimisations deviennent trop spécifiques et complexes pour être laissées au soin du programmeur. Les techniques de parallélisation automatique dépassent le cadre traditionnel des applications numériques et abordent de nouveaux modèles de programmes, tels que les nids de boucles non affines, les appels récursifs et les structures de données dynamiques. Des analyses précises sont au c{\oe}ur de la détection du parallélisme, elles rassemblen
APA, Harvard, Vancouver, ISO, and other styles
21

Cohen, Albert Henri. "Analyse et transformation de programmes : du modèle polyédrique aux langages formels." Versailles-St Quentin en Yvelines, 1999. https://tel.archives-ouvertes.fr/tel-00550829.

Full text
Abstract:
Les microprocesseurs et les architectures parallèles d'aujourd'hui lancent de nouveaux défis aux techniques de compilation. En présence de parallélisme, les optimisations deviennent trop spécifiques et complexes pour être laissées au soin du programmeur. Les techniques de parallélisation automatique dépassent le cadre traditionnel des applications numériques et abordent de nouveaux modèles de programmes, tels que les nids de boucles non affines, les appels récursifs et les structures de données dynamiques. Des analyses précises sont au coeur de la détection du parallélisme, elles rassemblent d
APA, Harvard, Vancouver, ISO, and other styles
22

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
23

Terlutte, Alain. "Contribution à l'étude des langages engendrés par des morphismes itérés." Lille 1, 1988. http://www.theses.fr/1988LIL10023.

Full text
Abstract:
Les langages D0L sont étudiées dans la première partie. Dans la partie, la famille des EDT0L-langages est étudiée. Les transductions rationnelles polynomialement bornées sont étudiées dans la troisième partie. L'inclusion stricte de l'ensemble des polynômes de fonctions rotationnelles dans celui des transductions rotationnelles polynômialement bornées est démontrée.
APA, Harvard, Vancouver, ISO, and other styles
24

Voundy, El Makki. "Langages ε-sûrs et caractérisations des langages d'ordres supérieurs". Thesis, Aix-Marseille, 2017. http://www.theses.fr/2017AIXM0249.

Full text
Abstract:
Une ligne de recherche présente dans la littérature depuis les années soixante est celle des théorèmes de représentation. Son résultat fondateur est le théorème de Chomsky--Schützenberger qui stipule qu'un langage est algébrique si et seulement si il est l'image par homomorphisme de l'intersection entre un langage régulier et le langage de Dyck. Ce résultat a connu depuis diverses généralisations à différentes familles de langages. Dans cette thèse, nous proposons plusieurs généralisations de ce résultat aux langages d'ordres supérieurs. En particulier, nous introduisons une notion de langages
APA, Harvard, Vancouver, ISO, and other styles
25

Loubersac, Jérôme. "Définition d'une méthodologie pour le langage de spécification formelle VDM." Paris 9, 1994. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1994PA090025.

Full text
Abstract:
La généralisation de l'utilisation de méthodes formelles telles que VDM se heurte aujourd'hui principalement à trois obstacles: leur carence en méthodologie, l'hermétisme de leurs notations, et la résistance des utilisateurs potentiels face à un changement aussi radical de méthode. L'objectif de ce travail était de contribuer à lever ces trois obstacles. Pour cela, nous avons défini une approche originale de spécification basée sur des diagrammes possédant une sémantique formelle et pouvant être traduits en VDM, et nous avons proposé des techniques pour le raffinement des spécifications VDM. C
APA, Harvard, Vancouver, ISO, and other styles
26

Salaün, Gwen. "Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes." Nantes, 2003. http://www.theses.fr/2003NANT2023.

Full text
Abstract:
La spécification est une étape primordiale au cours du développement de systèmes dans un cadre rigoureux. Lorsqu'elle est formelle, elle confère de bonnes qualités au système et rend possible l'obtention de systèmes corrects. Ainsi, les spécifications formelles suivent l'analyse des exigences informelles du cahier des charges et sont la base du développement. Un problème est que tous les aspects des systèmes complexes ne peuvent ni être spécifiés ni être vérifiés avec un seul formalisme. Nous proposons donc plusieurs approches qui visent à spécifier des systèmes en se basant sur des techniques
APA, Harvard, Vancouver, ISO, and other styles
27

Février, Arnaud. "Modèles et langages formels pour le point de vue de traitement ODP /." Paris : École nationale supérieure des télécommunications, 1998. http://catalogue.bnf.fr/ark:/12148/cb37067157h.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Moreno, Eduardo. "Graphes et cycles de de Bruijn dans des langages avec des restrictions." Marne-la-Vallée, 2005. https://tel.archives-ouvertes.fr/tel-00628709.

Full text
Abstract:
Soit un langage composée par tous les mots d’une longueur donnée n. Un cycle de de Bruijn d’ordre n est un mot cyclic tels que tous les mots dans le langage apparaît exactement une fois comme facteurs de cet cycle. Un de l’algorithme pour construire le cycle de de Bruijn lexicographiquement minimal est dû à Fredricksen et à Maiorana, lequel utilise les mots de Lyndon dans le language. Cette thèse étudie comment généraliser le concept de cycles de de Bruijn pour un language composée par un sous-ensemble de mots de longueur n, particularment les languages de tous les mots de longueur n sans fact
APA, Harvard, Vancouver, ISO, and other styles
29

Bezzazi, El-Hassan. "Types de données et récurrence bien fondée dans un système de programmation par preuves." Lille 1, 1990. http://www.theses.fr/1990LIL10140.

Full text
Abstract:
Un système de programmation par preuves est présenté. Nous définissons un système formel supposé étendre l'arithmétique de Heyting en tenant compte des types de données interprétés à l'aide d'algèbres de termes. La preuve formelle d'une formule spécifiant un programme permet la construction systématique à partir d'une preuve d'un programme à l'aide de l'interprétation de réalisabilité. Nous raffinons la définition classique d'une telle interprétation par rapport à une propriété syntaxique des formules. Cette nouvelle interprétation permet par rapport à la première l'extraction de programmes re
APA, Harvard, Vancouver, ISO, and other styles
30

Bahrami, Diane. "Une axiomatisation de la réécriture abstraite." Evry-Val d'Essonne, 2003. http://www.theses.fr/2003EVRY0001.

Full text
Abstract:
Dans cette thèse, nous présentons un cadre d'étude de la réécriture indépendant de la logique sous-jacente. Nous définissons d'abord un <> pour les logiques adaptées à la réécriture, sur la base des systèmes formels. Puis, nous donnons des conditions de permutation des règles d'inférence qui permettent de déterminer les prédicats appropriés pour la réécriture. Nous obtenons une version généralisée du théorème de logicalité de G. Birkhoff pour ces prédicats. Dans ce cadre, nous redéfinissons les notions usuelles de la réécriture (système de réécriture, dérivation, terminaison, confluence,
APA, Harvard, Vancouver, ISO, and other styles
31

Chaubard, Laura. "Méthodes algébriques pour les langages formels : applications à la logique et à la dynamique symbolique." Paris 7, 2007. http://www.theses.fr/2007PA077058.

Full text
Abstract:
L'objectif de cette thèse est de fournir de nouveaux outils algébriques afin d'étudier des familles de langages rationnels qui échappaient jusque là à l'approche algébrique et à son arsenal. Cette démarche est motivée par plusieurs problèmes ouverts issus de la théorie des langages (problème de la hauteur d'étoile généralisée par exemple), de la logique (décidabilité de certains niveaux de hiérarchies de concaténation) et de la dynamique symbolique (décidabilité de l'équivalence faible des systèmes sofiques) dans lesquels les familles de langages pertinentes ne peuvent pas être caractérisées a
APA, Harvard, Vancouver, ISO, and other styles
32

Tafat, Bouzid Hanane. "Combinatoire analytique des langages réguliers et algébriques." Paris 13, 2012. http://scbd-sto.univ-paris13.fr/intranet/edgalilee_th_2012_tafat.pdf.

Full text
Abstract:
La combinatoire analytique permet l’étude des structures combinatoires via leur séries génératrices, et aussi la génération aléatoire de ces structures de façon efficace via la méthode de Boltzmann. Cette thèse vise à analyser des structures combinatoires engendrées par des grammaires rationnelles et algébriques, via une étude systématique des séries génératrices associées. La première partie est dédiée à l’étude des distributions limites des motifs dans des mots engendrés par des Automates (grammaires rationnelles), et des séries génératrices ℕrat associées. La distribution est gaussienne lor
APA, Harvard, Vancouver, ISO, and other styles
33

Lhote, Nathan. "Définissabilité et Synthèse de Transductions." Doctoral thesis, Universite Libre de Bruxelles, 2019. https://dipot.ulb.ac.be/dspace/bitstream/2013/287370/4/these.pdf.

Full text
Abstract:
Dans la première partie de ce manuscrit nous étudions les fonctions rationnelles, c'est-à-dire définies par des transducteurs unidirectionnels. Notre objectif est d'étendre aux transductions les nombreuses correspondances logique-algèbre qui ont été établies concernant les langages, notamment le célèbre théorème de Schützenberger-McNaughton-Papert. Dans le cadre des fonctions rationnelles sur les mots finis, nous obtenons une caractérisation à la Myhill-Nerode en termes de congruences d'indice fini. Cette caractérisation nous permet d'obtenir un résultat de transfert, à partir d'équivalences l
APA, Harvard, Vancouver, ISO, and other styles
34

Fici, Gabriele. "Minimal forbidden words and applications." Marne-la-Vallée, 2006. https://tel.archives-ouvertes.fr/tel-00628628v2.

Full text
Abstract:
This thesis describes the theory and some applications of minimal forbidden words, that are the most little words that do not appear as factors of a given word. In the first part we start with the description of the properties of minimal forbidden words and we show some particular cases, as that of a finite word, a finite set of finite words, and a regular factorial language. We also present the procedures for the computation of the theoretical results. Then we generalize the minimal forbidden words to the case of the existence of a period, which determines the positions of occurrences of the
APA, Harvard, Vancouver, ISO, and other styles
35

Fouda, Ndjodo Marcel. "Systèmes de réécriture et cohérence des isomorphismes de types dans les catégories localement closes." Aix-Marseille 2, 1992. http://www.theses.fr/1992AIX22082.

Full text
Abstract:
En utilisant une technique de reecriture de termes dans un langage formel de categories, un theoreme de coherence d'une classe d'isomorphismes canoniques est prouvee dans les categories localement closes. Une telle methode trouve ses applications dans l'etude de la decidabilite et de la coherence des isomorphismes de types
APA, Harvard, Vancouver, ISO, and other styles
36

Bertrand, Pierre. "Calcul formel et perturbations en contrôle optimal déterministe." Paris 9, 1987. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1987PA090008.

Full text
Abstract:
Approximation de commande optimale et de mouvement correspondant ainsi que du coût optimal pour un problème de commande singulièrement ou régulièrement perturbée sous des hypothèses de convexité. Les formules obtenues sont exploitées en utilisant le langage de calcul formel macsyma
APA, Harvard, Vancouver, ISO, and other styles
37

Gamard, Guilhem. "Couverture d'un mot bidimensionnel par un motif chevauchant." Thesis, Montpellier, 2017. http://www.theses.fr/2017MONTS027/document.

Full text
Abstract:
Nous étudions dans cette thèse la notion de quasipériodicité,introduite par Apostolico et Ehrenfeucht au début des années 1990,puis étendue aux mots infinis par Solomon Marcus au début des années2000. Un mot (fini ou infini) w est quasipériodique s'il peut êtrecouvert par des occurrences, éventuellement chevauchantes, d'un autremot, fini, appelé sa quasipériode. En 2006, Monteil etMarcus ont introduit la notion plus forte de quasipériodicitémulti-échelles : le fait d'avoir une infinité de quasipériodes.Dans un premier temps, nous étudions la quasipériodicité des motsinfinis bidimensionnels. No
APA, Harvard, Vancouver, ISO, and other styles
38

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
39

Jeandel, Emmanuel. "Propriétés structurelles et calculatoires des pavages." Habilitation à diriger des recherches, Université Montpellier II - Sciences et Techniques du Languedoc, 2011. http://tel.archives-ouvertes.fr/tel-00653343.

Full text
Abstract:
Les travaux présentés ici s'intéressent aux coloriages du plan discret. Ce modèle d'inspiration géométrique est intrinsèquement lié aux modèles de calcul, et son étude se décline ici suivant deux axes complémentaires: calculabilité et combinatoire. Nous montrons en particulier ici comment de nombreux résultats récents s'expriment naturellement à travers le concept de bases, propriétés vérifiées par au moins un point de tout ensemble de coloriages, et d'antibases, contre-exemples à ce concept. Nous examinons ensuite les différents codages du calcul par des jeux de tuiles et exhibons en particul
APA, Harvard, Vancouver, ISO, and other styles
40

Tran, Vinh Duc. "Des codes pour engendrer des langages de mots infinis." Nice, 2011. http://www.theses.fr/2011NICE4109.

Full text
Abstract:
Le sujet de cette thèse est l’étude des langages de mots infinis, en particulier les puissances infinies de langages de mots finis (puissance ω). Plus précisément, nous nous intéressons à la question ouverte suivante : étant donné un langage L, existe-t-il un ω-code tel que Cω = Lω ? Cette question est l’analogue de celle pour la concaténation finie : un sous-monoïde d’un monoïde libre est-il engendré par un code ou non ? Dans un premier temps, nous étudions l’ensemble des relateurs d’un langage L, c’est-à-dire les couples de factorisations différentes d’un même mot de L* U Lω ; nous établisso
APA, Harvard, Vancouver, ISO, and other styles
41

Chanti, Houda. "Développement d'un outil d'évaluation performantielle des réglementations incendie en France et dans les pays de l'Union Européenne." Thesis, Mulhouse, 2017. http://www.theses.fr/2017MULH8193/document.

Full text
Abstract:
Dans le but de faciliter la tâche d'évaluation du niveau de sécurité incendie aux ingénieurs et permettre aux spécialistes impliqués dans le domaine d'utiliser leurs langages et outils préférés, nous proposons de créer un langage dédié au domaine de la sécurité incendie générant automatiquement une simulation en prenant en considération les langages métiers utilisés par les spécialistes intervenants dans le domaine. Ce DSL nécessite la définition, la formalisation, la composition et l'intégration de plusieurs modèles, par rapport aux langages spécifiques utilisés par les spécialistes impliqués
APA, Harvard, Vancouver, ISO, and other styles
42

Boiret, Adrien. "Normalization and learning of transducers on trees and words." Thesis, Lille 1, 2016. http://www.theses.fr/2016LIL10089/document.

Full text
Abstract:
Le développement du Web a motivé l’apparition de nombreux types de formats de données semi-structurées pour les problèmes liés aux technologies du Web, comme le traitement des documents ou la gestion de base de données.Nous étudions ici la conversion des données semi-structurées d’un schéma à un autre. Pour le traitement de documents, c’est la technologie XML qui offre la solution la plus puissante à ce problème. En XML, les données semi-structurée sont des arbres de données dont les schémas peuvent être définis par des automates d’arbres avec contraintes sur les valeurs de données. Les transf
APA, Harvard, Vancouver, ISO, and other styles
43

Burdy, Lilian. "Traitement des expressions dépourvues de sens de la théorie des ensembles : application à la méthode B." Paris, CNAM, 2001. http://www.theses.fr/2000CNAM0366.

Full text
Abstract:
Ce travail porte sur la définition d'une logique pour un langage avec fonctions partielles. Une interprétation tri-valuée est choisie pour les formules. A partir de cette sémantique, une relation de conséquence est définie et deux systèmes de déduction incorporant les preuves de bonne definition sont proposés, le dernier a l'avantage de ne pas melanger les preuves de bonne définition avec les preuves usuelles et donne ainsi à l'utilisateur l'impression de toujours travailler dans une logique à deux valeurs. Ces choix ont été guidespar le fait que ce système a pour objectif d'ètre implanté dans
APA, Harvard, Vancouver, ISO, and other styles
44

Eduardo, Moreno. "Graphes et cycles de de Bruijn dans des langages avec des restrictions." Phd thesis, Université de Marne la Vallée, 2005. http://tel.archives-ouvertes.fr/tel-00628709.

Full text
Abstract:
Soit un langage composé par tous les mots d'une longueur donnée $n$. Un cycle de de Bruijn d'ordre $n$ est un mot cyclique tel que tous les mots du langage apparaissent exactement une fois comme facteurs de ce cycle. Un algorithme pour construire le cycle de de Bruijn lexicographiquement minimal est dû à Fredricksen et Maiorana, il utilise les mots de Lyndon du langage. Cette thèse étudie comment généraliser le concept de cycles de de Bruijn pour un langage composé par un sous-ensemble de mots de longueur $n$, en particulier les langages de tous les mots de longueur $n$ sans facteurs dans une
APA, Harvard, Vancouver, ISO, and other styles
45

Launay, Jean-Pierre. "Génération de code de protocole de communication par système expert." Paris 9, 1995. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1995PA090030.

Full text
Abstract:
Les documents de spécification de protocoles de communication sont principalement écrits en langage naturel (norme OSI ou RFC internet). L'élaboration de langages formels intermédiaires (techniques formelles de description) a permis de structurer le cycle de développement de logiciel associé : à partir d'une spécification du protocole ayant été réécrite dans un tel langage, il est possible de générer automatiquement du code. Cependant, on connait peu de choses sur le processus (manuel) de reformulation du document initial vers une telle spécification formelle, et par voie de conséquence, il es
APA, Harvard, Vancouver, ISO, and other styles
46

Préa, Pascal. "Discrétisation des images : reconnaissance de formes et connexité discrète." Aix-Marseille 2, 1988. http://www.theses.fr/1988AIX22071.

Full text
Abstract:
Dans une première partie, trois relations d'équivalence sur l'ensemble des discrétisations du plan sont définies. La deuxième partie est consacrée à la reconnaissance de formes par des reseaux neuronaux. Le problème de la reconnaissance de la connéxité dans le cadre des méthodes syntactiques est abordé dans la troisième partie
APA, Harvard, Vancouver, ISO, and other styles
47

Bedon, Nicolas. "Langages reconnaissables de mots indexés par des ordinaux." Phd thesis, Université de Marne la Vallée, 1998. http://tel.archives-ouvertes.fr/tel-00620480.

Full text
Abstract:
Cette thèse traite des langages reconnaissables de mots indexés par des ordinaux. Plusieurs classes d'automates qui reconnaissent de tels mots ont été introduites par Büchi. Elles diffèrent par la longueur des mots reconnus par les automates. Nous en utilisons quatre: la classe pour les mots de longueur , celle pour les mots de longueur inférieure à , où n est un entier naturel, celle pour les mots de longueur dénombrable, et celle pour les mots de longueur quelconque. Nous y ajoutons la classe des automates de Kleene traditionnelle, sur les mots finis. Nous remontrons que ces différentes défi
APA, Harvard, Vancouver, ISO, and other styles
48

Ivanov, Sergiu. "On the Power and Universality of Biologically-inspired Models of Computation." Thesis, Paris Est, 2015. http://www.theses.fr/2015PEST1012/document.

Full text
Abstract:
Cette thèse adresse les problèmes d'universalité et de complétude computationelle pour plusieurs modèles de calcul inspirés par la biologie. Il s'agit principalement des systèmes d'insertion/effacement, réseaux de processeurs évolutionnaires, ainsi que des systèmes de réécriture de multi-ensembles. Les résultats décrits se classent dans deux catégories majeures : l'étude de la puissance de calcul des opérations d'insertion et d'effacement avec ou sans mécanismes de contrôle, et la construction des systèmes de réécriture de multi-ensembles universels de petite taille. Les opérations d'insertion
APA, Harvard, Vancouver, ISO, and other styles
49

Morvan, Christophe. "Les graphes rationnels." Rennes 1, 2001. http://www.theses.fr/2001REN10147.

Full text
Abstract:
Dans cette thèse, nous introduisons la théorie des graphes rationnels (qui sont reconnus par des transducteurs avec sorties étiquetées). Il s'agit de graphes étiquetés dont les sommets sont des mots dans un monoi͏̈de libre. Cette famille est une extension de nombreuses familles de graphes infinis connues à ce jour (les graphes context free de Muller et Schupp, les graphes équationnels de courcelle, les graphes préfixes-reconnaissables de Caucal ou encore les graphes automatiques de Sénizergues). Nous exhiberons certaines de leurs propriétés, telles que l'indécidabilité de nombreuses questions,
APA, Harvard, Vancouver, ISO, and other styles
50

Cadivel, Christian. "Contribution à la spécification des systèmes d'information : les réseaux formels pour la spécification des traitements et application à la retro conception de codes." Lyon, INSA, 1997. http://www.theses.fr/1997ISAL0030.

Full text
Abstract:
La modélisation des systèmes d'information distingue classiquement les données et les traitements. En analysant les outils de modélisation des traitements les plus courants on s'aperçoit que ceux-ci s'appliquent mieux aux phases d'analyse et de réalisation ou sont trop ardus pour être validés par l'utilisateur. Notre objectif est de chercher un modèle de spécification de système d'information compréhensible par l'utilisateur, mieux adapté à l'expression des traitements et réutilisable par l'informaticien dans le processus de conception. Nous proposons un modèle baptisé réseau formel qui tire l
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!