Je travail sur un projet avec f# (programmation fonctionnelle) pour qui consiste à développer une approche algébrique appelée PBA*.
Voici ci-dessous son syntaxe et sa sémantique:
syntaxe de PBA: x, y ::= 0 | 1 | a | x + y | x.y | x*.y
sémantique de PBA:
•0 c'est à dire que le processus est dans l'état mort.
• 1 c'est à dire que le processus a fini normalement son exécution
• x + y c'est le choix entre x et y.
• x.y c'est x puis y.
• x*y est équivalent à x.(x*.y) + y.
j'ai essayé d'utiliser Fslex et Fsyacc pour l'analyse syntaxique et sémantique de PBA* mais j'ai pas réussir à le faire
Je veux savoir comment je procède pour faire ce travail
Merci d'avance
Partager