Compositional Structural Metrics on Atomic Transition Forms
Author: Sergei Zubov
Affiliation: TestPress R&D Division
Abstract
This paper proposes a formal model of compositional computation based on the factorization of
computational processes and a rigorous description of their structural properties. The model is
defined by a set of definitions and rules that represent computations as a canonical composition of
elementary operations with explicitly specified dependencies. It is shown that such factorization
yields a linearly ordered representation of computations, simplifies the analysis of their structure,
and enables the identification of invariant properties of the compositional form that remain implicit
in traditional descriptions of computational processes. The proposed approach provides a foundation
for a unified representation of compositional computations and may serve as a basis for further
research on formal models in theoretical computer science.
Keywords
structural metrics, atomic transition forms, compositional analysis, complexity measures, invariant properties, multi‑stage systems