Text this: Descomposición paralela de algoritmos de control para procesos Computacionales basados en el uso de lógica autómata no determinista