Matches in SemOpenAlex for { <https://semopenalex.org/work/W108702441> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W108702441 endingPage "278" @default.
- W108702441 startingPage "275" @default.
- W108702441 abstract "This is a survey about a collection of results about a (double) hierarchy of classes of regular languages, which occurs in a natural fashion in a number of contexts. One of these occurrences is given by an alternated sequence of deterministic and co-deterministic closure operations, starting with the piecewise testable languages. Since these closure operations preserve varieties of languages, this defines a hierarchy of varieties, and through Eilenberg’s variety theorem, a hierarchy of pseudo-varieties (classes of finite monoids that are defined by pesudo-identities). The point of this excursion through algebra is that it provides reasonably simple decision algorithms for the membership problem in the corresponding varieties of languages. Another interesting point is that the hierarchy of pseudo-varieties bears a formal resemblance with another hierarchy, the hierarchy of varieties of idempotent monoids, which was much studied in the 1970s and 1980s and is by now well understood. This resemblance provides keys to a combinatorial characterization of the different levels of our hierarchies, which turn out to be closely related with the so-called rankers, a specification mechanism which was introduced to investigate the two-variable fragment of the first-order theory of the linear order. And indeed the union of the varieties of languages which we consider coincides with the languages that can be defined in that fragment. Moreover, the quantifier alternation hierarchy within that logical fragment is exactly captured by our hierarchy of languages, thus establishing the decidability of the alternation hierarchy. There are other combinatorial and algebraic approaches of the same logical hierarchy, and one recently introduced by Krebs and Straubing also establishes decidability. Yet the algebraic operations involved are seemingly very different, an intriguing problem…" @default.
- W108702441 created "2016-06-24" @default.
- W108702441 creator A5043381718 @default.
- W108702441 date "2014-01-01" @default.
- W108702441 modified "2023-09-23" @default.
- W108702441 title "From Algebra to Logic: There and Back Again The Story of a Hierarchy" @default.
- W108702441 cites W1494501847 @default.
- W108702441 cites W1518573520 @default.
- W108702441 cites W1521674074 @default.
- W108702441 cites W1533648993 @default.
- W108702441 cites W1890071610 @default.
- W108702441 cites W200063938 @default.
- W108702441 cites W2079162006 @default.
- W108702441 cites W2082924962 @default.
- W108702441 cites W2085895990 @default.
- W108702441 cites W2095131801 @default.
- W108702441 cites W2113769955 @default.
- W108702441 cites W2241575141 @default.
- W108702441 cites W2776959647 @default.
- W108702441 cites W3098983447 @default.
- W108702441 cites W3105177756 @default.
- W108702441 doi "https://doi.org/10.1007/978-3-319-09698-8_24" @default.
- W108702441 hasPublicationYear "2014" @default.
- W108702441 type Work @default.
- W108702441 sameAs 108702441 @default.
- W108702441 citedByCount "0" @default.
- W108702441 crossrefType "book-chapter" @default.
- W108702441 hasAuthorship W108702441A5043381718 @default.
- W108702441 hasBestOaLocation W1087024412 @default.
- W108702441 hasConcept C112505250 @default.
- W108702441 hasConcept C11413529 @default.
- W108702441 hasConcept C118615104 @default.
- W108702441 hasConcept C136119220 @default.
- W108702441 hasConcept C138885662 @default.
- W108702441 hasConcept C146072743 @default.
- W108702441 hasConcept C146834321 @default.
- W108702441 hasConcept C153269930 @default.
- W108702441 hasConcept C162324750 @default.
- W108702441 hasConcept C176053320 @default.
- W108702441 hasConcept C202444582 @default.
- W108702441 hasConcept C26826806 @default.
- W108702441 hasConcept C2776235265 @default.
- W108702441 hasConcept C31170391 @default.
- W108702441 hasConcept C33923547 @default.
- W108702441 hasConcept C34447519 @default.
- W108702441 hasConcept C41008148 @default.
- W108702441 hasConcept C41895202 @default.
- W108702441 hasConcept C42475967 @default.
- W108702441 hasConcept C52370388 @default.
- W108702441 hasConcept C80444323 @default.
- W108702441 hasConcept C87345402 @default.
- W108702441 hasConceptScore W108702441C112505250 @default.
- W108702441 hasConceptScore W108702441C11413529 @default.
- W108702441 hasConceptScore W108702441C118615104 @default.
- W108702441 hasConceptScore W108702441C136119220 @default.
- W108702441 hasConceptScore W108702441C138885662 @default.
- W108702441 hasConceptScore W108702441C146072743 @default.
- W108702441 hasConceptScore W108702441C146834321 @default.
- W108702441 hasConceptScore W108702441C153269930 @default.
- W108702441 hasConceptScore W108702441C162324750 @default.
- W108702441 hasConceptScore W108702441C176053320 @default.
- W108702441 hasConceptScore W108702441C202444582 @default.
- W108702441 hasConceptScore W108702441C26826806 @default.
- W108702441 hasConceptScore W108702441C2776235265 @default.
- W108702441 hasConceptScore W108702441C31170391 @default.
- W108702441 hasConceptScore W108702441C33923547 @default.
- W108702441 hasConceptScore W108702441C34447519 @default.
- W108702441 hasConceptScore W108702441C41008148 @default.
- W108702441 hasConceptScore W108702441C41895202 @default.
- W108702441 hasConceptScore W108702441C42475967 @default.
- W108702441 hasConceptScore W108702441C52370388 @default.
- W108702441 hasConceptScore W108702441C80444323 @default.
- W108702441 hasConceptScore W108702441C87345402 @default.
- W108702441 hasLocation W1087024411 @default.
- W108702441 hasLocation W1087024412 @default.
- W108702441 hasLocation W1087024413 @default.
- W108702441 hasLocation W1087024414 @default.
- W108702441 hasLocation W1087024415 @default.
- W108702441 hasLocation W1087024416 @default.
- W108702441 hasOpenAccess W108702441 @default.
- W108702441 hasPrimaryLocation W1087024411 @default.
- W108702441 hasRelatedWork W108702441 @default.
- W108702441 hasRelatedWork W1596626150 @default.
- W108702441 hasRelatedWork W2241575141 @default.
- W108702441 hasRelatedWork W2743761496 @default.
- W108702441 hasRelatedWork W2964382522 @default.
- W108702441 hasRelatedWork W3049285863 @default.
- W108702441 hasRelatedWork W3125214380 @default.
- W108702441 hasRelatedWork W4205118740 @default.
- W108702441 hasRelatedWork W4313201576 @default.
- W108702441 hasRelatedWork W4384111934 @default.
- W108702441 isParatext "false" @default.
- W108702441 isRetracted "false" @default.
- W108702441 magId "108702441" @default.
- W108702441 workType "book-chapter" @default.