DocumentCode
2902456
Title
Fuzzy finite automata and fuzzy monadic second-order logic
Author
Li, Yongming
Author_Institution
Coll. of Comput. Sci., Shaanxi Normal Univ., Xi´´an
fYear
2008
fDate
1-6 June 2008
Firstpage
117
Lastpage
121
Abstract
We introduce fuzzy monadic second-order (LMSO-) logic and prove that the behaviours of fuzzy finite automata with membership values in an MV-algebra are precisely the fuzzy languages definable with sentences of our LMSO logic. This generalizes Buchipsilas and Elgotpsilas fundamental theorems to fuzzy logic setting. We also consider fuzzy first-order logic and show that star-free fuzzy languages and aperiodic fuzzy languages introduced here coincide with the fuzzy first-order definable ones.
Keywords
finite automata; fuzzy logic; fuzzy set theory; aperiodic fuzzy languages; fuzzy finite automata; fuzzy languages; fuzzy monadic second-order logic; star-free fuzzy languages; Automata; Computer science; Computer science education; Educational institutions; Formal languages; Fuzzy logic; Fuzzy sets; History; Humans; Sorting;
fLanguage
English
Publisher
ieee
Conference_Titel
Fuzzy Systems, 2008. FUZZ-IEEE 2008. (IEEE World Congress on Computational Intelligence). IEEE International Conference on
Conference_Location
Hong Kong
ISSN
1098-7584
Print_ISBN
978-1-4244-1818-3
Electronic_ISBN
1098-7584
Type
conf
DOI
10.1109/FUZZY.2008.4630353
Filename
4630353
Link To Document