implémentation de expression vers automate