Algebraic Description of Physical Systems

摘要

The formal methods for the description of discrete systems which have been developed so far are more or less incomplete. In particular, they do not or only partially describe the physical structure of a system. Here, we introduce a formal method, called Akton algebra, which for the first time covers the structural and the operational properties of discrete systems. This makes it possible to completely describe electronic systems including the layout as well as to formally describe biomolecular structures. Moreover, any of the incomplete formal methods may be converted to Akton algebra by assuming a default structure as may Akton algebra be abstracted into these formal methods.