Publicación: TOPOLOGICAL MIXING NOTIONS ON TURING MACHINE DYNAMICAL SYSTEMS
Fecha
2022
Autores
Título de la revista
ISSN de la revista
Título del volumen
Editor
INFORMATION AND COMPUTATION
Resumen
OVER THE PAST FEW DECADES, TURING MACHINES HAVE BEEN STUDIED AS DYNAMICAL SYSTEMS, WITH THE FOCUS BEING ON THEIR BEHAVIOR RATHER THAN THEIR RESULTS. NOTEWORTHY RESULTS CONCERNING TOPOLOGICAL AND DYNAMICAL PROPERTIES, SUCH AS THE EXISTENCE AND UNDECIDABILITY OF TOPOLOGICAL TRANSITIVITY IN TMH AND TOPOLOGICAL MINIMALITY IN TMT, WERE ESTABLISHED. BOTH PROPERTIES ARE RELATED TO REACHING FINITE WINDOWS FROM SOME OR ANY POSSIBLE CONFIGURATION. NONETHELESS, BOTH PROPERTIES EXHIBIT NO RESTRICTION OVER THE TIME A MACHINE TAKES TO REACH THESE FINITE WINDOWS. IN THIS ARTICLE, WE FOCUS ON THE MIXING NOTIONS: WEAK MIXING, TOTAL TRANSITIVITY AND TOPOLOGICAL MIXING. THESE PROPERTIES ARE RELATED TO A TIME WINDOW OR GAP WHERE FINITE CONFIGURATIONS MUST REACH ONE ANOTHER. IN THIS ARTICLE, WE ANALYZE THE SMART MACHINE TO PROVE THAT ITS TMT DYNAMICAL MODEL IS TOPOLOGICALLY WEAK MIXING (AND THEREFORE TOTALLY TRANSITIVE) AND THAT ALL MIXING NOTIONS ARE UNDECIDABLE.
