Soft state reduction of fuzzy automata over residuated lattices

Linh Anh Nguyen, Son Thanh Cao, Stefan Stanimirović

State reduction of finite automata plays a significant role in improving efficiency in formal verification, pattern recognition, and machine learning, where automata-based models a…