PublicaciĂłn:
REVERSIBILITY IN TURING MACHINE TOPOLOGICAL MODELS

Vista sencilla de Ă­tem
dc.creatorRODRIGO ARIEL TORRES AVILÉS
dc.date2023
dc.date.accessioned2025-01-10T15:35:58Z
dc.date.available2025-01-10T15:35:58Z
dc.date.issued2023
dc.description.abstractREVERSIBILITY IS EQUIVALENT TO SURJECTIVITY WITHIN TURING MACHINE TOPOLOGICAL SYSTEMS. ALTHOUGH REVERSIBILITY IS A DECIDABLE PROPERTY IN TURING MACHINES, A PROPER REVERSE TURING MACHINE DOES NOT EXIST IN THE STANDARD TURING MODEL. TRADITIONAL SOLUTIONS TO THIS PROBLEM IMPLY REDUCING THE SPEED OF THE REVERSIBLE TURING MACHINE, THEREFORE AFFECTING ITS DYNAMICS. ALSO, TRACES OF TOPOLOGICAL DYNAMICAL SYSTEMS OF TURING MACHINES CAN BE SURJECTIVE WHEN THE ORIGINAL TURING MACHINE IS NOT. A SOLUTION IS A REVERSIBLE TURING MACHINE, CONSIDERING A SHIFT IN THE TAPE DEPENDING ON THE ACTUAL STATE, AND ALSO IT IS PROVEN THAT SURJECTIVITY IS UNDECIDABLE FOR TURING MACHINE SUBSHIFTS ONLY WHEN THE RADIUS IS 0.
dc.formatapplication/pdf
dc.identifier.doi10.1109/SCCC57464.2022.10000314
dc.identifier.urihttps://repositorio.ubiobio.cl/handle/123456789/12774
dc.languagespa
dc.publisher2022 41ST INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY (SCCC)
dc.relation.uri10.1109/SCCC57464.2022.10000314
dc.rightsPUBLICADA
dc.titleREVERSIBILITY IN TURING MACHINE TOPOLOGICAL MODELS
dc.typeACTA DE CONFERENCIA
dspace.entity.typePublication
ubb.EstadoPUBLICADA
ubb.Otra ReparticionDEPARTAMENTO DE SISTEMAS DE INFORMACION
ubb.SedeCONCEPCIĂ“N
Archivos
Colecciones
Otros Documentos