Pure reaction automata.
Saved in:
| Title: | Pure reaction automata. |
|---|---|
| Authors: | Ascone, Rocco1 (AUTHOR) rocco.ascone@phd.units.it, Bernardini, Giulia1 (AUTHOR), Formenti, Enrico2 (AUTHOR), Leiter, Francesco1 (AUTHOR) francesco.leiter@studenti.units.it, Manzoni, Luca1 (AUTHOR) |
| Source: | Natural Computing. Jun2024, Vol. 23 Issue 2, p189-204. 16p. |
| Subjects: | Computable functions, Formal languages, Standard language |
| 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. [ABSTRACT FROM AUTHOR] |
| Copyright of Natural Computing is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| FullText | Links: – Type: pdflink Text: Availability: 1 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 178805802 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Pure reaction automata. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Ascone%2C+Rocco%22">Ascone, Rocco</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> rocco.ascone@phd.units.it</i><br /><searchLink fieldCode="AR" term="%22Bernardini%2C+Giulia%22">Bernardini, Giulia</searchLink><relatesTo>1</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Formenti%2C+Enrico%22">Formenti, Enrico</searchLink><relatesTo>2</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Leiter%2C+Francesco%22">Leiter, Francesco</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> francesco.leiter@studenti.units.it</i><br /><searchLink fieldCode="AR" term="%22Manzoni%2C+Luca%22">Manzoni, Luca</searchLink><relatesTo>1</relatesTo> (AUTHOR) – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Natural+Computing%22">Natural Computing</searchLink>. Jun2024, Vol. 23 Issue 2, p189-204. 16p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Computable+functions%22">Computable functions</searchLink><br /><searchLink fieldCode="DE" term="%22Formal+languages%22">Formal languages</searchLink><br /><searchLink fieldCode="DE" term="%22Standard+language%22">Standard language</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Natural Computing is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=178805802 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s11047-024-09980-7 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 16 StartPage: 189 Subjects: – SubjectFull: Computable functions Type: general – SubjectFull: Formal languages Type: general – SubjectFull: Standard language Type: general Titles: – TitleFull: Pure reaction automata. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Ascone, Rocco – PersonEntity: Name: NameFull: Bernardini, Giulia – PersonEntity: Name: NameFull: Formenti, Enrico – PersonEntity: Name: NameFull: Leiter, Francesco – PersonEntity: Name: NameFull: Manzoni, Luca IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 06 Text: Jun2024 Type: published Y: 2024 Identifiers: – Type: issn-print Value: 15677818 Numbering: – Type: volume Value: 23 – Type: issue Value: 2 Titles: – TitleFull: Natural Computing Type: main |
| ResultId | 1 |
