Issues with Path Representation in Transition Systems

Yi Zheng,Pei He,Chi-Chang Chang,Yafen Liu
DOI: https://doi.org/10.1109/ACIT-CSII-BCD.2016.052
2016-12-01
Abstract:Structured analysis of transition systems concerns paths, building blocks, representations, and effective computations of semantics, thus having significant influence on practical applications of graph theory. For instance, part of these results plays important roles in formal language studies, compiler designs and genetic programming. This paper aims to introduce relations among them, and to present related algorithms for calculating of them.
What problem does this paper attempt to address?