Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\) (Q2452755)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\) |
scientific article |
Statements
Transformation of a language \(L^\ast\) specification of an FSM into an automata equivalent specification in the language \(L\) (English)
0 references
5 June 2014
0 references
specification language \(L^\ast\)
0 references
\(\exists\)-formula
0 references
two-sided superword
0 references
\(\Sigma\)-automaton
0 references
elimination of quantifiers
0 references
automata equivalence of specifications
0 references
0 references
0 references
0 references
