Замкнутое полукольцо: различия между версиями

'''Замкнутое полукольцо''' (''[[Closed semiring]]'') - полукольцо <math>S</math> с двумя дополнительными свойствами: (а) если <math>a_{1}, a_{2}, \ldots, a_{n}, \ldots</math> есть счетная

последовательность элементов <math>S</math>, то существует и является единственной сумма  

<math>a_{1} + a_{2} + \ldots + a_{n} + \ldots,</math>  

причем порядок, в котором производится сложение различных элементов, несуществен; (б) операция умножения "<math>\cdot</math>" дистрибутивна относительно конечных и счетно-бесконечных сумм. На замкнутых полукольцах может быть определена унарная операция, называемая замыканием. Пусть

Замкнутые полукольца находят применения в различных областях вычислительной техники: в теории автоматов, теории грамматик, теории рекурсии и неподвижных точек, последовательных машинах, матричной обработке, а также в решении различных задач теории графов, например при разработке алгоритмов нахождения [[кратчайший путь|кратчайших путей]], транзитивного замыкания и др.