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
Partager