Análisis Eficiente de Autómatas Inequívocos Utilizando Técnicas de Semigrupo Matricial