McCarthy-Kleene fuzzy automata and MSO logics.
Manfred DrosteTemur KutsiaGeorge RahonisWolfgang SchreinerPublished in: Inf. Comput. (2020)
Keyphrases
- regular expressions
- finite state
- tree automata
- fuzzy sets
- pattern matching
- query language
- finite automata
- expressive power
- fuzzy logic
- membership functions
- fuzzy numbers
- fuzzy rules
- xml schema
- inference rules
- context free grammars
- propositional logic
- modal logic
- fuzzy systems
- finite state machines
- artificial intelligence
- fuzzy clustering
- truth values
- fuzzy measures
- valued logic
- probabilistic automata