From LP formulas of the form F(T) to k -ω-regular expressions
Gespeichert in:
| Datum: | 2020 |
|---|---|
| 1. Verfasser: | A. N. Chebotarev |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
2020
|
| Schriftenreihe: | Cybernetics and Systems Analysis |
| Online Zugang: | http://jnas.nbuv.gov.ua/article/UJRN-0001152214 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASÄhnliche Einträge
-
Intersection of ω-regular expressions
von: A. M. Chebotarov
Veröffentlicht: (2021) -
Constructing a -ω-regular expression specified by an elementary extensions graph
von: A. M. Chebotarov
Veröffentlicht: (2022) -
Detecting fictitious states in a Σ-automaton synthesized from the specification in the language LP
von: A. N. Chebotarev
Veröffentlicht: (2019) -
Synthesis of Σ-automata specified in the first-order logical languages LP and LF
von: A. N. Chebotarev
Veröffentlicht: (2018) -
Problems of synthesis of Σ-automata specified in languages LP and LF of first order logic
von: A. N. Chebotarev
Veröffentlicht: (2017)