Accueil > > > LANGAGE RECONNU PAR UN AUTOMATE
 LANGAGE RECONNU PAR UN AUTOMATE
 Information sur la source
 Description
Un petit programme qui lit un automate dans un fichier, le format est dans la partie <code>. Pour lancer le programme, "drag-and'droper" un fichier sur le ".exe" (au passage ".ex"=>".exe"). Une fois l'automate lu, le programme affiche l'automate avec les transitions, et affiche le resultat des tests des exemples. Les tests consistent à tester (sans blague !) sir un mot appartient au langage de l'automate. Le gros travail du programme est de calculer le langage reconnu par l'automate. Pour cela il suffit de resoudre un systeme d'equation mit sous forme matriciel, puis de la resoudre en rendant la matrice triangulaire (ca doit rappeller le pivot de Gauss) 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. De plus il suppose que l'automate est deterministe et émondé !!
 Source
- taille_alphabet=3
- a RGB(255,0,0)
- b RGB(0,255,0)
- c RGB(0,0,255)
- nombre_sommets=3
- nombre_transitions=3
- a:0->1
- b:1->1
- c:1->2
- nombre_exemples=5
- abc
- abbbc
- abca
- ac
- abbbbbbbbbbbbbbbbbbbba
- -----------------------------------------------------
- taille_alphabet=2
- a RGB(255,0,0)
- b RGB(0,0,255)
- nombre_sommets=2
- nombre_transitions=4
- a:0->1
- a:1->0
- b:0->0
- b:1->1
- nombre_exemples=10
- a
- aa
- aaa
- b
- bb
- bbb
- aba
- bab
- abababab
- ababababa
- -----------------------------------------------------
- taille_alphabet=2
- a RGB(255,0,0)
- b RGB(0,0,255)
- nombre_sommets=4
- nombre_transitions=8
- a:0->1
- a:1->0
- a:2->3
- a:3->2
- b:0->2
- b:2->0
- b:1->3
- b:3->1
- nombre_exemples=10
- a
- aa
- aaa
- b
- bb
- bbb
- aba
- bab
- abababab
- ababababa
- -----------------------------------------------------
- taille_alphabet=2
- a RGB(255,0,0)
- b RGB(0,0,255)
- nombre_sommets=4
- nombre_transitions=8
- a:0->1
- a:1->0
- a:2->3
- a:3->2
- b:0->2
- b:2->0
- b:1->3
- b:3->1
- nombre_exemples=10
- a
- aa
- aaa
- b
- bb
- bbb
- aba
- bab
- abababab
- ababababa
- -----------------------------------------------------
- taille_alphabet=3
- a RGB(255,0,0)
- b RGB(0,255,0)
- c RGB(0,0,255)
- nombre_sommets=2
- nombre_transitions=5
- a:0->0
- c:0->0
- a:1->1
- c:1->1
- b:0->1
- nombre_exemples=5
- abc
- abbbc
- abca
- ac
- abcca
- -----------------------------------------------------
- taille_alphabet=2
- 0 RGB(255,128,0)
- 1 RGB(255,0,255)
- nombre_sommets=4
- nombre_transitions=8
- 0:0->3
- 1:0->1
- 0:3->3
- 1:3->1
- 0:1->2
- 1:1->3
- 0:2->1
- 1:2->1
- nombre_exemples=5
- 0101
- 11
- 110000
- 110011
- 101010
- -----------------------------------------------------
- taille_alphabet=7
- A RGB(255,0,0)
- B RGB(0,255,0)
- E RGB(0,0,255)
- G RGB(255,0,255)
- J RGB(255,255,0)
- Y RGB(0,255,255)
- _ RGB(0,0,0)
- nombre_sommets=10
- nombre_transitions=11
- J:0->1
- E:1->2
- _:2->3
- J:2->1
- B:3->4
- E:4->5
- G:5->6
- A:6->7
- Y:7->8
- E:8->9
- B:9->4
- nombre_exemples=6
- JE
- BEGAYE
- JE_BEGAYE
- JEJE_BEGAYE
- JE_BEGAYE_JE_BEGAYE
- JEJE_BEGAYEBEGAYEBEGAYE
taille_alphabet=3
a RGB(255,0,0)
b RGB(0,255,0)
c RGB(0,0,255)
nombre_sommets=3
nombre_transitions=3
a:0->1
b:1->1
c:1->2
nombre_exemples=5
abc
abbbc
abca
ac
abbbbbbbbbbbbbbbbbbbba
-----------------------------------------------------
taille_alphabet=2
a RGB(255,0,0)
b RGB(0,0,255)
nombre_sommets=2
nombre_transitions=4
a:0->1
a:1->0
b:0->0
b:1->1
nombre_exemples=10
a
aa
aaa
b
bb
bbb
aba
bab
abababab
ababababa
-----------------------------------------------------
taille_alphabet=2
a RGB(255,0,0)
b RGB(0,0,255)
nombre_sommets=4
nombre_transitions=8
a:0->1
a:1->0
a:2->3
a:3->2
b:0->2
b:2->0
b:1->3
b:3->1
nombre_exemples=10
a
aa
aaa
b
bb
bbb
aba
bab
abababab
ababababa
-----------------------------------------------------
taille_alphabet=2
a RGB(255,0,0)
b RGB(0,0,255)
nombre_sommets=4
nombre_transitions=8
a:0->1
a:1->0
a:2->3
a:3->2
b:0->2
b:2->0
b:1->3
b:3->1
nombre_exemples=10
a
aa
aaa
b
bb
bbb
aba
bab
abababab
ababababa
-----------------------------------------------------
taille_alphabet=3
a RGB(255,0,0)
b RGB(0,255,0)
c RGB(0,0,255)
nombre_sommets=2
nombre_transitions=5
a:0->0
c:0->0
a:1->1
c:1->1
b:0->1
nombre_exemples=5
abc
abbbc
abca
ac
abcca
-----------------------------------------------------
taille_alphabet=2
0 RGB(255,128,0)
1 RGB(255,0,255)
nombre_sommets=4
nombre_transitions=8
0:0->3
1:0->1
0:3->3
1:3->1
0:1->2
1:1->3
0:2->1
1:2->1
nombre_exemples=5
0101
11
110000
110011
101010
-----------------------------------------------------
taille_alphabet=7
A RGB(255,0,0)
B RGB(0,255,0)
E RGB(0,0,255)
G RGB(255,0,255)
J RGB(255,255,0)
Y RGB(0,255,255)
_ RGB(0,0,0)
nombre_sommets=10
nombre_transitions=11
J:0->1
E:1->2
_:2->3
J:2->1
B:3->4
E:4->5
G:5->6
A:6->7
Y:7->8
E:8->9
B:9->4
nombre_exemples=6
JE
BEGAYE
JE_BEGAYE
JEJE_BEGAYE
JE_BEGAYE_JE_BEGAYE
JEJE_BEGAYEBEGAYEBEGAYE
 Conclusion
