Discussion:Automate de Büchi
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par les projets Langues et Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | À évaluer |  | Langues (discussion • critères • liste • stats • hist. • comité • stats vues) |
 | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) | ||
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Une union de langage réguliers ?[modifier le code]
Bonjour,
Dans la section "Langages reconnus", il est dit qu'un automate de Büchi reconnait U(u_i . v_i^w) où u_i et v_i sont des langages réguliers. Ne sont-ils pas plutôt des expressions régulières ?
À ma connaissance, un langage régulier est l'ensemble des mots reconnus par une expression régulière. De plus, si nous devions concaténer des langages, nous aurions dû utiliser le symbole "union", non ? Puisqu'un langage est un ensemble.
Cordialement, Mourad
- Bonjour
Mourad1081, je crois qu'il n'y a pas difficulté de terminologie : un automate reconnaît un langage ; une expression décrit ou dénote un langage (mais ne le reconnaît pas). Dans notre cas , les u_i et v_i sont des langages de mots finis ; les opérations sur les langages sont le produit et la puissance omega. Cordialement -- ManiacParisien (discuter) 11 juin 2018 à 10:03 (CEST)
