Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Ensemble et application Partie II
- Un best-of d'exos de probabilités (après le bac)
- Espaces vectoriels et Applications linéaires - supérieur
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... Maths spé LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau maths spé
Automates
Posté par infophile
Bonjour 
Je travaille sur les automates réguliers à gauche (voir page 4 pour la nomenclature 
).
J'ai montré que est déterministe, et aussi une propriété supplémentaire
Mais je ne parviens pas à montrer que est équivalent à
et qu'il est régulier à gauche.
Si quelqu'un a une idée, merci
C'est bon je pense avoir réussi à montrer qu'ils sont équivalent.
Je cherche toujours pour la régularité à gauche..
As-tu un résultat du genre, un automate déterministe complet A est régulier à gauche en partant de n'importe quel état ? (logiquement, ça fonctionne en raison du déterministe mais bon, je me trompe peut-être)
Si oui, tu peux simplement faire:
Pour tout
, alors puisque A est régulier à gauche, on a que pour tout
et
,
et tu as ton résultat.
Je me trompe ?
Bonjour
Citation :
un automate déterministe complet A est régulier à gauche en partant de n'importe quel état ?
un automate déterministe complet A est régulier à gauche en partant de n'importe quel état ?
Il me semble que c'est faux, voir page 4 question 5)
on montre justement le contraire.
Une autre idée ? Merci
Salut vieux !
Ca fait très longtemps !!
Sinon si ce ds que tu travailles, y a son corrigé, tu l'as vu?
Je me demande alors, pourquoi peut-on dire :
"p.f = p.g, mais aussi (p.u).f = (p.u).g, soit encore p.(uf) = p.(ug)" dans la solution?
Lol c'est pas trop mon truc non plus 
En fait ce que je trouve un peu nul c'est qu'on voit pas trop à quoi ça sert !
Mais bon comparé à mon DM de chimie c'est une partie de plaisir.. ça te dit peut-être ? non ? Bon tant pis.
Ca me barbe..
Tu fais quoi en fait cette année une L3 ?
Je me tâte pour un magistère je sais pas encore..
non, officiellement une L2, officieusement une L3 (pas le droit de passer les partiels).
On se verra peut être en magistère l'année prochaine alors