| (21) | N° Dépôt : 37413 |
| (22) | Date de Dépôt : 10.10.2014 |
| (71) | Demandeur(s) : UNIVERSITE INTERNATIONALE DE RABAT UIR, PARC TECHNOPOLIS RABAT-SHORE, CAMPUS UNIVERSITAIRE UIR, ROCADE RABAT-SALE, 11100 (MA) |
| (72) | Inventeur(s) : Younes MOUMEN |
| (74) | Mandataire : BOUYA MOHSINE |
| (54) | Titre : SYSTÈME DE MODÉLISATION ET DE TEST D'AUTOMATES FINIS |
| (57) | Abrégé : Un système mis en oeuvre par ordinateur qui fournit des outils de modélisation d'automates finis. Lesystème intègre des fonctions pour tester les automates modélisés, les minimiser, les rendre déterministes, les compléter. Plusieurs automates peuvent être combinés pour générer un analyseur syntaxique sous forme de librairie qui peut être intégrée dans tout programme informatique exécutable. |
