Учёный описал вычисления струнными диаграммами вместо машин Тьюринга
Monoidal computer I: Basic computability by string diagrams (2012)
Dusko Pavlovic предлагает новую модель вычислений на языке моноидальных категорий. Она согласуется с тезисом Чёрча — Тьюринга и охватывает те же вычислимые функции, что и стандартные модели, но даёт лаконичный категориальный интерфейс без деталей реализации. Главная особенность — струнные диаграммы, полный и корректный графический формализм для рассуждений о вычислениях. Конечная цель — удобный язык для теории вычислительных ресурсов, таких как односторонние и лазейковые функции; статья — первый шаг к ней.
Главная особенность языка моноидальных категорий в том, что его поддерживает корректный и полный графический формализм — струнные диаграммы, дающие наглядный и интуитивный интерфейс для абстрактных рассуждений о вычислениях.