Relevant bibliographies by topics / Théorie algébgrique des automates

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books

Academic literature on the topic 'Théorie algébgrique des automates'

Author: Grafiati
Published: 1 June 2024
Last updated: 31 July 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Théorie algébgrique des automates.'

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.

Journal articles on the topic "Théorie algébgrique des automates"

1

Nivat, Maurice, and Dominique Perrin. "Ensembles Reconnaissables de Mots Biinfinis." Canadian Journal of Mathematics 38, no. 3 (1986): 513–37. http://dx.doi.org/10.4153/cjm-1986-025-6.

Full text
Abstract:
Introduction. La théorie des automates finis fait partie de ce que l'on appelle aujourd'hui les mathématiques de l'informatique. Comme pour les autres spécialités de ce domaine, elle est née des travaux de logiciens et, pour les automates finis, c'est à Kleene que l'on doit le premier théorème. Cette théorie s'est considérablement développée depuis la période des fondations. La direction principale est l'étude des automates reconnaissant des suites finies ou mots. Elle présente des aspects mathématiques qui la rapprochent de domaines classiques comme par exemple la théorie combinatoire des gro
APA, Harvard, Vancouver, ISO, and other styles
2

Florent Koechlin. "Systèmes de fonctions holonomes, application à la théorie des automates." Bulletin 1024, no. 21 (April 2023): 173–83. http://dx.doi.org/10.48556/sif.1024.21.173.

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

Edo, Eric. "Automorphismes modérés de l'espace affine." Canadian Journal of Mathematics 55, no. 3 (2003): 533–60. http://dx.doi.org/10.4153/cjm-2003-022-1.

Full text
Abstract:
RésuméLe problème de Jung-Nagata (cf. [J], [N]) consiste à savoir s'il existe des automorphismes dek[x; y; z] qui ne sont pas modérés. Nous proposons une approche nouvelle de cette question, fondée sur l'utilisation de la théorie des automates et du polygone de Newton. Cette approche permet notamment de généraliser de façon significative les résultats de [A].
APA, Harvard, Vancouver, ISO, and other styles
4

Meurisse, Quentin, Isabelle De Smet, Hadrien Mélot, et al. "Recherche locale et théorie des jeux appliqués à la création de typo-morphologies compactes." SHS Web of Conferences 82 (2020): 03004. http://dx.doi.org/10.1051/shsconf/20208203004.

Full text
Abstract:
En vue d'une densification urbaine durable, un outil ayant pour but d'évaluer et d'assister la conception d'îlots urbains compacts pourvus d'une densité de population cible a été créé et testé dans le cadre du projet CoMod. Le concept de compacité spatiale est appliqué ici, à l'échelle architecturale, sur le bâti, le non-bâti et les deux combinés. Cette approche encourage les typo-morphologies économes en terrain et en ressources matérielles tout en étant efficaces d'un point de vue énergétique. Afin d'éviter une potentielle exagération de ce concept divers critères notamment relatifs aux espa
APA, Harvard, Vancouver, ISO, and other styles
5

MARGOLIS, S., M. SAPIR, and P. WEIL. "CLOSED SUBGROUPS IN PRO-V TOPOLOGIES AND THE EXTENSION PROBLEM FOR INVERSE AUTOMATA." International Journal of Algebra and Computation 11, no. 04 (2001): 405–45. http://dx.doi.org/10.1142/s0218196701000498.

Full text
Abstract:
We relate the problem of computing the closure of a finitely generated subgroup of the free group in the pro-V topology, where V is a pseudovariety of finite groups, with an extension problem for inverse automata which can be stated as follows: given partial one-to-one maps on a finite set, can they be extended into permutations generating a group in V? The two problems are equivalent when V is extension-closed. Turning to practical computations, we modify Ribes and Zalesskiĭ's algorithm to compute the pro-p closure of a finitely generated subgroup of the free group in polynomial time, and to
APA, Harvard, Vancouver, ISO, and other styles
6

Elizalde, Sergi. "Allowed patterns of β -shifts". Discrete Mathematics & Theoretical Computer Science DMTCS Proceedings vol. AO,..., Proceedings (2011). http://dx.doi.org/10.46298/dmtcs.2911.

Full text
Abstract:
International audience For a real number $β >1$, we say that a permutation $π$ of length $n$ is allowed (or realized) by the $β$-shift if there is some $x∈[0,1]$ such that the relative order of the sequence $x,f(x),\ldots,f^n-1(x)$, where $f(x)$ is the fractional part of $βx$, is the same as that of the entries of $π$ . Widely studied from such diverse fields as number theory and automata theory, $β$-shifts are prototypical examples of one-dimensional chaotic dynamical systems. When $β$ is an integer, permutations realized by shifts have been recently characterized. In this paper we general
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Théorie algébgrique des automates"

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Théorie algébgrique des automates"

1

Mosconi, Jean. La constitution de la théorie des automates. A.N.R.T. Université de Lille III, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Büchi, J. Richard. Finite automata, their algebras and grammars: Towards a theory of formal expressions. Edited by Siefkes Dirk. Springer-Verlag, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

1946-, Börger E., ed. Computation theory and logic. Springer-Verlag, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Maurice, Margenstern, and Rogozhin Yurii, eds. Machines, Computations, and Universality: Third international conference, MCU 2001 : Chisinau, Moldova, May 23-27 2001 : proceedings. Springer, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

1961-, Kaplan S., and Jouannaud Jean-Pierre, eds. Conditional term rewriting systems: 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings. Springer-Verlag, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Díaz, J. Automata, languages and programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings. Springer, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Maslov, S. I͡U. Theory of deductive systems and its applications. MIT Press, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Arto, Salomaa, and Karhumäki Juhani, eds. Jewels are forever: Contributions on theoretical computer science in honor of Arto Salomaa. Springer, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

ACM Symposium on Theory of Computing (34th 2002 Montréal, Québec). Proceedings of the 34th Annual ACM Symposium on the Theory of Computing: Montreal, Quebec, Canada, May 19-21, 2002. Association for Computing Machinery, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ferdinand, Wagner, ed. Modeling software with finite state machines: A practical approach. Taylor & Francis, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources
You might also be interested in the extended bibliographies on the topic 'Théorie algébgrique des automates' for particular source types:
Dissertations / Theses Books
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!

To the bibliography