Matches in SemOpenAlex for { <https://semopenalex.org/work/W22471969> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W22471969 abstract "We consider ideals and Boolean combinations of ideals. For the regular languages within these classes we give expressively complete automaton models. In addition, we consider general properties of regular ideals and their Boolean combinations. These properties include effective algebraic characterizations and lattice identities. In the main part of this paper we consider the following deterministic one-way automaton models: unions of flip automata, weak automata, and Staiger-Wagner automata. We show that each of these models is expressively complete for regular Boolean combination of right ideals. Right ideals over finite words resemble the open sets in the Cantor topology over infinite words. An omega-regular language is a Boolean combination of open sets if and only if it is recognizable by a deterministic Staiger-Wagner automaton; and our result can be seen as a finitary version of this classical theorem. In addition, we also consider the canonical automaton models for right ideals, prefix-closed languages, and factorial languages. In the last section, we consider a two-way automaton model which is known to be expressively complete for two-variable first-order logic. We show that the above concepts can be adapted to these two-way automata such that the resulting languages are the right ideals (resp. prefix-closed languages, resp. Boolean combinations of right ideals) definable in two-variable first-order logic." @default.
- W22471969 created "2016-06-24" @default.
- W22471969 creator A5055386769 @default.
- W22471969 creator A5069132150 @default.
- W22471969 date "2011-02-24" @default.
- W22471969 modified "2023-09-26" @default.
- W22471969 title "Cantor Topologies for Finite Words" @default.
- W22471969 cites W1521674074 @default.
- W22471969 cites W1566206239 @default.
- W22471969 cites W1640973035 @default.
- W22471969 cites W1817436990 @default.
- W22471969 cites W2042177219 @default.
- W22471969 cites W2059045337 @default.
- W22471969 cites W2065930159 @default.
- W22471969 cites W2079162006 @default.
- W22471969 cites W2092043492 @default.
- W22471969 cites W2122269913 @default.
- W22471969 cites W2139845245 @default.
- W22471969 cites W2152700389 @default.
- W22471969 cites W2168351001 @default.
- W22471969 cites W2318841766 @default.
- W22471969 cites W2395891450 @default.
- W22471969 cites W2914206182 @default.
- W22471969 cites W979433832 @default.
- W22471969 hasPublicationYear "2011" @default.
- W22471969 type Work @default.
- W22471969 sameAs 22471969 @default.
- W22471969 citedByCount "0" @default.
- W22471969 crossrefType "posted-content" @default.
- W22471969 hasAuthorship W22471969A5055386769 @default.
- W22471969 hasAuthorship W22471969A5069132150 @default.
- W22471969 hasConcept C112505250 @default.
- W22471969 hasConcept C11413529 @default.
- W22471969 hasConcept C114614502 @default.
- W22471969 hasConcept C116248031 @default.
- W22471969 hasConcept C118615104 @default.
- W22471969 hasConcept C139423837 @default.
- W22471969 hasConcept C158008952 @default.
- W22471969 hasConcept C165753454 @default.
- W22471969 hasConcept C167822520 @default.
- W22471969 hasConcept C194525867 @default.
- W22471969 hasConcept C33923547 @default.
- W22471969 hasConcept C41008148 @default.
- W22471969 hasConcept C80444323 @default.
- W22471969 hasConceptScore W22471969C112505250 @default.
- W22471969 hasConceptScore W22471969C11413529 @default.
- W22471969 hasConceptScore W22471969C114614502 @default.
- W22471969 hasConceptScore W22471969C116248031 @default.
- W22471969 hasConceptScore W22471969C118615104 @default.
- W22471969 hasConceptScore W22471969C139423837 @default.
- W22471969 hasConceptScore W22471969C158008952 @default.
- W22471969 hasConceptScore W22471969C165753454 @default.
- W22471969 hasConceptScore W22471969C167822520 @default.
- W22471969 hasConceptScore W22471969C194525867 @default.
- W22471969 hasConceptScore W22471969C33923547 @default.
- W22471969 hasConceptScore W22471969C41008148 @default.
- W22471969 hasConceptScore W22471969C80444323 @default.
- W22471969 hasLocation W224719691 @default.
- W22471969 hasOpenAccess W22471969 @default.
- W22471969 hasPrimaryLocation W224719691 @default.
- W22471969 hasRelatedWork W1511995155 @default.
- W22471969 hasRelatedWork W1543548108 @default.
- W22471969 hasRelatedWork W1563255274 @default.
- W22471969 hasRelatedWork W2001897906 @default.
- W22471969 hasRelatedWork W2063230375 @default.
- W22471969 hasRelatedWork W2085888737 @default.
- W22471969 hasRelatedWork W2094818329 @default.
- W22471969 hasRelatedWork W2159640064 @default.
- W22471969 hasRelatedWork W2278693202 @default.
- W22471969 hasRelatedWork W2296179139 @default.
- W22471969 hasRelatedWork W2497575638 @default.
- W22471969 hasRelatedWork W2557440256 @default.
- W22471969 hasRelatedWork W2612243066 @default.
- W22471969 hasRelatedWork W2952491415 @default.
- W22471969 hasRelatedWork W3018291654 @default.
- W22471969 hasRelatedWork W3036165475 @default.
- W22471969 hasRelatedWork W3102247653 @default.
- W22471969 hasRelatedWork W3105604159 @default.
- W22471969 hasRelatedWork W3198705318 @default.
- W22471969 hasRelatedWork W1652094598 @default.
- W22471969 isParatext "false" @default.
- W22471969 isRetracted "false" @default.
- W22471969 magId "22471969" @default.
- W22471969 workType "article" @default.