Star-freeness, first-order definability and aperiodicity of structured context-free languages (Q2037942)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Star-freeness, first-order definability and aperiodicity of structured context-free languages |
scientific article; zbMATH DE number 7369988
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Star-freeness, first-order definability and aperiodicity of structured context-free languages |
scientific article; zbMATH DE number 7369988 |
Statements
Star-freeness, first-order definability and aperiodicity of structured context-free languages (English)
0 references
8 July 2021
0 references
operator precedence languages
0 references
first-order logic
0 references
monadic second-order logic
0 references
star-free languages
0 references
aperiodic languages
0 references
input-driven languages
0 references
visibly-pushdown languages
0 references
