theorie de langages : automate à etat fini

Bonjour

Il s'agit d'un exercice que je n'arrive pas à resoudre et j'aimerai bien que vous me aidiez car ca risque fort de tomber dans le sujet de l'examen, voilà l'enoncé :

donnez un automate à nombre fini d'état permettant de verifier l'ecriture d'un chemin dans un systeme de fichier Unix. On prendera en compte le caractere absolu ou relatif du chemin, les repertoires spéciaux "~" , "." , ".." , avec des noms de repertoires et de fichiers composés d'un nombre quelconque de lettres minuscules, de chiffres ou des caracteres "." , "-" , "_" .


Merci d'avance pour votre aide.


La reussite de mon exam depend de vous ;)

Montre-nous ce que tu as déjà fait

Citation:

---

Envoyé par khayyam90

Montre-nous ce que tu as déjà fait

---

ce que j'ai fait vous le trouveriez en PJ

Je sais si ca pourra t'aider beaucoup, mais un automate correspond à une expression rationnelle.
Il peut être plus facile de travailler avec cette expression qui est plus parlante et plus facile a retranscrire ensuite.

Je n'ai pas vraiment compris ce que tu veux dire?! en fait mon exercice rentre dans le cadre de cours de "Theorie de langages et compilation" ca fait un chapitre de ce cours!!

J'explique: il s'agit de rechercher l'expression régulière qui represente les chemins de fichiers en Unix, puis, normalement, dans le cours de TLA, on vous a montré un algorithme qui transforme une expression régulière en un DFA. Il faut toujours procéder ainsi, car comme l'a dit sylk974, il est bcp plus facile de travailler sur les expression régulières.

Heu....ton automate ne ressemble pas à un AEF: le formalisme de représentation n'est pas respecté. Par exemple, où sont les états initiaux et finaux ?