Sujet Précédent Sujet Suivant

LANGAGE RECONNU PAR UN AUTOMATE

SpEeDy_Fire Messages postés 25 Date d'inscription mardi 30 décembre 2003 Statut Membre Dernière intervention 16 avril 2008 - 17 mai 2006 à 16:16
yahia256 Messages postés 2 Date d'inscription jeudi 31 janvier 2013 Statut Membre Dernière intervention 31 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.

https://codes-sources.commentcamarche.net/source/37636-langage-reconnu-par-un-automate

yahia256 Messages postés 2 Date d'inscription jeudi 31 janvier 2013 Statut Membre Dernière intervention 31 janvier 2013
31 janv. 2013 à 21:43

j'arrive pas a ouvrir ton truc.. comment ça fonctionne ??

nadjet24 Messages postés 31 Date d'inscription mercredi 12 décembre 2007 Statut Membre Derniè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és 3006 Date d'inscription dimanche 14 avril 2002 Statut Membre Dernière intervention 31 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és 1878 Date d'inscription jeudi 16 octobre 2003 Statut Membre Dernière intervention 16 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és 6535 Date d'inscription lundi 16 décembre 2002 Statut Membre Dernière intervention 22 août 2010 14
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és 1878 Date d'inscription jeudi 16 octobre 2003 Statut Membre Dernière intervention 16 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és 1138 Date d'inscription mardi 10 juin 2003 Statut Membre Dernière intervention 25 janvier 2009 4
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és 1878 Date d'inscription jeudi 16 octobre 2003 Statut Membre Dernière intervention 16 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és 1878 Date d'inscription jeudi 16 octobre 2003 Statut Membre Dernière intervention 16 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és 536 Date d'inscription mercredi 27 avril 2005 Statut Membre Dernière intervention 22 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és 25 Date d'inscription mardi 30 décembre 2003 Statut Membre Dernière intervention 16 avril 2008
17 mai 2006 à 16:16

Faut s'accrocher pour la description (du point de vue du français).

Discussions similaires

Message d'erreur en utilisant le compilateur Maven

communication entre PC et automate siemens S7-200 à travers le port série???????

J'arrive pas à utiliser le SDK !

Bug de scanf, comment résoudre mon problème ? (en C)

Calcul d'une puissance en C avec pow()

Votre réponse

Discussions similaires