Un nuevo artículo propone un modelo unificador para las caracterizaciones de regularidad al estilo Nerode en funciones con diferentes dominios de salida, generalizando el trabajo de Hauser en complejidad de comunicación. El modelo relaja los supuestos de computabilidad para permitir dominios de salida no booleanos, donde una cadena de entrada se divide entre dos partes, Alice y Bob, que intercambian un número constante de mensajes para calcular el valor de la función.
Los autores muestran que para varios dominios, este modelo coincide con modelos conocidos de computación y extienden el marco a alfabetos infinitos utilizando conjuntos nominales.
El trabajo proporciona abundante evidencia de apoyo para la conjetura de que una correspondencia análoga se mantiene para otros dominios que carecen de una caracterización de regularidad al estilo Nerode.