STRUKTUR KOALJABAR UNIVERSAL DALAM SISTEM STATE-BASED

  • Henry W. M. Patty Jurusan Matematika FMIPA Universitas Pattimura
Keywords: koaljabar, sistem state-based, kotak hitam, automata, penerima

Abstract

Konsep koaljabar universal yang merupakan dualitas dari aljabar dapat dipandang sebagai suatu teori dalam sistem state based. Dalam kotak hitam (black boxes), automata dan struktur Kripke yang merupakan contoh sistem state-based, struktur koaljabar merupakan penggabungan dua pemetaan yang membawa suatu state s ke pasangan elemen dari hasil kali tensor dua himpunan.

Downloads

Download data is not yet available.

References

[1] Denecke K., Wismath, S.L.,2009, Universal Algebra and Coalgebra, World Scientific. New York
[2] Gumm, H.P., 2009, Universal Coalgebras and Their Logics, The Arabian Journal for Sciene
and Engineering (AJSE), Volume I, p. 105-130 [3] Jacobs, B, 2005, Introduction to Coalgebra Towards Mathematics of States and Observations, Institute for Computing and Information Sciences, Radbound University Nijmegen, Netherlands
[4] Rutten, J., 2000, Universal Coalgebra A Theory of System Theoritical Computing Science, p 249, Elsevier
[5] Kupke, C., Kurz, A., and Pattinson, D., 2004, Algebraic Semantic for Coalgebraic Model Logic, Electronic Notes in Theoritical Computer Science, p 106, Elsevier
[6] Hasuo, L., Jacobs, B., and Sokolova, A., 2007, Generic Trace Semantic via Coinduction, Logical Methods in Computer Science 3, Issue A, pp 1-36
[7] Hansen, H.,H., and Ruten, J., 2014, Stream and Coalgebra, Radbound University Nijmegen & CWI Amsterdam
Published
2018-01-31
How to Cite
[1]
H. Patty, “STRUKTUR KOALJABAR UNIVERSAL DALAM SISTEM STATE-BASED”, BAREKENG, vol. 8, no. 1, pp. 7-16, Jan. 2018.

Most read articles by the same author(s)