Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300908880> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4300908880 abstract "In the last years renewed investigation of operator precedence languages (OPL) led to discover important properties thereof: OPL are closed with respect to all major operations, are characterized, besides the original grammar family, in terms of an automata family and an MSO logic; furthermore they significantly generalize the well-known visibly pushdown languages (VPL). In another area of research, quantitative models of systems are also greatly in demand. In this paper, we lay the foundation to marry these two research fields. We introduce weighted operator precedence automata and show how they are both strict extensions of OPA and weighted visibly pushdown automata. We prove a Nivat-like result which shows that quantitative OPL can be described by unweighted OPA and very particular weighted OPA. In a Buchi-like theorem, we show that weighted OPA are expressively equivalent to a weighted MSO-logic for OPL." @default.
- W4300908880 created "2022-10-04" @default.
- W4300908880 creator A5002217309 @default.
- W4300908880 creator A5006061936 @default.
- W4300908880 creator A5026097476 @default.
- W4300908880 creator A5052183069 @default.
- W4300908880 date "2017-02-15" @default.
- W4300908880 modified "2023-10-18" @default.
- W4300908880 title "Weighted Operator Precedence Languages" @default.
- W4300908880 doi "https://doi.org/10.48550/arxiv.1702.04597" @default.
- W4300908880 hasPublicationYear "2017" @default.
- W4300908880 type Work @default.
- W4300908880 citedByCount "0" @default.
- W4300908880 crossrefType "posted-content" @default.
- W4300908880 hasAuthorship W4300908880A5002217309 @default.
- W4300908880 hasAuthorship W4300908880A5006061936 @default.
- W4300908880 hasAuthorship W4300908880A5026097476 @default.
- W4300908880 hasAuthorship W4300908880A5052183069 @default.
- W4300908880 hasBestOaLocation W43009088801 @default.
- W4300908880 hasConcept C104317684 @default.
- W4300908880 hasConcept C112505250 @default.
- W4300908880 hasConcept C11413529 @default.
- W4300908880 hasConcept C118615104 @default.
- W4300908880 hasConcept C136119220 @default.
- W4300908880 hasConcept C138885662 @default.
- W4300908880 hasConcept C154945302 @default.
- W4300908880 hasConcept C158448853 @default.
- W4300908880 hasConcept C17020691 @default.
- W4300908880 hasConcept C185592680 @default.
- W4300908880 hasConcept C199360897 @default.
- W4300908880 hasConcept C202444582 @default.
- W4300908880 hasConcept C26022165 @default.
- W4300908880 hasConcept C33923547 @default.
- W4300908880 hasConcept C41008148 @default.
- W4300908880 hasConcept C41895202 @default.
- W4300908880 hasConcept C55493867 @default.
- W4300908880 hasConcept C77944639 @default.
- W4300908880 hasConcept C80444323 @default.
- W4300908880 hasConcept C86339819 @default.
- W4300908880 hasConceptScore W4300908880C104317684 @default.
- W4300908880 hasConceptScore W4300908880C112505250 @default.
- W4300908880 hasConceptScore W4300908880C11413529 @default.
- W4300908880 hasConceptScore W4300908880C118615104 @default.
- W4300908880 hasConceptScore W4300908880C136119220 @default.
- W4300908880 hasConceptScore W4300908880C138885662 @default.
- W4300908880 hasConceptScore W4300908880C154945302 @default.
- W4300908880 hasConceptScore W4300908880C158448853 @default.
- W4300908880 hasConceptScore W4300908880C17020691 @default.
- W4300908880 hasConceptScore W4300908880C185592680 @default.
- W4300908880 hasConceptScore W4300908880C199360897 @default.
- W4300908880 hasConceptScore W4300908880C202444582 @default.
- W4300908880 hasConceptScore W4300908880C26022165 @default.
- W4300908880 hasConceptScore W4300908880C33923547 @default.
- W4300908880 hasConceptScore W4300908880C41008148 @default.
- W4300908880 hasConceptScore W4300908880C41895202 @default.
- W4300908880 hasConceptScore W4300908880C55493867 @default.
- W4300908880 hasConceptScore W4300908880C77944639 @default.
- W4300908880 hasConceptScore W4300908880C80444323 @default.
- W4300908880 hasConceptScore W4300908880C86339819 @default.
- W4300908880 hasLocation W43009088801 @default.
- W4300908880 hasLocation W43009088802 @default.
- W4300908880 hasLocation W43009088803 @default.
- W4300908880 hasOpenAccess W4300908880 @default.
- W4300908880 hasPrimaryLocation W43009088801 @default.
- W4300908880 hasRelatedWork W129748363 @default.
- W4300908880 hasRelatedWork W1490722843 @default.
- W4300908880 hasRelatedWork W1538417395 @default.
- W4300908880 hasRelatedWork W1801993675 @default.
- W4300908880 hasRelatedWork W2041168146 @default.
- W4300908880 hasRelatedWork W2074472454 @default.
- W4300908880 hasRelatedWork W2355288082 @default.
- W4300908880 hasRelatedWork W3147158980 @default.
- W4300908880 hasRelatedWork W62903840 @default.
- W4300908880 hasRelatedWork W2462343658 @default.
- W4300908880 isParatext "false" @default.
- W4300908880 isRetracted "false" @default.
- W4300908880 workType "article" @default.