SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2540589738> ?p ?o ?g. }

Showing items 1 to 100 of ±101 with 100 items per page.

W2540589738 startingPage "13" @default.
W2540589738 abstract "We propose a new definition of regular expressions for describing languages of omega-words, called infinity-regular expressions. These expressions are obtained by adding to the standard regular expression on finite words an operator infinity that acts similar to the Kleene-star but can be iterated finitely or infinitely often (as opposed to the omega-operator from standard omega-regular expressions, which has to be iterated infinitely often). We show that standard constructions between automata and regular expressions for finite words can smoothly be adapted to infinite words in this setting: We extend the Glushkov construction yielding a simple translation of infinity-regular expressions into parity automata, and we show how to translate parity automata into infinity-regular expressions by the classical state elimination technique, where in both cases the nesting of the * and the infinity operators corresponds to the priority range used in the parity automaton. We also briefly discuss the concept of deterministic expressions that directly transfers from standard regular expressions to infinity-regular expressions." @default.
W2540589738 created "2016-11-04" @default.
W2540589738 creator A5021229064 @default.
W2540589738 creator A5090691161 @default.
W2540589738 date "2016-01-01" @default.
W2540589738 modified "2023-09-25" @default.
W2540589738 title "Transformation Between Regular Expressions and omega-Automata." @default.
W2540589738 doi "https://doi.org/10.4230/lipics.mfcs.2016.88" @default.
W2540589738 hasPublicationYear "2016" @default.
W2540589738 type Work @default.
W2540589738 sameAs 2540589738 @default.
W2540589738 citedByCount "2" @default.
W2540589738 countsByYear W25405897382019 @default.
W2540589738 countsByYear W25405897382021 @default.
W2540589738 crossrefType "proceedings-article" @default.
W2540589738 hasAuthorship W2540589738A5021229064 @default.
W2540589738 hasAuthorship W2540589738A5090691161 @default.
W2540589738 hasConcept C104317684 @default.
W2540589738 hasConcept C109214941 @default.
W2540589738 hasConcept C111472728 @default.
W2540589738 hasConcept C112505250 @default.
W2540589738 hasConcept C114614502 @default.
W2540589738 hasConcept C116248031 @default.
W2540589738 hasConcept C118615104 @default.
W2540589738 hasConcept C121329065 @default.
W2540589738 hasConcept C121332964 @default.
W2540589738 hasConcept C134306372 @default.
W2540589738 hasConcept C138885662 @default.
W2540589738 hasConcept C140479938 @default.
W2540589738 hasConcept C158008952 @default.
W2540589738 hasConcept C158448853 @default.
W2540589738 hasConcept C17020691 @default.
W2540589738 hasConcept C185592680 @default.
W2540589738 hasConcept C199360897 @default.
W2540589738 hasConcept C2777151079 @default.
W2540589738 hasConcept C2779557605 @default.
W2540589738 hasConcept C2780586882 @default.
W2540589738 hasConcept C33923547 @default.
W2540589738 hasConcept C41008148 @default.
W2540589738 hasConcept C52370388 @default.
W2540589738 hasConcept C55493867 @default.
W2540589738 hasConcept C62520636 @default.
W2540589738 hasConcept C7321624 @default.
W2540589738 hasConcept C80444323 @default.
W2540589738 hasConcept C86339819 @default.
W2540589738 hasConceptScore W2540589738C104317684 @default.
W2540589738 hasConceptScore W2540589738C109214941 @default.
W2540589738 hasConceptScore W2540589738C111472728 @default.
W2540589738 hasConceptScore W2540589738C112505250 @default.
W2540589738 hasConceptScore W2540589738C114614502 @default.
W2540589738 hasConceptScore W2540589738C116248031 @default.
W2540589738 hasConceptScore W2540589738C118615104 @default.
W2540589738 hasConceptScore W2540589738C121329065 @default.
W2540589738 hasConceptScore W2540589738C121332964 @default.
W2540589738 hasConceptScore W2540589738C134306372 @default.
W2540589738 hasConceptScore W2540589738C138885662 @default.
W2540589738 hasConceptScore W2540589738C140479938 @default.
W2540589738 hasConceptScore W2540589738C158008952 @default.
W2540589738 hasConceptScore W2540589738C158448853 @default.
W2540589738 hasConceptScore W2540589738C17020691 @default.
W2540589738 hasConceptScore W2540589738C185592680 @default.
W2540589738 hasConceptScore W2540589738C199360897 @default.
W2540589738 hasConceptScore W2540589738C2777151079 @default.
W2540589738 hasConceptScore W2540589738C2779557605 @default.
W2540589738 hasConceptScore W2540589738C2780586882 @default.
W2540589738 hasConceptScore W2540589738C33923547 @default.
W2540589738 hasConceptScore W2540589738C41008148 @default.
W2540589738 hasConceptScore W2540589738C52370388 @default.
W2540589738 hasConceptScore W2540589738C55493867 @default.
W2540589738 hasConceptScore W2540589738C62520636 @default.
W2540589738 hasConceptScore W2540589738C7321624 @default.
W2540589738 hasConceptScore W2540589738C80444323 @default.
W2540589738 hasConceptScore W2540589738C86339819 @default.
W2540589738 hasLocation W25405897381 @default.
W2540589738 hasOpenAccess W2540589738 @default.
W2540589738 hasPrimaryLocation W25405897381 @default.
W2540589738 hasRelatedWork W1132487926 @default.
W2540589738 hasRelatedWork W1907640525 @default.
W2540589738 hasRelatedWork W2026737442 @default.
W2540589738 hasRelatedWork W2094985106 @default.
W2540589738 hasRelatedWork W2131742729 @default.
W2540589738 hasRelatedWork W2483992842 @default.
W2540589738 hasRelatedWork W2588818085 @default.
W2540589738 hasRelatedWork W2807848642 @default.
W2540589738 hasRelatedWork W2964036194 @default.
W2540589738 hasRelatedWork W2971156240 @default.
W2540589738 hasRelatedWork W3046866808 @default.
W2540589738 hasRelatedWork W3131689092 @default.
W2540589738 hasRelatedWork W3143588635 @default.
W2540589738 hasRelatedWork W34992031 @default.
W2540589738 hasRelatedWork W571907103 @default.
W2540589738 hasRelatedWork W598495120 @default.
W2540589738 hasRelatedWork W601307657 @default.
W2540589738 hasRelatedWork W621285538 @default.
W2540589738 hasRelatedWork W1652094598 @default.
W2540589738 hasRelatedWork W2807940877 @default.
W2540589738 isParatext "false" @default.
W2540589738 isRetracted "false" @default.
W2540589738 magId "2540589738" @default.