Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Journal of Applied Mathematics and Computational Mechanics

1 2016

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: koalgebra

Sortuj według:

Ogranicz wyniki do:

Some properties of coalgebras and their role in computer science

Steingartner W., Radakovic D., Valkosak F., Macko P.

Journal of Applied Mathematics and Computational Mechanics

2016

Vol. 15, nr 4

145-156

This paper introduces basic theoretical knowledge of coalgebras in computer science. Coalgebras are, specifically in category theory, structures defined according to an endofunctor. For both algebra and coalgebra, a functor is a convenient and general way of defining a signature. We present practical usage of the coalgebras in an example. We observe a behavior of a simple Sequencer developed in SLGeometry framework. We model its behavior with the simple program written in Python, and we describe its behavior within coalgebra of endofunctor. The computation of the values stored in internal states is performed coinductively. Our approach can be used in the teaching process of formal methods for young software engineers.