Logo del repository
  1. Home
 
Opzioni

Pure reaction automata

Ascone, Rocco
•
Bernardini, Giulia
•
Formenti, Enrico
altro
Manzoni, Luca
2024
  • journal article

Periodico
NATURAL COMPUTING
Abstract
This work introduces the new class of pure reaction automata, as well as a new update manner, called maximal reactive manner, that can also be applied to standard reaction automata. Pure reaction automata differ from the standard model in that they don't have permanence: the entities that are not consumed by the reactions happening at a certain state are not conserved in the result states. We prove that the set of languages accepted by the new class under the maximal reactive manner contains the set of languages accepted by standard reaction automata under the same manner or under the maximal parallel manner. We also prove that a strict subclass of pure reaction automata can compute any partial recursive function.
DOI
10.1007/s11047-024-09980-7
WOS
WOS:001233687100001
Archivio
https://hdl.handle.net/11368/3081618
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85194586012
https://link.springer.com/article/10.1007/s11047-024-09980-7
Diritti
open access
license:creative commons
license uri:http://creativecommons.org/licenses/by/4.0/
FVG url
https://arts.units.it/bitstream/11368/3081618/3/s11047-024-09980-7.pdf
Soggetti
  • reaction system

  • reaction automata

  • formal language

  • computability

google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback