CHI-CHANG CHANG2026-10-162026-10-162017-05-01Pure ID: 15478475Pure UUID: 6d890a7c-d8e4-474e-9ded-d0b54086662810.1109/ACIT-CSII-BCD.2016.052https://www.scopus.com/pages/publications/85020225550https://scholars.csmu.edu.tw/handle/123456789/25648Structured 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.5enjournal article