pith. machine review for the scientific record. sign in

arxiv: 1508.06345 · v1 · submitted 2015-08-26 · 🧮 math.GR

Recognition: unknown

Computational Holonomy Decomposition of Transformation Semigroups

Attila Egri-Nagy , Chrystopher L. Nehaniv
Authors on Pith no claims yet
classification 🧮 math.GR
keywords holonomyproofcomputationaldecompositionsemigroupstransformationappearingautomata
0
0 comments X
read the original abstract

We present an understandable, efficient, and streamlined proof of the Holonomy Decomposition for finite transformation semigroups and automata. This constructive proof closely follows the existing computational implementation. Its novelty lies in the strict separation of several different ideas appearing in the holonomy method. The steps of the proof and the constructions are illustrated with computed examples.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Massive Activations in Large Language Models

    cs.CL 2024-02 unverdicted novelty 7.0

    Massive activations are constant large values in LLMs that function as indispensable bias terms and concentrate attention probabilities on specific tokens.