Sebuah makalah baru mengusulkan model penyatu untuk karakterisasi reguleritas gaya Nerode pada fungsi dengan domain keluaran berbeda, menggeneralisasi karya Hauser dalam kompleksitas komunikasi. Model ini melonggarkan asumsi komputabilitas untuk memungkinkan domain keluaran non-Boolean, di mana string input dibagi antara dua pihak, Alice dan Bob, yang bertukar sejumlah pesan tetap untuk menghitung nilai fungsi.
Para penulis menunjukkan bahwa untuk beberapa domain, model ini bertepatan dengan model komputasi yang diketahui dan memperluas kerangka kerja ke alfabet tak hingga menggunakan himpunan nominal.
Karya ini memberikan banyak bukti pendukung bagi konjektur bahwa korespondensi analog berlaku untuk domain lain yang tidak memiliki karakterisasi reguleritas gaya Nerode.