Finite \(L\)-fuzzy machines. (English) Zbl 1059.68066
Summary: For finite \(L\)-fuzzy machines we develop behaviour, reduction and minimization theory. Here \(L\) stands for \((L, \vee, \wedge,0,1)\), where \(L\) is a totally ordered set with universal bounds 0 and 1 and the operations are join \(\vee\) and meet \(\wedge\). The most essential results include investigating behaviour, equivalence, reduction and minimization problems and their algorithmical decidability.
MSC:
| 68Q45 | Formal languages and automata |
References:
| [1] | J. Adamek, W. Wechler, Minimization of R-fuzzy automata, in: Studien zur Algebra und Ihre Anwendungen, Akademie-Verlag, Berlin, 1976.; J. Adamek, W. Wechler, Minimization of R-fuzzy automata, in: Studien zur Algebra und Ihre Anwendungen, Akademie-Verlag, Berlin, 1976. |
| [2] | Anderson, B. D.; Arbib, M. A.; Manes, E. G., Foundations of System Theory: Finitary and Infinitary Conditions, Lecture Notes in Economics and Mathematical Systems, Vol. 115 (1975), Springer: Springer Berlin, Heidelberg, New York · Zbl 0462.93003 |
| [3] | M.A. Arbib, E.G. Manes, Fuzzy Morphisms in Automata Theory, Lecture Notes in Computer Science, Vol. 25, Springer, Berlin, 1975, pp. 80-86.; M.A. Arbib, E.G. Manes, Fuzzy Morphisms in Automata Theory, Lecture Notes in Computer Science, Vol. 25, Springer, Berlin, 1975, pp. 80-86. · Zbl 0306.18003 |
| [4] | Arbib, M. A.; Manes, E. G., Fuzzy machines in a category, Bull. Austral. Math. Soc., 13, 169-210 (1975) · Zbl 0318.18008 |
| [5] | Arnold, A.; Dicky, A.; Nivat, M., A note about minimal nondeterministic automata, Bull. EATCS, 47, 166-169 (1992) · Zbl 0751.68038 |
| [6] | Bismas, N. N., State minimization of incompletely specified sequential machines, IEEE Trans. Comput., 23, 1, 80-84 (1974) · Zbl 0278.94032 |
| [7] | J. Brunner, W. Wechler, On behaviour of R-fuzzy automata, Proc. 5th Symp. on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, Vol. 45, 1976, pp. 210-215.; J. Brunner, W. Wechler, On behaviour of R-fuzzy automata, Proc. 5th Symp. on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, Vol. 45, 1976, pp. 210-215. · Zbl 0338.94032 |
| [8] | Burkhard, H.-D., Über Experimente an nicht-deterministischen Automaten, Elektron. Inform. Kybernet., 5, 347-376 (1969) · Zbl 0217.59001 |
| [9] | Burkhard, H.-D., Über Experimente an nicht-deterministischen Automaten, Elektron. Inform. Kybernet., 6, 3-14 (1970) · Zbl 0217.59001 |
| [10] | Carlyle, J. W., Reduced forms for stochastic sequential machines, J. Math. Anal. Appl., 7, 2, 167-175 (1963) · Zbl 0281.94038 |
| [11] | M.K. Chirkov, Fundamentals of general finite machines theory (Russian), Izd. Leningradskogo Universiteta, Leningrad, 1975.; M.K. Chirkov, Fundamentals of general finite machines theory (Russian), Izd. Leningradskogo Universiteta, Leningrad, 1975. |
| [12] | M.K. Chirkov, On the minimization of incomplete p-machines (Russian), Bvichislitel’naja technika I vopr. kibernetiki, Leningrad No. 16, 1979, pp. 109-137.; M.K. Chirkov, On the minimization of incomplete p-machines (Russian), Bvichislitel’naja technika I vopr. kibernetiki, Leningrad No. 16, 1979, pp. 109-137. · Zbl 0544.68040 |
| [13] | De Baets, B., Analytical solution methods for fuzzy relational equations, (Dubois, D.; Prade, H., The Series: Fundamentals of Fuzzy Sets. The Series: Fundamentals of Fuzzy Sets, The Handbooks of Fuzzy Sets Series, Vol. 1 (2000), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht), 291-340 · Zbl 0970.03044 |
| [14] | Dien, P. D., On the complexity of the problem of state minimization for incompletely specified sequential automata, Elektron. Inform. Kybernet., 11, 1/2, 3-17 (1975) · Zbl 0306.94038 |
| [15] | D. Dubois, H. Prade (Eds.), Fundamentals of Fuzzy Sets, in: The Handbooks of Fuzzy Sets Series, Vol. 7, Kluwer Academic Publishers, Dordrecht, 2000.; D. Dubois, H. Prade (Eds.), Fundamentals of Fuzzy Sets, in: The Handbooks of Fuzzy Sets Series, Vol. 7, Kluwer Academic Publishers, Dordrecht, 2000. · Zbl 0942.00007 |
| [16] | Eilenberg, Automata, Languages and Machines, Vol. A, Academic Press, New York, 1974.; Eilenberg, Automata, Languages and Machines, Vol. A, Academic Press, New York, 1974. · Zbl 0317.94045 |
| [17] | Even, S., Comments on the minimization of stochastic machines, IEEE Trans. Electron. Comput., EC-14, 4, 634-637 (1965) · Zbl 0146.24801 |
| [18] | Garey, M. R.; Johnson, D. S., Computers and Intractability, A Guide to the Theory of NP-Completeness (1979), Freeman: Freeman San Francisco · Zbl 0411.68039 |
| [19] | A. Kandel, S.C. Lee, Fuzzy Switching and Automata: Theory and Applications, Crane&Russak, 1979.; A. Kandel, S.C. Lee, Fuzzy Switching and Automata: Theory and Applications, Crane&Russak, 1979. · Zbl 0406.94022 |
| [20] | G. Klir, U.H. St. Clair, Bo Yuan, Fuzzy Set Theory Foundations and Applications, Prentice-Hall PRT, Englewood Cliffs, NJ, 1997.; G. Klir, U.H. St. Clair, Bo Yuan, Fuzzy Set Theory Foundations and Applications, Prentice-Hall PRT, Englewood Cliffs, NJ, 1997. · Zbl 0907.04002 |
| [21] | G. Klir, Bo Yuan, Fuzzy Sets and Fuzzy Logic: Theory and Applications, Prentice-Hall PTR, NJ, 1995.; G. Klir, Bo Yuan, Fuzzy Sets and Fuzzy Logic: Theory and Applications, Prentice-Hall PTR, NJ, 1995. · Zbl 0915.03001 |
| [22] | Kuich, W.; Salomaa, A., Semirings, Automata, Languages (1986), Springer: Springer Berlin · Zbl 0582.68002 |
| [23] | Malik, D. S.; Mordeson, J. N., Fuzzy Discrete Structures (2000), Springer: Springer Berlin · Zbl 0966.68098 |
| [24] | Malik, S.; Mordeson, J. N.; Sen, M. K., Minimization of fuzzy finite automata, Inform. Sci., 113, 323-330 (1999) · Zbl 0948.68110 |
| [25] | Meduna, A., Automata and Languages: Theory and Applications (2000), Springer: Springer Berlin |
| [26] | M. Mizumoto, Fuzzy automata and fuzzy grammars, Ph.D. Thesis, Faculty of Engineering Science, Osaka University, Osaka, Japan, 1971.; M. Mizumoto, Fuzzy automata and fuzzy grammars, Ph.D. Thesis, Faculty of Engineering Science, Osaka University, Osaka, Japan, 1971. |
| [27] | Mizumoto, M.; Tanaka, K., Fuzzy-fuzzy automata, Kybernetes, 5, 107-112 (1976) · Zbl 0334.94020 |
| [28] | Mizumoto, M.; Toyoda, J.; Tanaka, K., Some consideration on fuzzy automata, J. Comput. System Sci., 3, 4, 409-422 (1969) · Zbl 0183.29501 |
| [29] | E.F. Moore, Gedanken-experiments of sequential machines, in: Automata Studies, Princeton University Press, Princeton, NJ, 1956, pp. 129-153.; E.F. Moore, Gedanken-experiments of sequential machines, in: Automata Studies, Princeton University Press, Princeton, NJ, 1956, pp. 129-153. |
| [30] | Paz, A., Introduction to Probabilistic Automata (1971), Academic Press: Academic Press New York, London · Zbl 0234.94055 |
| [31] | K. Peeva, On equivalence, reduction and minimization of stochastic automata (Bulgarian English, Russian summary), Godishnik Viss. Uchebn. Zaved. Prilozhna Mat. T.15 book 2, 1979, pp. 49-58.; K. Peeva, On equivalence, reduction and minimization of stochastic automata (Bulgarian English, Russian summary), Godishnik Viss. Uchebn. Zaved. Prilozhna Mat. T.15 book 2, 1979, pp. 49-58. · Zbl 0493.68052 |
| [32] | K. Peeva, A general algebraic approach to equivalence, reduction and minimization of finite automata, Report TI-1/82, Technische Hochschule Darmstadt, Fachbereich Informatik, Darmstadt, 1982.; K. Peeva, A general algebraic approach to equivalence, reduction and minimization of finite automata, Report TI-1/82, Technische Hochschule Darmstadt, Fachbereich Informatik, Darmstadt, 1982. |
| [33] | Peeva, K., Behaviour, reduction and minimization of finite L-automata, Fuzzy Sets and Systems, 28, 2, 171-181 (1988) · Zbl 0663.68069 |
| [34] | K. Peeva, Categories of stochastic and fuzzy acceptors for pattern recognition, in: J. Kacprzyk, A. Straszak (Eds.), Proc. 1st Joint IFSA—EG and EURO-WC Workshop on Progress in Fuzzy Sets in Europe, November 25-27 1986, Warsaw, Polska Akademia Nauk, Warsaw, 1988, pp. 289-298.; K. Peeva, Categories of stochastic and fuzzy acceptors for pattern recognition, in: J. Kacprzyk, A. Straszak (Eds.), Proc. 1st Joint IFSA—EG and EURO-WC Workshop on Progress in Fuzzy Sets in Europe, November 25-27 1986, Warsaw, Polska Akademia Nauk, Warsaw, 1988, pp. 289-298. |
| [35] | Peeva, K., Equivalence, reduction and minimization of finite automata over semirings, Theoret. Comput. Sci., 88, 269-285 (1991) · Zbl 0737.68063 |
| [36] | Peeva, K., Fuzzy linear systems, Fuzzy Sets and Systems, 49, 339-355 (1992) · Zbl 0805.04005 |
| [37] | K. Peeva, Equivalence, reduction and minimization of finite fuzzy automata, in: Preproc. DCAGRS 2000, Descriptional Complexity of Automata, Grammars and Related Structures, Report No. 555, 2000, Department of Computer Science, UWO, Canada.; K. Peeva, Equivalence, reduction and minimization of finite fuzzy automata, in: Preproc. DCAGRS 2000, Descriptional Complexity of Automata, Grammars and Related Structures, Report No. 555, 2000, Department of Computer Science, UWO, Canada. |
| [38] | K. Peeva, B. Deliiska, V. Hristov, Computer code for direct problem resolution in fuzzy relation calculus, in: D. Ivanchev, M. Todorov (Eds.), 27th Summer School Applications of Mathematics in Engineering and Economics, Sozopol, 2001, Heron Press, 2002, pp. 507-515.; K. Peeva, B. Deliiska, V. Hristov, Computer code for direct problem resolution in fuzzy relation calculus, in: D. Ivanchev, M. Todorov (Eds.), 27th Summer School Applications of Mathematics in Engineering and Economics, Sozopol, 2001, Heron Press, 2002, pp. 507-515. |
| [39] | K. Peeva, I. Gueorguieva, J. Kjossev, Fuzzy linear systems for adequate diagnosis and prediction, in: B. Cheshankov, M. Todorov (Eds.), 25th Jubilee Summer School Applications of Mathematics in Engineering and Economics, Sozopol, 1999, Heron Press, 2001, pp. 178-184.; K. Peeva, I. Gueorguieva, J. Kjossev, Fuzzy linear systems for adequate diagnosis and prediction, in: B. Cheshankov, M. Todorov (Eds.), 25th Jubilee Summer School Applications of Mathematics in Engineering and Economics, Sozopol, 1999, Heron Press, 2001, pp. 178-184. |
| [40] | K. Peeva, P. Nedyalkova, Reduction and minimization of fuzzy automata (Bulgarian English, Russian summary), Godishnik Viss. Uchebn. Zaved. Prilozhna Mat t. 17 book. 1, 1981, pp. 29-39.; K. Peeva, P. Nedyalkova, Reduction and minimization of fuzzy automata (Bulgarian English, Russian summary), Godishnik Viss. Uchebn. Zaved. Prilozhna Mat t. 17 book. 1, 1981, pp. 29-39. · Zbl 0508.68033 |
| [41] | Pfleger, C. P., State reduction in incompletely specified finite-state machines, IEEE Trans. Comput., C-22, 12, 1099-1102 (1973) · Zbl 0278.94030 |
| [42] | Przybylo, S., Relations entre les morphismes et l’équivalence des automates indéterminés, Problems Control Inform. Theory, 2, 2, 163-171 (1973) · Zbl 0322.94030 |
| [43] | Rao, C. V.; Bismas, N. N., Minimization of incompletely specified sequential machines, IEEE Trans. Comput., C-24, 11, 1089-1100 (1975) · Zbl 0321.94027 |
| [44] | Sanchez, E., Resolution of composite fuzzy relation equations, Inform. and Control, 30, 38-48 (1976) · Zbl 0326.02048 |
| [45] | Santos, S., Maximin automata, Inform. and Control, 13, 363-377 (1968) · Zbl 0174.03601 |
| [46] | Santos, E. S., Maximin, minimax and composite sequential machines, J. Math. Anal. Appl., 24, 246-259 (1968) · Zbl 0187.28103 |
| [47] | Santos, E. S., On reduction of maxi-min machines, J. Math. Anal. Appl., 40, 60-78 (1972) · Zbl 0245.94041 |
| [48] | Santos, E., Max-product machines, J. Math. Anal. Appl., 37, 677-686 (1972) · Zbl 0245.94040 |
| [49] | Santos, E. S.; Wee, W. G., General formulation of sequential machines, Inform. and Control, 12, 1, 5-10 (1968) · Zbl 0162.02501 |
| [50] | Schwartzman, St., The Words of Mathematics. An Etymological Dictionary of Mathematical Terms Used in English (1994), Mathematical Association of America: Mathematical Association of America Washington · Zbl 0864.00007 |
| [51] | P. Starke, Abstract Automata, Academic Press, New York (1978, 2nd Edition), Birkhauser, Basel, 1998.; P. Starke, Abstract Automata, Academic Press, New York (1978, 2nd Edition), Birkhauser, Basel, 1998. |
| [52] | Topencharov, V.; Peeva, K., Equivalence, reduction and minimization of finite fuzzy automata, J. Math. Anal. Appl., 84, 270-281 (1981) · Zbl 0477.68051 |
| [53] | W. Wechler, R-Fuzzy Automata with a time-variant structure, in: A. Blikle (Ed.), 3rd Symposium on Mathematical Foundations of Computer Science, 1974, Lecture Notes in Computer Science, Vol. 28, Springer, Berlin, 1975, pp. 73-76.; W. Wechler, R-Fuzzy Automata with a time-variant structure, in: A. Blikle (Ed.), 3rd Symposium on Mathematical Foundations of Computer Science, 1974, Lecture Notes in Computer Science, Vol. 28, Springer, Berlin, 1975, pp. 73-76. · Zbl 0313.94024 |
| [54] | Wechler, W., The Concept of Fuzziness in Automata and Language Theory (1978), Akademie-Verlag: Akademie-Verlag Berlin · Zbl 0401.94048 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
