Title: Fuzzy automata and pattern matching