begin process at 2010 02 10 14:06:44
  Trouver un code source :
 
dans
 
Accueil > 

Code

 > 

Application

 > AFD

AFD


 Information sur la source

Note :
Aucune note
Catégorie :Application Niveau :Débutant Date de création :02/11/2004 Date de mise à jour :30/08/2005 00:42:46 Vu / téléchargé :3 133 / 210

Auteur : ghitaik

Ecrire un message privé
Commentaire sur cette source (2)
Ajouter un commentaire et/ou une note

 Description

implementation de la fonction AFD, et son utilisation dans un petit exemple

Source

  • #include <stdio.h>
  • #include <string.h>
  • #include <malloc.h>
  • // Structure de donn‚es :
  • const MaxState = 20;
  • typedef int Transition[MaxState][256];
  • typedef char SetOfStates[MaxState];
  • enum VT {CODE};
  • // Variables globales :
  • unsigned char InputTape[1024]="";
  • int ReadHead = 0;
  • char *Lexeme;
  • int UL;
  • FILE *InputFile;
  • // Fonctions g‚n‚rale :
  • int AFD(Transition T, SetOfStates A, int Nom) {
  • int e = 0;
  • int Save = ReadHead;
  • unsigned char s = InputTape[ReadHead];
  • while (T[e][s]!=-1) {
  • e = T[e][s];
  • ReadHead++;
  • s = InputTape[ReadHead];
  • }
  • if (strchr(A,e) && e!=0) {
  • Lexeme = (char *)realloc(Lexeme,ReadHead-Save);
  • strncpy(Lexeme, &InputTape[Save],ReadHead-Save);
  • Lexeme[ReadHead-Save] = 0;
  • UL = Nom;
  • return 1;
  • }
  • else {
  • ReadHead = Save;
  • return 0;
  • }
  • }
  • void init(Transition &T, int val) {
  • for (int e=0; e<MaxState; e++)
  • for (int s=0; s<256; s++) T[e][s] = val;
  • }
  • void ErreurLexicale() {
  • printf("Erreur lexicale sur le symbole : '%c'\n",InputTape[ReadHead]);
  • ReadHead++;
  • }
  • char *Desig(int ul) {
  • switch (ul) {
  • case CODE : return "CODE";
  • }
  • return "Inconnu";
  • }
  • void ExtraireLexeme(int Nom) {
  • Lexeme = (char *)realloc(Lexeme,2);
  • sprintf(Lexeme,"%c",InputTape[ReadHead]);
  • UL = Nom;
  • ReadHead++;
  • }
  • int ChargerTampon() {
  • if (InputTape[ReadHead] == 0) {
  • if (fgets(InputTape, 1024, InputFile)) {
  • ReadHead = 0;
  • return 1;
  • }
  • else return 0;
  • }
  • else return 1;
  • }
#include <stdio.h>
#include <string.h>
#include <malloc.h>

// Structure de donn‚es :
const MaxState = 20;
typedef int Transition[MaxState][256];
typedef char SetOfStates[MaxState];
enum VT {CODE};

// Variables globales :
unsigned char InputTape[1024]="";
int ReadHead = 0;
char *Lexeme;
int UL;
FILE *InputFile;

// Fonctions g‚n‚rale :
int AFD(Transition T, SetOfStates A, int Nom) {
	int e = 0;
	int Save = ReadHead;
	unsigned char s = InputTape[ReadHead];
	while (T[e][s]!=-1) {
		e = T[e][s];
		ReadHead++;
		s = InputTape[ReadHead];
	}
	if (strchr(A,e) && e!=0) {
		Lexeme = (char *)realloc(Lexeme,ReadHead-Save);
		strncpy(Lexeme, &InputTape[Save],ReadHead-Save);
		Lexeme[ReadHead-Save] = 0;
		UL = Nom;
		return 1;
	}
	else {
		ReadHead = Save;
		return 0;
	}
}

void init(Transition &T, int val) {
	for (int e=0; e<MaxState; e++)
		for (int s=0; s<256; s++) T[e][s] = val;
}

void ErreurLexicale() {
	printf("Erreur lexicale sur le symbole : '%c'\n",InputTape[ReadHead]);
	ReadHead++;
}



char *Desig(int ul) {
	switch (ul) {
			case CODE  : return "CODE";
		    }
	return "Inconnu";
}


void ExtraireLexeme(int Nom) {
	Lexeme = (char *)realloc(Lexeme,2);
	sprintf(Lexeme,"%c",InputTape[ReadHead]);
	UL = Nom;
	ReadHead++;
}

int ChargerTampon() {
	if (InputTape[ReadHead] == 0) {
		if (fgets(InputTape, 1024, InputFile)) {
			ReadHead = 0;
			return 1;
		}
		else return 0;
	}
	else return 1;
}

 Conclusion

