Determinization of weighted finite automata over strong bimonoids

Information Sciences

Volumn 180, Issue 18, 2010, Pages 3497-3520

  Ćirić, Miroslav ^a   Droste, Manfred ^b   Ignjatović, Jelena ^a   Vogler, Heiko ^c  

^a UNIVERSITY OF NI   (Serbia)

^b UNIVERSITY OF LEIPZIG   (Germany)

^c DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Determinization; Formal power series; Myhill automaton; Nerode automaton; Run automaton; Strong bimonoid; Weighted automaton

Indexed keywords

DETERMINIZATION; FORMAL POWER SERIES; MYHILL AUTOMATON; NERODE AUTOMATON; RUN AUTOMATON; STRONG BIMONOID; WEIGHTED AUTOMATA;

ALGEBRA; FINITE AUTOMATA;

TRANSLATION (LANGUAGES);

EID: 77958153815     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2010.05.020     Document Type: Article

References (40)

1. J. Berstel, and Ch. Reutenauer Rational Series and Their Languages EATCS Monograph on Theoretical Computer Science vol. 12 1988 Springer-Verlag
2. G. Birkhoff, and J. von Neumann The logic of quantum mechanics Annals of Mathematics 37 1936 823 843
3. S. Bozapalidis, and O. Louscou-Bozapalidou On the recognizability of fuzzy languages I Fuzzy Sets and Systems 157 2006 2394 2402
4. S. Bozapalidis, and O. Louscou-Bozapalidou On the recognizability of fuzzy languages II Fuzzy Sets and Systems 159 2008 107 113
5. S. Bozapalidis, and O. Louscou-Bozapalidou Fuzzy tree language recognizability Fuzzy Sets and Systems 161 2010 716 734
6. C. Calude, G. Pun, G. Rozenberg, A. Salomaa, Multiset Processing: Mathematical Computer Science and Molecular Computing Points of View Lecture Notes in Computer Science vol. 35 2001 Springer
7. K. Chatterjee, L. Doyen, T. Henzinger, Quantitative languages, in: Proceedings of the 17th International Conference on Computer Science Logic (CSL), Lecture Notes in Computer Science, vol. 5213, 2008, pp. 385-400.
8. K. Chatterjee, L. Doyen, T. Henzinger, Alternating weighted automata, in: Proceedings of the 17th International Symposium on Fundamentals of Computation Theory (FCT), Lecture Notes in Computer Science, vol. 5699, 2009, pp. 3-13.
9. K. Chatterjee, L. Doyen, T. Henzinger, Expressiveness and closure properties for quantitative languages, in: Proceedings of LICS 2009: Logic in Computer Science, IEEE Computer Society Press, 2009, pp. 199-208.
10. M. Droste, W. Kuich, H. Vogler, Handbook of Weighted Automata, Monographs in Theoretical Computer Science An EATCS Series 2009 Springer-Verlag
11. M. Droste, T. Stüber, and H. Vogler Weighted finite automata over strong bimonoids Information Sciences 180 2010 156 166
12. M. Droste, H. Vogler, Kleene and Büchi results for weighted automata and multi-valued logics over arbitrary bounded lattices, in: Proceedings of the 14th International Conference on Developments in Language Theory (DLT), Lecture Notes in Computer Science, vol. 6224, 2010, pp. 160-172.
13. S. Eilenberg Automata, Languages, and Machines - Volume A Pure and Applied Mathematics vol. 59 1974 Academic Press
14. J.A. Goguen, J.W. Thatcher, E.G. Wagner, and J.B. Wright Initial algebra semantics and continuous algebras Journal of the ACM 24 1977 68 95
15. G. Grätzer General Lattice Theory second ed. 1979 Birkhäuser Verlag
16. J.M. Howie Fundamentals of Semigroup Theory 1995 Clarendon Press Oxford
17. J. Ignjatović, and M. Ćirić Formal power series and regular operations on fuzzy languages Information Sciences 180 2010 1104 1120
18. J. Ignjatović, M. Ćirić, and S. Bogdanović Determinization of fuzzy automata with membership values in complete residuated lattices Information Sciences 178 2008 164 180
19. J. Ignjatović, M. Ćirić, S. Bogdanović, and T. Petković Myhill-Nerode type theory for fuzzy languages and automata Fuzzy Sets and Systems 161 2010 1288 1324
20. E.P. Klement, R. Mesiar, and E. Pap Triangular Norms 2000 Kluwer
21. G.J. Klir, and B. Yuan Fuzzy Sets and Fuzzy Logic, Theory and Application 1995 Prentice-Hall Englevood Cliffs, NJ
22. K.V. Krishna, Near-Semirings: Theory and Applications, Ph.D. Thesis, IIT Delhi, India, 2005.
23. W. Kuich, and A. Salomaa Semirings, Automata, Languages, EATCS Monographs in Theoretical Computer Science vol. 5 1986 Springer-Verlag
24. T. Lengauer, D. Theune, Unstructured path problems and the making of semirings, in: Algorithms and Data Structures, Proceedings WADS91, Ottawa, Canada, Lecture Notes in Computer Science, vol. 519, 1991, pp. 189-200.
25. Y.M. Li, Finite automata based on quantum logic and their determinization, CoRR abs/0712.4341, 2007.
26. Y.M. Li Finite automata based on quantum logic and monadic second-order quantum logic Science China Information Sciences 53 1 2010 101 114
27. Y.M. Li, and W. Pedrycz Fuzzy finite automata and fuzzy regular expressions with membership values in lattice ordered monoids Fuzzy Sets and Systems 156 2005 68 92
28. M. Mohri Minimization algorithms for sequential transducers Theoretical Computer Science 234 2000 177 201
29. D. Radovanović, Weighted tree automata over strong bimonoids, Novi Sad Journal of Mathematics, in press.
30. J. Sakarovitch Éléments de Théorie des Automates 2003 Vuibert
31. A. Salomaa, and M. Soittola Automata-Theoretic Aspects of Formal Power Series Texts and Monographs in Computer Science 1978 Springer-Verlag
32. A. Syropoulos, Mathematics of multisets, in: C. Calude, G. Pun, G. Rozenberg, A. Salomaa (Eds.), Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View, Lecture Notes in Computer Science, vol. 2235, 2001, pp. 347-358.
33. D.W. Qiu Automata theory based on quantum logic: some characterizations Information and Computation 190 2004 179 195
34. D.W. Qiu Automata theory based on quantum logic: reversibilities and pushdown automata Theoretical Computer Science 386 2007 38 56
35. H. Seidl Finite tree automata with cost functions Theoretical Computer Science 126 1994 113 142
36. W.G. van Hoorn, and B. van Oozelaa Fundamental notions in the theory of seminearrings Compositio Mathematica 18 1967 65 78
37. W. Wechler The Concept of Fuzziness in Automata and Language Theory fifth ed. Studien zur Algebra und ihre Anwendungen 1978 Akademie-Verlag Berlin
38. M.S. Ying Automata theory based on quantum logic (I) International Journal of Theoretical Physics 39 2000 985 995
39. M.S. Ying Automata theory based on quantum logic (II) International Journal of Theoretical Physics 39 2000 2545 2557
40. M.S. Ying A theory of computation based on quantum logic (I) Theoretical Computer Science 344 2005 134 207