Minimización de mezcladores

• Autores: Cremona, Pablo Leonardo
• Año de publicación: 2021
• Idioma: español castellano
• Tipo de recurso: tesis de grado
• Colaborador/a o director/a de tesis: Becher, Verónica Andrea
• Materia: MEZCLADORES; TRADUCTORES; AUTOMATAS; MINIMIZACION; INDISTINGUIBILIDAD; MIXERS; TRANSDUCERS; AUTOMATA; MINIMIZATION; INDISTINGUISHABILITY
• Institución: Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales

Los mezcladores son autómatas finitos con dos cintas de entrada y una cinta de salida, es decir, son transductores finitos con dos cintas de entrada y unas de salida. La salida intercala los símbolos de cada una de las secuencias de entrada, conservando el órden en el que aparecen en las entradas. La teoría clásica de minimización de autómatas finitos no resuelve el problema de minimización de mezcladores porque los mezcladores admiten una noción de indistinguibilidad entre estados más amplia, que no se obtiene por refinamientos sucesivos. En esta tesis damos un algoritmo para obtener a partir de un mezclador determinístico otro equivalente, pero irreducible.
Mixers are finite automata with two input tapes and one output tape, i.e., they are transducers with two input tapes and one output tape. The output interleaves the symbols of each input sequence, preserving the order in which they appear in the inputs. The classical theory of minimization of finite automata does not solve the problem of minimization of mixers because the mixers admit a wider notion of indistinguishability between states, which is not obtained by successive refinements. In this thesis we present an algorithm that, given a deterministic mixer, produces an equivalent, but irreducible, mixer.
Fil: Cremona, Pablo Leonardo. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.