Abstract
The usual approach to the synthesis of algorithms for the solution of problems in combinatorial mathematics consists of two steps.
1 — Description: the problem is embedded in a general structure which is rich enough to permit a mathematical modelling of the problem.
2 — Solution: the problem is solved by means of techniques "as simple as possible", with respect to some given notion of complexity.
We give a formalization of this approach in the framework of category theory, which is general enough to get rid of unessential details. In particular such a framework will be provided by the category of ordered complete Σ-algebras, and we will describe the relation between description and solution by means of a variant of so called "Mezei-Wright like results" [10], relating the concept of least fixed point to that of a suitable natural transformation between functors.
Preview
Unable to display preview. Download preview PDF.
References
Birkhoff,G., Lattice theory, Am.Math. Soc. Coll. pub.25, New York
Arbib,M.A., Manes,E.G., Basic concepts of category theory applicable to computation and control, Proc. First Internat. Symp., San Francisco (1974)
MacLane, S., Categories for the working mathematician, Springer Verlag, New York-Berlin (1971)
Bertoni,A., Equations of formal power series over non commutative semirings, Proc. MFCS Symp., High Tatras (1973)
Goguen, J.A., Thatcher,J.W., Wagner,E.G., Wright,J.B., Factorizations, congruences, decomposition of automata and systems, IBM Research Report RC 4934 (1974)
Chomsky, N., Schuetzenberger, M.P., The algebraic theory of context free languages, Computation, Programming and Formal Systems, North Holland, Amsterdam (1963)
Riordan, J., An introduction to combinatorial analysis, Wiley and Sons, New York-Toronto (1958)
Boole, G., Finite differences, Dover Publications, New York (1960)
Nivat,M., On the interpretation of recursive polyadic program schemata, Ist. di Alta Matematica, Symposia Matematica Vol XV, Bologna (1975)
Mezei, J., Wright, J.B., Algebraic automata and context free sets, Information and Control, 11 (1967), 3–29
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bertoni, A., Mauri, G., Torelli, M. (1977). An algebraic approach to problem solution and problem semantics. In: Gruska, J. (eds) Mathematical Foundations of Computer Science 1977. MFCS 1977. Lecture Notes in Computer Science, vol 53. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08353-7_143
Download citation
DOI: https://doi.org/10.1007/3-540-08353-7_143
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08353-5
Online ISBN: 978-3-540-37285-1
eBook Packages: Springer Book Archive