Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization (Q2944566)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization |
scientific article |
Statements
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization (English)
0 references
2 September 2015
0 references
operator precedence
0 references
visibly pushdown languages
0 references
monadic second-order logic
0 references
\(\omega\)-languages
0 references
0 references
0 references