Crisp-determinization of weighted tree automata over strong bimonoids
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Fachzeitschrift | Discrete Mathematics and Theoretical Computer Science |
| Jahrgang | 23 |
| Ausgabenummer | 1 |
| Publikationsstatus | Veröffentlicht - 2021 |
| Peer-Review-Status | Ja |
Schlagworte
Schlagwörter
- weighted tree automata, strong bimonoids, crisp-determinization, determinization