Формально-кинетическая модель бесструктурного мелкозернистого параллелизма

Рассматривается новая абстрактная модель параллельных вычислений – кинетическая машина Кирдина (КМК). Ожидается, что эта модель сыграет ту же роль для параллельных вычислений, что и нормальные алгоритмы Маркова, машины Колмогорова и Тьюринга или схемы Поста для последовательных вычислений. В статье описаны основные способы реализации вычислений, исследована корректность для простейших программ КМК, доказано, что детерминированная КМК является эффективным вычислителем.