Automatisation à états finis qui accepte la somme des chiffres divisibles par n

Question

Machine à états finis qui accepte si la somme des chiffres est divisible par 3.

Je suis en train de construire une machine à états finis l'accepte si la somme des chiffres est divisible par n. Jusqu'à présent, j'ai pu faire pour n = 2 et n = 3, mais dint trouver toutes les étapes généralisées que je pourrais suivre. Toute aide est appréciée.

Answer 1

Cette question est un peu vague mais il semble que vous essayez d'accepter un flux de nombres s'ils sont divisibles par n.

Si c'est le cas, je vous suggérerais de rassembler les entrées, de les séparer par des chiffres, de faire la somme des chiffres et d'utiliser un mod. Quelques éclaircissements aideraient cependant ma réponse.

Answer 2

Il semble que votre alphabet soit ternaire et qu'il se compose de 0, 1 et 2. Pour tout n, vous devez avoir une machine à n états avec chaque état représentant le reste en divisant par n. La transition pour tout x égal à 0, 1 ou 2 à partir de l'état z ira à l'état (z + x)% n où "%" représente l'opérateur restant.