<学術雑誌論文>
TREE EXPRESSIONS AND THEIR PRODUCT FORMULA
作成者 | |
---|---|
本文言語 | |
出版者 | |
発行日 | |
収録物名 | |
巻 | |
号 | |
開始ページ | |
終了ページ | |
出版タイプ | |
アクセス権 | |
Crossref DOI | |
関連DOI | |
関連URI | |
関連情報 | |
概要 | 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.続きを見る |
詳細
PISSN | |
---|---|
EISSN | |
NCID | |
レコードID | |
査読有無 | |
主題 | |
タイプ | |
登録日 | 2009.04.22 |
更新日 | 2020.10.22 |