Fuzzy regular languages over finite and infinite words

Fuzzy Sets and Systems

Volumn 157, Issue 11, 2006, Pages 1532-1549

  Kuich, Werner ^a   Rahonis, George ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b ARISTOTLE UNIVERSITY OF THESSALONIKI   (Greece)

Author keywords

Formal series; Fuzzy languages; Fuzzy semiring; Infinite words; Quemirings

Indexed keywords

COMPUTER SCIENCE; CONTEXT FREE GRAMMARS; FINITE AUTOMATA; FORMAL LANGUAGES; FUZZY CONTROL; NUMERICAL METHODS; THEOREM PROVING; WORD PROCESSING;

FORMAL SERIES; FUZZY LANGUAGES; FUZZY SEMIRING; INFINITE WORDS;

FUZZY SETS;

EID: 33646165071     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2006.02.004     Document Type: Article

References (30)

1. R. Alur, D. Dill, Automata for modeling real-time systems, ICALP'90, Lecture Notes in Computer Science, vol. 443, Springer, Berlin, 1990, pp. 322-335.
2. Alur R., and Dill D. A theory of timed automata. Theoret. Comput. Sci. 129 (2002) 167-186
3. Balbes R., and Dwinger P. Distributive Lattices (1974), University of Missouri Press, Columbia, MO
4. Bloom S.L., and Ésik Z. Iteration theories, EATCS Monographs on Theoretical Computer Science (1993), Springer, Berlin
5. Bouyer P., and Petit A. A Kleene/Büchi-like theorem for clock languages. J. Automata Languages and Combinatorics 7 (2002) 167-186
6. Conway J.H. Regular Algebra and Finite Machines (1971), Chapman & Hall, London
7. M. Droste, D. Kuske, Skew and infinitary formal power series, Lecture Notes in Computer Science, vol. 2719, Springer, Berlin, 2003, pp. 426-438.
8. M. Droste, D. Kuske, Skew and infinitary formal power series, Theoret. Comput. Sci., to appear.
9. M. Droste, U. Püschmann, Weighted Büchi Automata, submitted for publication.
10. Eilenberg S. Automata, Languages and Machines vol. A (1974), Academic Press, New York
11. Elgot C. Matricial theories. J. Algebra 42 (1976) 391-422
12. Z. Ésik, W. Kuich, On iteration semiring-semimodule pairs, to appear.
13. Z. Ésik, W. Kuich, A semiring-semimodule generalization of ω-regular languages I, J. Automata Languages and Combinatorics, to appear.
14. Z. Ésik, W. Kuich, A semiring-semimodule generalization of ω-regular languages II, J. Automata Languages and Combinatorics, to appear.
15. M. Goldstern, Vervollständigung von Halbringen, Diplomarbeit, Technische Universität Wien, 1985.
16. Krithivasan K., and Sharda K. Fuzzy ω-automata. Inform. Sci. 138 (2001) 257-281
17. Kuich W. Semirings and formal power series. their relevance to formal languages and automata theory. In: Rozenberg G., and Salomaa A. (Eds). Handbook of Formal Languages vol. 1 (1997), Springer, Berlin 609-677 (Chapter 9)
18. W. Kuich, Conway semirings and skew formal power series, in: Z. Ésik, Z. Fülöp (Eds.), Proc. 11th Internat. Conf. Automata and Formal Languages, Institute of Informatics, University of Szeged, 2005, pp. 164-177.
19. W. Kuich, On skew formal power series, in: S. Bozapalidis, A. Kalampakas, G. Rahonis (Eds.), Proc. Conf. Algebraic Informatics, Thessaloniki, 2005, pp. 7-30.
20. Kuich W., and Salomaa A. Semirings, automata, languages, EATCS Monographs in Theoretical Computer Science vol. 5 (1986), Springer, Berlin
21. Li Y., and Pedrycz W. Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids. Fuzzy Sets and Systems 156 (2005) 68-92
22. Mordeson J., and Malik D. Fuzzy Automata and Languages: Theory and Applications (2002), Chapman & Hall, CRC Boca Raton, London, New York, Washington, DC
23. Rahonis G. Infinite fuzzy computations. Fuzzy Sets and Systems 153 (2005) 275-288
24. Ray A., Chatterjee B., and Majumdar A. A formal power series approach to the construction of minimal fuzzy automata. Inform. Sci. 55 1-5 (1991) 189-207
25. Salomaa A. Formal Languages (1973), Academic Press, New York
26. Santos E. Regular Fuzzy Expressions. Fuzzy Automata and Decision Processes (1977), North-Holland, New York 169-175
27. Schützenberger M. On the definition of a family of automata. Inf. Control 4 (1961) 245-270
28. Sheng L., and Li Y. Regular grammars with truth values in lattice-monoid and their languages. Soft Comput. 10 (2006) 79-86
29. Wechler W. The Concept of Fuzziness in Automata and Language Theory (1978), Akademie Verlag, Berlin
30. Ying M. A formal model of computing with words. IEEE Trans. Fuzzy Systems 10 (2002) 640-652