Bonjour à toutes et à tous,

à titre d'exercice, je dois actuellement modéliser un parser html. En fait, il s'agit pour moi d'écrire des règles inductives qui décrivent l'état de la page html que l'on cherche à afficher (donc, écriture de la sémantique d'évaluation). On m'a donné la syntaxe abstraite suivante :

Gatégories syntaxiques :

C == a | b | ....|z |A | ... | Z|0|1...| 9| ;|.|…

S == [] | C S

s in S
i in item

h in Html
b in Blocks

ref = reference on files or other web pages

b ==
bold( i ) | % bold <b> S </b>
italic( i ) | % italic <i> S </i>
head1( i ) | % head <h1> S </h1>
head2( i ) | % head <h2> S </h2>
...
head6( i ) | % head <h6> S </h6>
hr|
hr(n)|
par(i) |
font(name,i)|
br | % break
link(ref,i)|
img(ref,x,y)


Structure globale :

h = html(head ,i)

head = title(i)

i = item(s,il,s')
il = b i | b


item = S item | Block | []

Et le problème, c'est que je ne vois pas du tout comment commencer :-(( Je ne vous demande pas de me pondre une réponse toute faite de mon exo, mais je suis par contre preneur de tous les coups de pouce que vous seriez prêts à me donner !!!

Merci d'avance,

Jean