Bentriou Mahmoud / automaton-abc