Detecting fictitious states in a \(\Sigma \)-automaton synthesized from its specification in the language LP (Q2287411)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Detecting fictitious states in a \(\Sigma \)-automaton synthesized from its specification in the language LP |
scientific article |
Statements
Detecting fictitious states in a \(\Sigma \)-automaton synthesized from its specification in the language LP (English)
0 references
20 January 2020
0 references
\( \Sigma \)-automaton
0 references
fictitious state
0 references
initial strongly connected subautomaton
0 references
normal form
0 references
\(-\omega \)-regular set
0 references
basic cycle
0 references
0 references
0 references
0 references
0 references
