Um novo artigo propõe um modelo unificador para caracterizações de regularidade ao estilo Nerode em funções com diferentes domínios de saída, generalizando o trabalho de Hauser em complexidade de comunicação. O modelo relaxa as suposições de computabilidade para permitir domínios de saída não booleanos, onde uma string de entrada é dividida entre duas partes, Alice e Bob, que trocam um número constante de mensagens para calcular o valor da função.
Os autores mostram que para vários domínios, este modelo coincide com modelos conhecidos de computação e estendem o framework para alfabetos infinitos usando conjuntos nominais.
O trabalho fornece ampla evidência de apoio para a conjectura de que uma correspondência análoga vale para outros domínios que carecem de uma caracterização de regularidade ao estilo Nerode.