Equivalence of Processes in Environments with Commutative Objects
نویسندگان
چکیده
The equivalence of processes is an important constituent of process optimization. The article considers the functional equivalence problem for processes in object-oriented environments for the case when the turn of executing operations for different objects is not essential. It is shown that this problem can be reduced to the equivalence problem of regular expressions over a partially commutative alphabet.
منابع مشابه
2-dimensional Topological Quantum Field Theories and Frobenius Algebras
Category theory provides a more abstract and thus more general setting for considering the structure of mathematical objects. 2-dimensional quantum field theories arise in physics as objects that assign vector spaces to 1-manifolds and linear maps to 2-cobordisms. From a categorical perspective, we find that they are the same as commutative Frobenius algebras. Our main goal is to explain this e...
متن کاملApplication of Rough Set Theory in Data Mining for Decision Support Systems (DSSs)
Decision support systems (DSSs) are prevalent information systems for decision making in many competitive business environments. In a DSS, decision making process is intimately related to some factors which determine the quality of information systems and their related products. Traditional approaches to data analysis usually cannot be implemented in sophisticated Companies, where managers ne...
متن کاملNon-commutative tori and Fourier–Mukai duality
The classical Fourier–Mukai duality establishes an equivalence of categories between the derived categories of sheaves on dual complex tori. In this article we show that this equivalence extends to an equivalence between two dual objects. Both of these are generalized deformations of the complex tori. In one case, a complex torus is deformed formally in a non-commutative direction specified by ...
متن کاملEquivalence of infinite - state systems with silent steps
This dissertation contributes to analysis methods for infinite-state systems. The dissertation focuses on equivalence testing for two relevant classes of infinite-state systems: commutative context-free processes, and one-counter automata. As for equivalence notions, we investigate the classical bisimulation and simulation equivalences. The important point is that we allow for silent steps in t...
متن کاملLimits in modified categories of interest
We firstly prove the completeness of the category of crossed modules in a modified category of interest. Afterwards, we define pullback crossed modules and pullback cat objects that are both obtained by pullback diagrams with extra structures on certain arrows. These constructions unify many corresponding results for the cases of groups, commutative algebras and can also be adapted to ...
متن کامل