Новая статья предлагает объединяющую модель для характеристик регулярности в стиле Нероде для функций с различными областями значений, обобщая работу Хаузера в области теории сложности коммуникации. Модель ослабляет вычислимые предположения, позволяя использовать невырожденные области значений, где входная строка разделяется между двумя сторонами — Алисой и Бобом, которые обмениваются постоянным числом сообщений для вычисления значения функции.
Авторы показывают, что для нескольких областей эта модель совпадает с известными моделями вычислений, а также расширяют фреймворк на бесконечные алфавиты с использованием номинальных множеств.
Работа предоставляет множество подтверждающих доказательств гипотезы о том, что аналогичное соответствие справедливо и для других областей, не имеющих характеристики регулярности в стиле Нероде.