Utiliser un parser pour extraire des formules

Bonjour,
Dans un projet simulant un reseau d' automates cellulaires, je dois décrire le reseau dans un fichier texte, qui comprend entre autre des formules de math afin de decrire le changement d'etat des automates. Je dois donc pour cela inventer une sorte de langage permettant a l'utilisatur de decrire les regles de changement d'etat.
Ensuite l'application doit interpreter se langage pour simuler le reseau.
Je n'ai aucune idée de la facon de procéder pour interpreter le langage.
On m'a parlé de librairies comme "bison" ou "flex" permettant de parser les formules et de les traduire en code C.
Quelq'un pourrait il m'en dire un peu plus, (notemment sur l'utilisation si c'est simple, ou m'indiquer un lien ) , ou bien me rediriger vers une autre solution si ces librairies ne correpsondent pas a ce type de problème.
Merci

Il y a effectivement la famille lex/yacc (flex/bison en libre) qui est un grand classique pour mettre au point des langages. Ils sont assez orientés C et pas toujours très pratiques à manipuler -- je trouve.

Dans la famille mieux intégré au C++, il y a ANTLR, ou boost.spirit (pour des grammaires pas trop complexes (pour décrire une machine à états, cela devrait suffire je pense) et des compilateurs C++ récents (très important le "récent")).
Dans tous les cas, te documenter un minimum sur la "théorie des langages" te sera nécessaire.

Merci beaucoup pour ta reponse.
Je pense que je vais orienter mon choix vers antlr, quio me semble effectivement tres adapté.

je ne sais pas trop si je dois mettre le post en resolu car j'aurais peut etre des question a propos de cet outil,
quoique remarque, je les poserai plutot sur le forum de l'outil en question
Merci encore