Stav dette: Théorie structurelle des automates finis