Tree Expressions and Their Product Formula

Abstract

In this paper we propose tree expressions which represent transition diagrams of finite transition systems by algebraic formulas. We consider the cartesian product of transition systems and present a product formula of tree expressions. By the product formula we easily get the tree expression of the product of transition systems represented by tree expressions.