Bibliografías temáticas / Théorie algébgrique des automates

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros

Literatura académica 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 las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas 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.

Artículos de revistas sobre el tema "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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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].
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.

Tesis sobre el tema "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.

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.
Más fuentes

Libros sobre el tema "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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes
También puede estar interesado en las bibliografías ampliadas sobre el tema "Théorie algébgrique des automates" para tipos de fuentes particulares:
Tesis 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