Matches in SemOpenAlex for { <https://semopenalex.org/work/W4296548954> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4296548954 abstract "In (Van Benthem, 1991) it is proved that all permutation closures of context-free languages can be generated by grammars over the Lambek calculus with the permutation rule (LP-grammars); however, to our best knowledge, it is not established whether the converse holds or not. In this paper, we show that LP-grammars are equivalent to linearly-restricted branching vector addition systems with states and with additional memory (shortly, lBVASSAM), which are modified branching vector addition systems with states. Then an example of such an lBVASSAM is presented, which generates a non-semilinear set of vectors; this yields that LP-grammars generate more than permutation closures of context-free languages. Moreover, equivalence of LP-grammars and lBVASSAM allows us to present a normal form for LP-grammars and, as a consequence, prove that LP-grammars are equivalent to LP-grammars without product. Finally, we prove that the class of languages generated by LP-grammars is closed under intersection." @default.
- W4296548954 created "2022-09-21" @default.
- W4296548954 creator A5017810424 @default.
- W4296548954 date "2022-09-17" @default.
- W4296548954 modified "2023-10-16" @default.
- W4296548954 title "Grammars over the Lambek Calculus with Permutation: Recognizing Power and Connection to Branching Vector Addition Systems with States" @default.
- W4296548954 doi "https://doi.org/10.48550/arxiv.2209.08415" @default.
- W4296548954 hasPublicationYear "2022" @default.
- W4296548954 type Work @default.
- W4296548954 citedByCount "0" @default.
- W4296548954 crossrefType "posted-content" @default.
- W4296548954 hasAuthorship W4296548954A5017810424 @default.
- W4296548954 hasBestOaLocation W42965489541 @default.
- W4296548954 hasConcept C114614502 @default.
- W4296548954 hasConcept C118615104 @default.
- W4296548954 hasConcept C121332964 @default.
- W4296548954 hasConcept C125950753 @default.
- W4296548954 hasConcept C134083981 @default.
- W4296548954 hasConcept C154945302 @default.
- W4296548954 hasConcept C199624470 @default.
- W4296548954 hasConcept C21308566 @default.
- W4296548954 hasConcept C24890656 @default.
- W4296548954 hasConcept C29184939 @default.
- W4296548954 hasConcept C33923547 @default.
- W4296548954 hasConcept C41008148 @default.
- W4296548954 hasConcept C53893814 @default.
- W4296548954 hasConcept C67621940 @default.
- W4296548954 hasConcept C79243999 @default.
- W4296548954 hasConcept C97212296 @default.
- W4296548954 hasConceptScore W4296548954C114614502 @default.
- W4296548954 hasConceptScore W4296548954C118615104 @default.
- W4296548954 hasConceptScore W4296548954C121332964 @default.
- W4296548954 hasConceptScore W4296548954C125950753 @default.
- W4296548954 hasConceptScore W4296548954C134083981 @default.
- W4296548954 hasConceptScore W4296548954C154945302 @default.
- W4296548954 hasConceptScore W4296548954C199624470 @default.
- W4296548954 hasConceptScore W4296548954C21308566 @default.
- W4296548954 hasConceptScore W4296548954C24890656 @default.
- W4296548954 hasConceptScore W4296548954C29184939 @default.
- W4296548954 hasConceptScore W4296548954C33923547 @default.
- W4296548954 hasConceptScore W4296548954C41008148 @default.
- W4296548954 hasConceptScore W4296548954C53893814 @default.
- W4296548954 hasConceptScore W4296548954C67621940 @default.
- W4296548954 hasConceptScore W4296548954C79243999 @default.
- W4296548954 hasConceptScore W4296548954C97212296 @default.
- W4296548954 hasLocation W42965489541 @default.
- W4296548954 hasOpenAccess W4296548954 @default.
- W4296548954 hasPrimaryLocation W42965489541 @default.
- W4296548954 hasRelatedWork W1557335907 @default.
- W4296548954 hasRelatedWork W1558874415 @default.
- W4296548954 hasRelatedWork W1970209336 @default.
- W4296548954 hasRelatedWork W2012632856 @default.
- W4296548954 hasRelatedWork W2058948626 @default.
- W4296548954 hasRelatedWork W2073947130 @default.
- W4296548954 hasRelatedWork W2151892345 @default.
- W4296548954 hasRelatedWork W2153803459 @default.
- W4296548954 hasRelatedWork W2403874525 @default.
- W4296548954 hasRelatedWork W59084530 @default.
- W4296548954 isParatext "false" @default.
- W4296548954 isRetracted "false" @default.
- W4296548954 workType "article" @default.