Алгебра трансформеров
arXiv: 261 036 67995v1 Annualce Type: cross резюмирует: В ходе теоретического анализа трансформаций основное внимание в них уделяется анализу расчетной способности, таким как полнота Тьюринга-полность неограниченных точных трансформаторов, преимущество параллелизма неувязанных точный трансформатора и ограниченность ограниченных точного трансформаторов. Эта газета дает трансформаторам алгебру для рассуждения, которая в значительной степени зависит от результатов функционального разложения трансформаторов. Эта алгебра использует функциональное разложение в качестве атомных действий, включает последовательный состав и параллельные композиции, рекурсию для обратной связи и абстракцию скрытых слоев. Как мы знаем, это первая попытка логически моделировать трансформаторы и может быть использована для проверки правильности прикладных программ на основе трансформаторов.