avant tout, AFD est l'abréviation de "Automate à état Fini Déterministe", on l'utilise lors de l'analyse du code du compilateur:
vous savez que le compilateur passe par quatre étapes pour traduire le code qu'implémente le programmeur en un code machine.
ces étapes sont:
+Interpréteur: c'est comme le compilateur sauf que le compilateur génère un fichier (.obj) et l'interpréteur traduit le code d'un langage de programmation et le place directement dans la mémoire du PC.
+Assembleur: c'est un compilateur de base, il fait 2 passes sur le code programme,la première c'est pour affecter dans un tableau à toutes les variables utilisées dans le programme leur adresses mémoires, la deuxième consiste à traduire chaque code opération (comme move) en son code binaire.
+Assemblage: je crois que vous le connaissez(exp:mov Ax,X), il emploie des registres et des mots significatifs pour le programmeur.
+Binaire: c'est le codage de 0 et 1, ca veut dire traduire toutes les instructions en binaire.
Avant d'effectuer toutes ces étapes, il faut bien s'assurer que le code tapé par le programmeur est juste d'une vue lexicale, syntaxique et sémantique pour pouvoir générer le code intermédiaire.
Alors le rôle du AFD c'est faire ces testes:
on a remarqué que la façon la plus significative pour présenter un problème c'était à l'aide des expressions régulières(une notation avec des symboles universelles) qui sera traduite en AFN(Automate Finis Non déterministe) puis en AFD qui va pouvoir extraire les lexèmes du code.
les lexèmes sont des chaines valides du langage(exp: ac01 est un lexeme qui présente un identificateur ,01ac n'est pas un lexème car l'identificateur est une chaine alphanumérique mais qui commence par UNE LETTRE), et comme ca on peut répartir notre code en nombre de lexème dont on a besoin.  
->Formalisme d'un AFD:
  Un automate est une machine permettant d'analyser un ruban d'entrer(défini dans le programme par Input Tape) en utilisant une tête de lecture(Read Head) qui permet de pointer sur les symboles successifs du ruban d'entrer, et pour réaliser ce travail, l'AFD se définie comme un ensemble de 5 éléments:
     - un ensemble qui regroupe les symboles sur lesquels on transite d'un état à un autre.
     - un ensemble qui regroupe tous les états sur lesquels on transite.
     - une variable e0 qui indique l'état avec lequel on a demarré.
     - un ensemble qui regroupe les états finaux.
     - un tableau de transition et qui donne le résultat de la transition de chaque état sur chaque symbole s'il existe(il est traduit par la fonction transition dans le programme)
si vous avez envie de savoir plus sur les automates, n'hésitez pas à me le demander, je vous ferai un petit exemple qui les explique.
j'espere que j'ai été claire, et pardon pour tous les détails en début parce que et comme vous constatez il est impossible de comprendre la fonction si vous ne compreniez pas le pourquoi et le comment des choses.
puis pardon pour le retard parce que j'ai dû rédige tout ca ;)  

 Fichier Zip

Les Membres Club peuvent télécharger directement un fichier contenu dans le zip sans télécharger le zip en entier !
  • AFD.CPPTélécharger ce fichier [Réservé aux membres club]Voir ce fichier1 483 octets
  • Connexion Internet Menara.lnkTélécharger ce fichier [Réservé aux membres club]1 505 octets
  • Internet Explorer.lnkTélécharger ce fichier [Réservé aux membres club]767 octets
  • JCreator Pro.lnkTélécharger ce fichier [Réservé aux membres club]769 octets
  • Microsoft Visual Basic 6.0.lnkTélécharger ce fichier [Réservé aux membres club]631 octets
  • Nouveau Document texte.txtTélécharger ce fichier [Réservé aux membres club]Voir ce fichier3 036 octets
  • Outlook Express.lnkTélécharger ce fichier [Réservé aux membres club]646 octets
  • OverBot-lite-fr-52.lnkTélécharger ce fichier [Réservé aux membres club]483 octets
  • overnet 0.50.1 loader.lnkTélécharger ce fichier [Réservé aux membres club]492 octets
  • WinZip.lnkTélécharger ce fichier [Réservé aux membres club]632 octets

Télécharger le zip


 Historique

04 novembre 2004 02:11:55 :
ajout d'une explication de la fonction plus le zip
30 août 2005 00:42:46 :
a

 Sources de la même categorie

GESTIONNAIRE DE BIBLIOTHEQUE par eishtein
FICHIER ALBUM MUSICAL par imenouuuuuuuuuche
LOUISDU81 HTTP EDITOR par louisdu81
Source avec Zip Source avec une capture Source .NET (Dotnet) CLIENT IRC BASIQUE par king67
Source avec Zip CONVERTISSEUR NOMBRE ARABE => NOMBRE ROMAIN (1 À 4999) par Calli95

Commentaires et avis

Commentaire de coucou747 le 02/11/2004 11:56:22

c'est quoi cette fonction exactement ?

Commentaire de Arnaud16022 le 03/11/2004 22:11:32

silence radio...

 Ajouter un commentaire




Nos sponsors


Sondage...

CalendriCode

Février 2010
LMMJVSD
1234567
891011121314
15161718192021
22232425262728

Consulter la suite du CalendriCode

 
Développement réalisé par Nicolas SOREL (Nix) avec l'aide de : Cyril DURAND et Emmanuel (EBArtSoft), Merci à Vincent pour ses précieux conseils.
CodeS-SourceS.com© Toute reproduction même partielle est interdite sauf accord écrit du Webmaster
CodeS-SourceS.com© est une marque déposée tous droits réservés

Google Coop CodeS-SourceS Google Coop CodeS-SourceS
Temps d'éxécution de la page : 0,515 sec (3)

Nous contacter | Annoncer sur CodeS-SourceS | Mentions légales