Automates
Apprendre à utiliser le forum
La foire aux questions relatives au forum
Comment utiliser le LaTeX sur le forum
Les énigmes du mois en cours
Les classements des joueurs d'énigmes
Le fonctionnement des énigmes
Chercher dans le forum
Les topics n'ayant pas obtenu de réponse
Des statistiques complètes sur ces forums
forumsliste 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
Automates
Posté le 13-12-08 à 13:45
Posté par 
infophile 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 ![\forall r\in \mathcal{V}(Q), \forall f\in A^{\ast},\forall i\in [1,N], \eta(r,f)_i=\delta(r_i,f)](http://latex.ilemaths.net/ile_tex.cgi?\forall r\in \mathcal{V}(Q), \forall f\in A^{\ast},\forall i\in [1,N], \eta(r,f)_i=\delta(r_i,f))
Mais je ne parviens pas à montrer que est équivalent à 
et qu'il est régulier à gauche.
Si quelqu'un a une idée, merci
infophile infophileBonjour
Je travaille sur les automates réguliers à gauche (voir page 4 pour la nomenclature
).J'ai montré que
Mais je ne parviens pas à montrer que
Si quelqu'un a une idée, merci
re : Automates Posté le 13-12-08 à 14:20
Posté le 13-12-08 à 14:20Posté par infophile infophile
C'est bon je pense avoir réussi à montrer qu'ils sont équivalent.
Je cherche toujours pour la régularité à gauche..
infophile infophileC'est bon je pense avoir réussi à montrer qu'ils sont équivalent.
Je cherche toujours pour la régularité à gauche..
re : Automates Posté le 14-12-08 à 05:27
Posté le 14-12-08 à 05:27Posté par Maque11 Maque11
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
=(\delta(q_1,f),...,\delta(q_N,f))=(\delta(q_1,g),...,\delta(q_N,g))=n(i,g))
, alors puisque A est régulier à gauche, on a que pour tout 
et ![p \in [1,N]](http://latex.ilemaths.net/ile_tex.cgi?p \in [1,N])
,=\delta(q_p,ug))
et tu as ton résultat.
Je me trompe ?
Maque11 Maque11As-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
Je me trompe ?
re : Automates Posté le 14-12-08 à 11:26
Posté le 14-12-08 à 11:26Posté par infophile infophile
Bonjour
Il me semble que c'est faux, voir page 4 question 5) on montre justement le contraire.
Une autre idée ? Merci
infophile infophileBonjour
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
re : Automates Posté le 14-12-08 à 11:39
Posté le 14-12-08 à 11:39Posté par monrow monrow 
Salut vieux !
Ca fait très longtemps !!
Sinon si ce ds que tu travailles, y a son corrigé, tu l'as vu?
monrow monrow Salut vieux !
Ca fait très longtemps !!
Sinon si ce ds que tu travailles, y a son corrigé, tu l'as vu?
re : Automates Posté le 14-12-08 à 11:46
Posté le 14-12-08 à 11:46Posté par infophile infophile
Salut momo
Tu vas bien ?
Ben quand j'ouvre le soi disant corrigé je retombe sur le sujet, pas toi ?
infophile infophileSalut momo
Tu vas bien ?
Ben quand j'ouvre le soi disant corrigé je retombe sur le sujet, pas toi ?
re : Automates Posté le 14-12-08 à 14:49
Posté le 14-12-08 à 14:49Posté par Maque11 Maque11
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?
Maque11 Maque11Je 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?
re : Automates Posté le 16-12-08 à 12:39
Posté le 16-12-08 à 12:39Posté par Nightmare Nightmare
Kevin tu veux pas venir faire mon partiel de structure discrète à ma place? Je hais les automates
Nightmare NightmareKevin tu veux pas venir faire mon partiel de structure discrète à ma place? Je hais les automates
re : Automates Posté le 16-12-08 à 12:43
Posté le 16-12-08 à 12:43Posté par infophile infophile
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.
infophile infophileLol 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.
re : Automates Posté le 16-12-08 à 13:03
Posté le 16-12-08 à 13:03Posté par infophile infophile
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..
infophile infophileCa me barbe..
Tu fais quoi en fait cette année une L3 ?
Je me tâte pour un magistère je sais pas encore..
re : Automates Posté le 16-12-08 à 13:08
Posté le 16-12-08 à 13:08Posté par Nightmare Nightmare
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
Nightmare Nightmarenon, 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
Seuls les membres peuvent poster sur le forum !
Un modérateur est susceptible de supprimer toute contribution qui ne serait pas en relation avec le thème de discussion abordé, la ligne éditoriale du site, ou qui serait contraire à la loi.
Imprimer
Réduire
Agrandir
connectez vous
logique en post-bac forumsliste 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
Fiches de maths
Encyclopédie
Annuaire
Outils
Jeux
Ce site
Nouveau
Livre d'or
Newsletter
île des maths
île de la physique
