OCaml (option informatique) · Chapitre 21 · Application directe du cours

Le type des lexèmes

Analyse syntaxique et interprétation · niveau 1 (application)

Énoncé

Définir lexeme et donner, à la main, le résultat attendu de lexer "(1+2)".

type lexeme = Nombre of int | Plus | Moins | Fois | ParenG | ParenD
(* lexer "(1+2)" = [ParenG; Nombre 1; Plus; Nombre 2; ParenD] *)

Chaque caractère significatif devient un lexème ; les nombres regroupent leurs chiffres. C'est l'alphabet de notre mini-langage.