Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Automates a etats finis sous l x27 outil atom3

Université Mentouri Constantine Faculté des sciences de l ingénieur Département de l informatique AUTOMATES À ETATS FINIS SOUS -------------- L OUTIL ATOM ------------ NFA DFA NFA ? DFA Réalisé par BOULESNANE ABDENNOUR EMAIL noroo software gmail com noro- hotmail fr - - CINTRODUCTION AToM est un outil visuel pour la Modélisation Multi- Paradigme qui possède Une couche de Méta-modélisation pour la modélisation graphique d'un formalisme les entités du formalisme leurs attributs leurs relations leurs cardinalités leurs contraintes leurs apparences graphiques syntaxe concrète Aussi un système de réécriture de graphes pour les manipulations de modèles par application itérative des règles d une Grammaire de Graphes LA Grammaire de graphes dans AToM se compose d'une action initiale d'un ensemble des règles et d'une action ?nale -L'action initiale ?nale spéci ?e les actions à exécuter avant après l'application des règles -Les règles sont classées selon des priorités pour diriger le choix de la règle à appliquer On va voir un exemple sur l utilisation de l outil Atom pour développer un Automate à état ?nis NFA Non Déterministe ou bien DFA Déterministe et aussi une transformation d un NFA vers DFA Page C Le Méta-modèle d Automate à état ?nis Un méta-modèle est un modèle qui dé ?nit précisément les concepts manipulés dans les modèles ainsi que les relations entre ces concepts Mais aussi il faut assurer que l Automate ne continent pas plus d un état initial pour cela on va utiliser cette contrainte allez à EDIT--- CONSTRAINTS --- NEW Aussi l Automate il doit contient au moins un état ?nal avec cette contrainte Page CPour un Automate à état ?nis déterministe DFA il su ?t d ajouter une contrainte dans la classe dfastat ? Exemple d automate à état ?nis NFA Exemple d automate à état ?nis DFA En plus pour créer les apparences graphiques des états Initiaux et ?naux on va utiliser les contraintes suivantes ETAT INITIAL ETAT FINAL gf POLYNINE gf OVAL Page C La Transformation d un NFD vers DFA À partir d un automate à état ?nis Non déterministe on va avoir un automate à état ?nis déterministe gr? ce à un ensemble des règles Élimine les états inaccessibles joint les états équivalents Élimine le non-déterminisme entre deux états di ?érents Élimine le non- déterminisme dans le même état ére Règle Élimine les états inaccessibles LHS Condition node in connection et node isInitial Action éme Règle joint les états équivalents RHS LHS Condition node condition node condition et node condition node condition Action Page RHS C éme Règle Élimine le non-déterminisme entre deux états di ?érents LHS Condition node condition node condition RHS Action pour i in node outconnection et node outconnection Newtrans Connect node i outconnection Newtrans condition i condition Pour j in node inconnection et node inconnection Newtrans Connect node j inconnection Newtrans condition j condition Initialiser atom i est une instance de la classe ATOM On va utiliser atom i pour pouvoir utiliser les fonctions de la classe ATOM Page CConnecter le nouvel état