Les automates finis

États, transitions et acceptation : comment une machine abstraite très simple peut reconnaître des motifs, et pourquoi elle est équivalente aux expressions régulières.