STRUKTUR KOALJABAR UNIVERSAL DALAM SISTEM STATE-BASED
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 su...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universitas Pattimura
2014-03-01
|
| Series: | Barekeng |
| Subjects: | |
| Online Access: | https://ojs3.unpatti.ac.id/index.php/barekeng/article/view/258 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|---|
| ISSN: | 1978-7227 2615-3017 |