Decomposition and factorization of chemical reaction transducers

Fumiya Okubo, Takashi Yokomori

研究成果: Article査読

1 被引用数 (Scopus)

抄録

Chemical reaction automata, computing models inspired by chemical reactions occurring in nature, have been proposed and investigated in [28]. In this paper, we introduce the notion of a chemical reaction transducer (CRT) which is defined as a chemical reaction automaton equipped with output device. We investigate the problem of decomposing CRTs into simpler component CRTs in two different forms: serial decomposition and factorization. For the serial decomposition, we give a sufficient condition for CRTs to be serially decomposable. For factorization, we show that each CRT T can be realized in the form: T(x)=g(h−1(x)∩L) for some codings g,h and a chemical reaction language L, which provides a generalization of notable Nivat's Theorem for rational transducers. This result is then elaborated in a refined form. Further, some transformational characterizations of CRTs are also discussed.

本文言語English
ページ(範囲)431-442
ページ数12
ジャーナルTheoretical Computer Science
777
DOI
出版ステータスPublished - 2019 7 19

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Decomposition and factorization of chemical reaction transducers」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル