Pour être plus précis : des automates finis (et pas à pile ou une machine de Turing — bon, pour être rigoureux, ce sont des généralisations des automates finis). Ce qui implique que tu cherches à...