SpEeDy_Fire
Messages postés25Date d'inscriptionmardi 30 décembre 2003StatutMembreDernière intervention16 avril 2008
-
17 mai 2006 à 16:16
yahia256
Messages postés2Date d'inscriptionjeudi 31 janvier 2013StatutMembreDernière intervention31 janvier 2013
-
31 janv. 2013 à 21:43
Cette discussion concerne un article du site. Pour la consulter dans son contexte d'origine, cliquez sur le lien ci-dessous.
yahia256
Messages postés2Date d'inscriptionjeudi 31 janvier 2013StatutMembreDernière intervention31 janvier 2013 31 janv. 2013 à 21:43
j'arrive pas a ouvrir ton truc.. comment ça fonctionne ??
nadjet24
Messages postés31Date d'inscriptionmercredi 12 décembre 2007StatutMembreDernière intervention 8 mai 2008 26 avril 2008 à 19:34
Bonjour je trouve votre programme interessant.Je souhaite encore avoir une petite d'aide car j'ai un fichier XML je souhaite le convertit en machine à état finis pour l'implementer en suite par les workFlow voilà mon fichier xml en arboressence merci infiniment.
-
-
timeToPerform = Period: 2 days from start of transaction
-
-
-
-
-
-
-
-
-
-
-
-
-
cs_Kirua
Messages postés3006Date d'inscriptiondimanche 14 avril 2002StatutMembreDernière intervention31 décembre 2008 18 mai 2006 à 13:19
je trouve le programme plutôt impressionnant. hmm, évidemment ça l'aurait été encore plus si tu arrivais à construire la FSM (automate donc) à partir de sa description par expressions régulières (je sais que c'est pas comme ça qu'on dit en français... mais je sais plus comment on le dit en français ^^) ... mais le truc chaud avec les regexp, c'est qu'il est indispensable de simplifier la FSM obtenue, et ça c'est :/.
magic_Nono
Messages postés1878Date d'inscriptionjeudi 16 octobre 2003StatutMembreDernière intervention16 mars 2011 18 mai 2006 à 12:23
Vecchio
effectivement, je m'excuse si j'ai été trop incisif.
ce que je me rappelle des cours de TdL, c'est que les automates non terminaux (pouvant partir en boucle) sont dangereux, tout au moins pour la génération de langage,
apres, pour l'exploitation, je ne sais plus, mais il me semble qu'on m'a eu mis en garde pour le même soucis, à l'époque...
Je me souviens avoir alors mis en place un systême de validation d'automate qui était relativement complexe. (de mémoire, c'était fait en prolog) et il me semble également que les traductions de prolog à C/C++ donnent en général un très long code.
sinon, évidemment, oui, on apprécie ses efforts explicatifs.
Cordialement.
vecchio56
Messages postés6535Date d'inscriptionlundi 16 décembre 2002StatutMembreDernière intervention22 août 201014 17 mai 2006 à 18:41
magic_Nono> Pourquoi les automates comportant des boucles seraient-ils mauvais?
Par ailleurs, je trouve tous les commentaires un peu déplacés. Il y a certes quelques fautes, mais l'auteur fait comme toujours un effort pour expliquer le fonctionnement du programme, ce qui est plutot rare.
magic_Nono
Messages postés1878Date d'inscriptionjeudi 16 octobre 2003StatutMembreDernière intervention16 mars 2011 17 mai 2006 à 18:13
je ne tiens pas faire un cours de TdL ici (Théorie du langage)
mais les mauvais automates peuvent comporter des boucles ou des chemins multiples.
donc, je pense que ton algo applique l'automate qu'il lit sans le controler préalablement...
en espérant avoir été clair
Magicalement
Bonne Prog
cs_JCDjcd
Messages postés1138Date d'inscriptionmardi 10 juin 2003StatutMembreDernière intervention25 janvier 20094 17 mai 2006 à 17:26
>> MUPUF : le but est de trouver le langage d'un automate, je ne peux pas etre plus clair sur ce point, a moins d'expliquer ce qu'est un automate ...
Et le programme fait cela (donc but=ce qu'il fait), et comment il le fait : en resolvant formellement une equation matricielle.
>> MAGIC_NONO : effectivement le programme suppose que les donnees dans le fichier sont correctes. Qu'appelles-tu la vérification de boucle ?
magic_Nono
Messages postés1878Date d'inscriptionjeudi 16 octobre 2003StatutMembreDernière intervention16 mars 2011 17 mai 2006 à 17:22
la lecture du fichier je je je.txt est instructive :
JE
BEGAYE
JE_BEGAYE
JEJE_BEGAYE
JE_BEGAYE_JE_BEGAYE
JEJE_BEGAYEBEGAYEBEGAYE
dslé jcd, mais ça doit etre la fatigue pour toi aussi.
magic_Nono
Messages postés1878Date d'inscriptionjeudi 16 octobre 2003StatutMembreDernière intervention16 mars 2011 17 mai 2006 à 17:20
"Le programme est fragile au point de vu est erreur d'entree, il ne teste pas si les donnees sont erronees, il suppose qu'elle le sont."
peut etre faut-il lire que les données sont présuposées valides.
de plus j'ai un gros doute quant à la vérification de boucle dans ces automates...
Magicalement
MuPuF
Messages postés536Date d'inscriptionmercredi 27 avril 2005StatutMembreDernière intervention22 août 2008 17 mai 2006 à 17:12
surtout pour une fois l'automate lut...
Si tu expliquais plutot le but du systeme avant d'expliquer ce qu'il fait.
Allez !!! un effort lol
SpEeDy_Fire
Messages postés25Date d'inscriptionmardi 30 décembre 2003StatutMembreDernière intervention16 avril 2008 17 mai 2006 à 16:16
Faut s'accrocher pour la description (du point de vue du français).
31 janv. 2013 à 21:43
26 avril 2008 à 19:34
-
-
timeToPerform = Period: 2 days from start of transaction
-
-
-
-
-
-
-
-
-
-
-
-
-
18 mai 2006 à 13:19
18 mai 2006 à 12:23
effectivement, je m'excuse si j'ai été trop incisif.
ce que je me rappelle des cours de TdL, c'est que les automates non terminaux (pouvant partir en boucle) sont dangereux, tout au moins pour la génération de langage,
apres, pour l'exploitation, je ne sais plus, mais il me semble qu'on m'a eu mis en garde pour le même soucis, à l'époque...
Je me souviens avoir alors mis en place un systême de validation d'automate qui était relativement complexe. (de mémoire, c'était fait en prolog) et il me semble également que les traductions de prolog à C/C++ donnent en général un très long code.
sinon, évidemment, oui, on apprécie ses efforts explicatifs.
Cordialement.
17 mai 2006 à 18:41
Par ailleurs, je trouve tous les commentaires un peu déplacés. Il y a certes quelques fautes, mais l'auteur fait comme toujours un effort pour expliquer le fonctionnement du programme, ce qui est plutot rare.
17 mai 2006 à 18:13
mais les mauvais automates peuvent comporter des boucles ou des chemins multiples.
donc, je pense que ton algo applique l'automate qu'il lit sans le controler préalablement...
en espérant avoir été clair
Magicalement
Bonne Prog
17 mai 2006 à 17:26
Et le programme fait cela (donc but=ce qu'il fait), et comment il le fait : en resolvant formellement une equation matricielle.
>> MAGIC_NONO : effectivement le programme suppose que les donnees dans le fichier sont correctes. Qu'appelles-tu la vérification de boucle ?
17 mai 2006 à 17:22
JE
BEGAYE
JE_BEGAYE
JEJE_BEGAYE
JE_BEGAYE_JE_BEGAYE
JEJE_BEGAYEBEGAYEBEGAYE
dslé jcd, mais ça doit etre la fatigue pour toi aussi.
17 mai 2006 à 17:20
peut etre faut-il lire que les données sont présuposées valides.
de plus j'ai un gros doute quant à la vérification de boucle dans ces automates...
Magicalement
17 mai 2006 à 17:12
Si tu expliquais plutot le but du systeme avant d'expliquer ce qu'il fait.
Allez !!! un effort lol
17 mai 2006 à 16:16