Homenda W. Pedrycz W. Automata Theory and Formal Languages 2022