Abstract
We consider weighted finite transition systems (WTS) with weights from naturally ordered semirings. Such semirings comprise the natural numbers with ordinary addition and multiplication as well as distributive lattices and the max -plus-semiring. For these systems we explore the concepts of covering and cascade product. We show a cascade decomposition result for such WTS using special partitions of the state set of the system. This extends a classical result of automata theory to the weighted setting.
This research was partially supported by the DAAD-Serbia project “Weighted Automata over Semirings and Lattices” and the DFG-project “Gewichtete Automaten und gewichtete Logiken für diskrete Strukturen”, DR 202 / 11-1., The research of the last two authors is supported by Serbian Ministry of Science and Tech. Develop., Grant No. 174013.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Béal, M.-P., Lombardy, S., Sakarovitch, J.: On the Equivalence of ℤ-Automata. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 397–409. Springer, Heidelberg (2005)
Béal, M.-P., Lombardy, S., Sakarovitch, J.: Conjugacy and Equivalence of Weighted Automata and Functional Transducers. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds.) CSR 2006. LNCS, vol. 3967, pp. 58–69. Springer, Heidelberg (2006)
Bloom, S.L., Ésik, Z.: Iteration Theories: The Equational Logic of Iterative Processes. Springer, New York, Inc. (1993)
Buchholz, P.: Bisimulation relations for weighted automata. Theoretical Computer Science 393, 109–123 (2008)
Cho, S.J., Kim, J.-G., Lee, W.-S.: Decompositions of T-generalized transformation semigroups. Fuzzy Sets Syst. 122(3), 527–537 (2001)
Colcombet, T.: The Theory of Stabilisation Monoids and Regular Cost Functions. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009. LNCS, vol. 5556, pp. 139–150. Springer, Heidelberg (2009)
Dömösi, P., Nehaniv, C.L.: Algebraic Theory of Automata Networks. In: SIAM Monographs on Discrete Mathematics and Applications, vol. 11, Society for Industrial and Applied Mathematics, Philadelphia (2004)
Droste, M., Kuich, W., Vogler, H. (eds.): Handbook of Weighted Automata. EATCS Monographs in Theoretical Computer Science. Springer (2009)
Droste, M., Meinecke, I., Šešelja, B., Tepavčević, A.: A Cascade Decomposition of Weighted Finite Transition Systems. In: Freund, R., Holzer, M., Mereghetti, C., Otto, F., Pelano, B. (eds.) Third Workshop on Non-Classical Models of Automata and Applications (NCMA 2011), pp. 137–152. Österreichische Computer Gesellschaft (2011). Short abstract in: Mauri, G., Leporati, A. (eds.) DLT 2011. LNCS, vol. 6795, pp. 472–473. Springer, Heidelberg (2011)
Eilenberg, S.: Automata, Languages, and Machines, vol. A. Academic Press (1974)
Eilenberg, S.: Automata, Languages, and Machines, vol. B. Academic Press (1976)
Ésik, Z.: A proof of the Krohn-Rhodes decomposition theorem. Theoretical Computer Science 234, 287–300 (2000)
Ginzburg, A.: Algebraic Theory of Automata. Academic Press (1968)
Holcombe, W.M.L.: Algebraic Automata Theory. Cambridge University Press (1982)
Kim, Y.-H., Kim, J.-G., Cho, S.-J.: Products of T-generalized state machines and T-generalized transformation semigroups. Fuzzy Sets Syst. 93, 87–97 (1998)
Kleene, S.: Representations of events in nerve nets and finite automata. In: Shannon, C., McCarthy, J. (eds.) Automata Studies, pp. 3–42. Princeton University Press (1956)
Krishnan, P.: Decomposing Controllers into Non-conflicting Distributed Controllers. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 511–526. Springer, Heidelberg (2005)
Krohn, K., Rhodes, J.L.: Algebraic theory of machines, I. Prime decomposition theorem for finite semigroups and machines. Trans. Amer. Math. Soc. 116, 450–464 (1965)
Kuich, W., Salomaa, A.: Semirings, Automata, Languages. In: EATCS Monographs on Theoret. Comp. Sc., vol. 5. Springer (1986)
Maler, O.: A decomposition theorem for probabilistic transition systems. Theoretical Computer Science 145, 391–396 (1995)
Malik, D.S., Mordeson, J.N., Sen, M.K.: Admissible partitions of fuzzy finite state machines. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5(6), 723–732 (1997)
Malik, D.S., Mordeson, J.N., Sen, M.K.: Products of fuzzy finite state machines. Fuzzy Sets Syst. 92, 95–102 (1997)
Mordeson, J.N., Malik, D.S.: Fuzzy Automata and Languages – Theory and Applications. Computational Mathematics Series. Chapman & Hall/CRC (2002)
Reisz, R.D.: Decomposition theorems for probabilistic automata over infinite objects. Informatica, Lith. Acad. Sci. 10(4), 427–440 (1999)
Rhodes, J.L.: Applications of Automata Theory and Algebra: Via the Mathematical Theory of Complexity to Biology, Physics, Psychology, Philosophy, and Games. World Scientific Publishing Co., Inc. (2009)
Rhodes, J.L., Steinberg, B.: The q-Theory of Finite Semigroups. Springer (2008)
Schützenberger, M.: On the definition of a family of automata. Information and Control 4, 245–270 (1961)
Straubing, H.: Finite Automata, Formal Logic, and Circuit Complexity. Birkhäuser, Basel (1994)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2012 Springer-Verlag GmbH Berlin Heidelberg
About this chapter
Cite this chapter
Droste, M., Meinecke, I., Šešelja, B., Tepavčević, A. (2012). Coverings and Decompositions of Semiring-Weighted Finite Transition Systems. In: Fuzzy Semirings with Applications to Automata Theory. Studies in Fuzziness and Soft Computing, vol 278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27641-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-27641-5_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27640-8
Online ISBN: 978-3-642-27641-5
eBook Packages: EngineeringEngineering (R0)