transsystem
A transsystem is a formal framework used to model transformations of objects within a given domain. It describes how objects or states can be rewritten or evolved step by step according to a specified set of rules. Transsystems are applicable wherever structured data or configurations change according to explicit transformation laws, including computing, linguistics, and modeling.
A transsystem typically comprises a signature or alphabet that specifies the allowable symbols or types, a
In computer science, transsystems generalize concepts such as term rewriting systems and graph transformation systems. They
Example: a simple string-based transsystem over the alphabet {A, B} with rules A -> AB and B ->
---