Un nouvel article propose un modèle unificateur pour les caractérisations de la régularité au style Nerode à travers des fonctions avec différents domaines de sortie, généralisant le travail de Hauser en complexité de communication. Le modèle assouplit les hypothèses de calculabilité pour autoriser des domaines de sortie non booléens, où une chaîne d'entrée est partagée entre deux parties, Alice et Bob, qui échangent un nombre constant de messages pour calculer la valeur de la fonction.
Les auteurs montrent que pour plusieurs domaines, ce modèle coïncide avec des modèles de calcul connus et étendent le cadre aux alphabets infinis en utilisant des ensembles nominaux.
Ce travail fournit de nombreuses preuves à l'appui de la conjecture selon laquelle une correspondance analogue vaut pour d'autres domaines dépourvus de caractérisation de la régularité au style Nerode.