Pour information, pour obtenir le systeme d'equations (une par etat de l'automate). S'il y a une transition de E vers E' par la lettre <a>, alors le langage reconnu par E notée L est L=a.L' S'il y a deux transition : E->E' avec <a> et E->E'' avec <b> alors L=a.L' + b.L'' On obtient un system d'equation. Les coefficients de la matrice sont des expressions "formelles". L'operation '.' n'est pas commutative !!! De plus si l'on a L=a.L+e alors L=(a*).e ou a* represente toutes les puissances iterees de <a> Ceci est l'equivalent de l'inverse, c'est ce qui permet d'eliminer les elements diagonaux de la matrice. Bon si vous avez des questions ...
 Sources du même auteur
 Sources de la même categorie
 Commentaires et avis
 Discussions en rapport avec ce code source dans le forum
création d'un compilateur en langage c [ par fati fleur ]
on veut créer un compilateur sous c et on veut le code source du compilateur
requete SQL avec ODBC et MFC [ par julok2 ]
Salut à tous,j'utilise un programme où j'ai besoin à un moment d'afficher le contenu de ma base de donnée selon un ordre précis, j'ais donc écrit:int
IDL : spécifications du langage [ par gblade ]
tt est ds le titre ;) je voudrais avoir les spécifications du langages IDL compilé avec MIDL de MS
Pb tableaux langage C (Borland) [ par SniPi ]
Comment on fait pr faire un tableau avec 10 valeurs, mais que les 10 valeurs ce soit l'utilisateur qui les rentre...??Amicalement...SniPi
PROG EN C, C++ ou autre langage... [ par sremy ]
salut, je pose mon pb :Imaginons qu'on ai un prog. MS-DOS appelé prog1.exe qui une fois lancé est en attente d'un password dans la ligne de commande.
probleme en langage c! [ par matthieub ]
Bonjour a tous,Voila g un projet a faire en langage c pour la fin de la semaine et je bloque completement!Je vous donne le lien ou il y a le sujet:htt
une matrice de taille quelconque [ par anaisa ]
salut tt le monde saurez vous m'aidez à résoudre un petit probleme: je dois programmé la somme, produit de matrices de taille quelconque en langage C
projet en langage c [ par mirs ]
ce serait au fait pour une sur un projet :clavier alpha numérique à l'aide de 8 touchespour avoir plus de préccision veuillez mze contacter à ce numér
helppp [ par LDDL ]
Slt a tousVoilà je ne programme pas en C et j'ai dois faire une Dll qui permette de calculer des nombres DOUBLE (ex : 800000000/6.55957) puis de renv
image pgm langage c [ par srenaud ]
Bonjour,je cherche a modifier l'apparence d'une image pgm. Il faudrait que je trouve comment faire un effet blur (flou), un effet de pixelisation, un
|
Derniers Blogs
 IMAGINE CUP 2012, MAKE A SIGN EN FINALEIMAGINE CUP 2012, MAKE A SIGN EN FINALE par junarnoalg
