Fuzzy Finite Automata and Fuzzy Monadic Second-Order Logic | IEEE Conference Publication | IEEE Xplore