Classifying Words with 3-sort Automata Topics: Constraint Satisfaction; Knowledge Representation and Reasoning; Knowledge-Based Systems In Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART, 1179-1188, 2024 , Rome, Italy