Voilà qui est fait, la nouvelle est officielle ! L'équipe belge "Make a Sign" va au pays des kangourous défendre son projet dans la catégorie Software Design. http://www.imaginecup.com/CompetitionsContent/Competition/WorldwideFinalists.aspx V...
Cliquez pour lire la suite de l'article par junarnoalg KINECT 1.5 IS OUT !KINECT 1.5 IS OUT ! par Vko
La version 1.5 du Kinect For Microsoft vient tout juste de sortir ! Plein de nouveautés: Tracking de squelette en Near Mode Détection en position assise Détection faciale avec un SDK dédié Documentation et des guideline (enfin) Un out...
Cliquez pour lire la suite de l'article par Vko LES ACTUALITéS DE LA SEMAINE SUR C2I.FR (14 MAI - 20 MAI) LES ACTUALITéS DE LA SEMAINE SUR C2I.FR (14 MAI - 20 MAI) par richardc
Mise à jour des Web API du 14 Mai
Réservez dès maintenant votre journée du 20 juin pour le Windows Azure Dev Camp 2012 à Paris
Mise à jour de Team Foundation Service
MechCommander 2 sur Windows 8
Entity Framework 5 Release Candidate e...
Cliquez pour lire la suite de l'article par richardc REACTIVE EXTENSIONS : CONSOMMER DES SERVICES AVEC RX PARTIE 3, LES PIèGES à éVITERREACTIVE EXTENSIONS : CONSOMMER DES SERVICES AVEC RX PARTIE 3, LES PIèGES à éVITER par Groc
Une mauvaise utilisation de rx lors de l'écriture d'une couche d'accès à des services peut conduire à des cas embarassants avec des erreurs mal gérées, des appels qui ne partent lorsqu'ils le devraient, et même des résultats incorrects . le tout nuis...
Cliquez pour lire la suite de l'article par Groc SHAREPOINT BLOG SITE, PROBLèME D'ARCHIVESSHAREPOINT BLOG SITE, PROBLèME D'ARCHIVES par junarnoalg
Dernièrement, nous avons migré le site
myTIC
vers un nouveau serveur SharePoint 2010. Dans les contenus que nous vouloins récupérer, nous avions un certain nombre de blogs.
Nous avons utilisé les commandes Power...
Cliquez pour lire la suite de l'article par junarnoalg
Forum
 RE : SAC A DOS RE : SAC A DOS par hadjkaddour
Cliquez pour lire la suite par hadjkaddour
Logiciels
 sDEVIS-FACTURES vlPRO (8.1.0.3)SDEVIS-FACTURES VLPRO (8.1.0.3)sDEVIS-FACTURES vlPRO a été mis au point pour les particuliers, créateurs, entrepreneurs, artisa... Cliquez pour télécharger sDEVIS-FACTURES vlPRO 974 Application Server (12.2.4.6)974 APPLICATION SERVER (12.2.4.6)Développez de puissantes applications dans un environnement de 'cloud computing', clusterisé, séc... Cliquez pour télécharger 974 Application Server vPicture (1.4.2.1)VPICTURE (1.4.2.1)Avec vPicture, hébergez vos images facilement et rapidement.
vPicture est un utilitaire simple, ... Cliquez pour télécharger vPicture Easy-Planning (2.2.1.6)EASY-PLANNING (2.2.1.6)Easy-Planning permet de créer des plannings sous la représentation de diagrammes et est adapté au... Cliquez pour télécharger Easy-Planning COM-BACKUP (2.0)COM-BACKUP (2.0)
COM-BACKUP est un logiciel de sauvegarde qui permet de planifier les sauvegardes de vos dossiers ...
Cliquez pour télécharger COM-BACKUP
|