• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Deterministic computation in chemical reaction automata

Research Project

Project/Area Number 16K16008
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Theory of informatics
Research InstitutionKyushu University (2016-2017, 2021-2022)
Nihon Pharmaceutical University (2020)
Takachiho University (2018-2019)

Principal Investigator

Okubo Fumiya  九州大学, システム情報科学研究院, 准教授 (40608824)

Project Period (FY) 2016-04-01 – 2023-03-31
Project Status Completed (Fiscal Year 2022)
Budget Amount *help
¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2019: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2018: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2017: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2016: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Keywords決定性計算 / 多重集合書き換え系 / 化学反応オートマトン / 決定性 / 化学反応文法 / 分子計算 / 分解 / 文脈自由文法 / 計算モデル / 分解理論 / 可逆性 / 計算理論 / オートマトン理論・形式言語理論 / 多重集合
Outline of Final Research Achievements

In order to clarify the properties of deterministic models in multiset rewriting systems in which the computation for an input symbolic sequence is uniquely determined, we defined determinism for chemical reaction automata in which reactions are applied sequentially. As a fundamental property, we found that the accepted language of deterministic chemical reaction automata is an incomparable relation with a well-known formal language, the context-free language. In order to synthesize deterministic chemical reaction automata that achieve the desired behavior, we defined the synthesis and decomposition of chemical reaction automata, and clarified the conditions under which they can be realizeed.

Academic Significance and Societal Importance of the Research Achievements

決定性計算はチューリング機械などの従来の計算モデルにおいても重要な概念であるが,多重集合書き換え系の決定性計算は従来のモデルとは異なる定義方法が必要となり,また得られた結果の傾向も大きく異なることから,より多重集合書き換え系の研究の重要性を示している.また合成・分解に関する条件を示したことは,今後の化学反応系の合成のための理論として重要な役割を果たすと考えられる.

Report

(8 results)
  • 2022 Annual Research Report   Final Research Report ( PDF )
  • 2021 Research-status Report
  • 2020 Research-status Report
  • 2019 Research-status Report
  • 2018 Research-status Report
  • 2017 Research-status Report
  • 2016 Research-status Report
  • Research Products

    (10 results)

All 2022 2021 2019 2018 2016

All Journal Article (8 results) (of which Int'l Joint Research: 4 results,  Peer Reviewed: 8 results,  Open Access: 1 results,  Acknowledgement Compliant: 1 results) Presentation (2 results) (of which Int'l Joint Research: 1 results,  Invited: 2 results)

  • [Journal Article] Chemical Reaction Regular Grammars2022

    • Author(s)
      Okubo Fumiya、Fujioka Kaoru、Yokomori Takashi
    • Journal Title

      New Generation Computing

      Volume: - Issue: 2 Pages: 1-22

    • DOI

      10.1007/s00354-022-00160-8

    • Related Report
      2021 Research-status Report
    • Peer Reviewed
  • [Journal Article] $$\mathcal {L}$$-reduction computation revisited2022

    • Author(s)
      Fujioka Kaoru、Okubo Fumiya、Yokomori Takashi
    • Journal Title

      Acta Informatica

      Volume: - Issue: 4 Pages: 1-18

    • DOI

      10.1007/s00236-022-00418-0

    • Related Report
      2021 Research-status Report
    • Peer Reviewed
  • [Journal Article] Theory of reaction automata: a survey2021

    • Author(s)
      Yokomori Takashi、Okubo Fumiya
    • Journal Title

      Journal of Membrane Computing

      Volume: 3 Issue: 1 Pages: 63-85

    • DOI

      10.1007/s41965-021-00070-6

    • Related Report
      2020 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] On the computing powers of L-reductions of insertion languages2021

    • Author(s)
      Okubo Fumiya、Yokomori Takashi
    • Journal Title

      Theoretical Computer Science

      Volume: 862 Pages: 224-235

    • DOI

      10.1016/j.tcs.2020.11.029

    • Related Report
      2020 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Decomposition and factorization of chemical reaction transducers2019

    • Author(s)
      Okubo Fumiya、Yokomori Takashi
    • Journal Title

      Theoretical Computer Science

      Volume: 印刷中 Pages: 432-442

    • DOI

      10.1016/j.tcs.2019.01.032

    • Related Report
      2018 Research-status Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Computing with Multisets: A Survey on Reaction Automata Theory2018

    • Author(s)
      T.Yokomori and F.Okubo
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 10936 Pages: 421-431

    • DOI

      10.1007/978-3-319-94418-0_42

    • ISBN
      9783319944173, 9783319944180
    • Related Report
      2018 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] The Computing Power of Determinism and Reversibility in Chemical Reaction Automata2018

    • Author(s)
      Fumiya Okubo, Takashi Yokomori
    • Journal Title

      Reversibility and Universality

      Volume: 30 Pages: 279-298

    • DOI

      10.1007/978-3-319-73216-9_13

    • ISBN
      9783319732152, 9783319732169
    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] The Computational Capability of Chemical Reaction Automata2016

    • Author(s)
      Fumiya Okubo, Takashi Yokomori
    • Journal Title

      Natural Computing

      Volume: 15(2) Issue: 2 Pages: 215-224

    • DOI

      10.1007/s11047-015-9504-7

    • Related Report
      2016 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Presentation] A Theory of Chemical Reaction Computing2019

    • Author(s)
      大久保 文哉
    • Organizer
      人工知能学会合同研究会2019(第33回ナチュラルコンピューティング研究会)
    • Related Report
      2019 Research-status Report
    • Invited
  • [Presentation] Reaction Automata: Language Accepting Models Motivated by Chemical Reactions2018

    • Author(s)
      Fumiya Okubo, Takashi Yokomori
    • Organizer
      The 1st International Workshop on Reaction Systems
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research / Invited

URL: 

Published: 2016-04-21   Modified: 2024-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi