La construction d'un analyseur lexical en C

Vous pouvez mettre en œuvre de simples transitions d'état avec une seule variable d'état, par exemple si vous voulez parcourir les états->part1->part2->fin, alors vous pouvez utiliser un enum pour garder une trace de l'état actuel et l'utilisation d'une instruction switch pour le code que vous voulez exécuter dans chaque état.

enum state { start=1, part1, part2, end} mystate;

//...
mystate = start;
do {
  switch (mystate) {
    case start:
      //...
    case part1:
      //...
    case part2:
      //...
      if (part2_end_condition) mystate = end; //state++ will also work
      //Note you could also set the state back to part1 on some condition here
      //which creates a loop
      break;
  }
} while (mystate != end);

Pour les plus complexes des transitions d'état qui dépendent de plusieurs variables, vous devez utiliser les tableaux/tableaux comme ceci:

var1    var2    var_end    next_state
0       0       0          state1
0       1       0          state2
1       0       0          state3
1       1       0          state4
-1      -1      1          state_end //-1 represents "doesn't matter" here

OriginalL'auteur schnaader

Si vous êtes à la recherche d'une plus modernes de traitement, que le dragon livre(s) : Andrew W. Appel et Maia Ginsburg, Moderne Compilateur mise en Œuvre en C, Cambridge University Press, 2008.

Le chapitre 2 se concentre sur l'Analyse Lexicale : Lexicale des jetons, des expressions Régulières, automates Finis; Automates Finis non déterministes; analyseur Lexical générateurs

Regarder la Table des Matières

OriginalL'auteur anno