Vázquez-De-Parga Andrade, Manuel(Universitat Politècnica de València, 2008-06-20)
En este trabajo abordamos dos problemas: El de la reducción de autómatas finitos y el de
la inferencia de los lenguajes regulares y estudiamos las relaciones entre ellos.
Tras la introducción, en el segundo capítulo se ...
[EN] The current manufacturing systems are controlled and monitored by programmable logic controllers. The analysis and maintenance of a control program is a very complex task due to its size measured either by the number ...