Autor:	Shuichi Inokuchi, Yasuo Kawahara
Jazyk:	angličtina
Rok vydání:	2003
Předmět:	Discrete mathematics Tree (descriptive set theory) Product (mathematics) Transition system product formula transition system tree expression Ocean Engineering Dynamical system Mathematics
Zdroj:	Bulletin of informatics and cybernetics. 35(1/2):69-84
ISSN:	0286-522X
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc9ef1e99733b883e33e40627bcebaa5 http://hdl.handle.net/2324/13521 Zobrazit plný text záznamu