Operators associated with lattice-valued multiset finite automata
The purpose of this work is to introduce different operators related to A-valued multiset finite automata (LMFA), where A is complete residuated lattice. Specially, we introduce (A-valued) source and (A-valued) successor operators associated with LMFA and investigate their properties. Furthermore, w...
Gespeichert in:
Hauptverfasser: | , , , |
---|---|
Format: | Tagungsbericht |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | The purpose of this work is to introduce different operators related to A-valued multiset finite automata (LMFA), where A is complete residuated lattice. Specially, we introduce (A-valued) source and (A-valued) successor operators associated with LMFA and investigate their properties. Furthermore, we characterize the A-valued subsystems and A-valued operators under a homomorphism. |
---|---|
ISSN: | 0094-243X 1551-7616 |
DOI: | 10.1063/5.0139325 |