Show simple item record

dc.creatorFreund, Rudolf
dc.creatorIvanov, Sergiu
dc.creatorStaiger, Ludwig
dc.date.accessioned2016-01-21T11:05:52Z
dc.date.available2016-01-21T11:05:52Z
dc.date.issued2015
dc.identifier.isbn978-84-944366-2-8es
dc.identifier.urihttp://hdl.handle.net/11441/33039
dc.description.abstractIn this paper we investigate several variants of P automata having in nite runs on nite inputs. By imposing speci c conditions on the in nite evolution of the systems, it is easy to nd ways for going beyond Turing if we are watching the behavior of the systems on in nite runs. As speci c variants we introduce a new halting variant for P automata which we call partial adult halting with the meaning that a speci c prede ned part of the P automaton does not change any more from some moment on during the in nite run. In a more general way, we can assign !-languages as observer languages to the in nite runs of a P automaton. Speci c variants of regular !-languages then, for example, characterize the red-green P automata.es
dc.formatapplication/pdfes
dc.language.isoenges
dc.publisherFénix Editoraes
dc.relation.ispartofProceedings of the Thirteenth Brainstorming Week on Membrane Computing, 143-158. Sevilla, E.T.S. de Ingeniería Informática, 2-6 de Febrero, 2015,es
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.titleHow to Go Beyond Turing with P Automata: Time Travels, Regular Observer !-Languages, and Partial Adult Haltinges
dc.typeinfo:eu-repo/semantics/conferenceObjectes
dc.type.versioninfo:eu-repo/semantics/publishedVersiones
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesses
dc.identifier.idushttps://idus.us.es/xmlui/handle/11441/33039

FilesSizeFormatViewDescription
143_bwmc2015TimeTravel.pdf362.6KbIcon   [PDF] View/Open  

This item appears in the following collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional