Matches in SemOpenAlex for { <https://semopenalex.org/work/W4382051072> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4382051072 endingPage "114050" @default.
- W4382051072 startingPage "114050" @default.
- W4382051072 abstract "The cut of two languages is a subset of their concatenation given by the leftmost maximal prefix match. We study the state complexity of the cut operation assuming that both operands belong to some, possibly different, subclasses of convex languages, namely, right, left, two-sided, and all-sided ideal, prefix-, suffix-, factor-, and subword-closed, -free, and proper convex languages. This state complexity is defined as the function that assigns the maximal state complexity of the language resulting from the cut operation to the pair of numbers m and n representing the sizes of deterministic finite automata recognizing the operands of this operation. For all considered pairs of classes, we get the exact state complexity of cut. We show that it is m or 1 whenever the first language is a right ideal, and it is m+n−1 or m+n−2 if the first language is prefix-closed, prefix-free, or proper prefix-convex. In the other cases, the state complexity of cut is between mn−2n−m+4 and mn−n+m, the latter being the known state complexity of cut on regular languages. All our witnesses are described over a fixed alphabet of size at most three, except for four cases when the witness languages are described over an alphabet of size m or m−1." @default.
- W4382051072 created "2023-06-27" @default.
- W4382051072 creator A5028435745 @default.
- W4382051072 creator A5043627535 @default.
- W4382051072 date "2023-08-01" @default.
- W4382051072 modified "2023-10-11" @default.
- W4382051072 title "The cut operation in subclasses of convex languages" @default.
- W4382051072 cites W136331652 @default.
- W4382051072 cites W1533036729 @default.
- W4382051072 cites W2060108852 @default.
- W4382051072 cites W2106875872 @default.
- W4382051072 cites W2109036808 @default.
- W4382051072 cites W2755484740 @default.
- W4382051072 cites W2908422417 @default.
- W4382051072 doi "https://doi.org/10.1016/j.tcs.2023.114050" @default.
- W4382051072 hasPublicationYear "2023" @default.
- W4382051072 type Work @default.
- W4382051072 citedByCount "0" @default.
- W4382051072 crossrefType "journal-article" @default.
- W4382051072 hasAuthorship W4382051072A5028435745 @default.
- W4382051072 hasAuthorship W4382051072A5043627535 @default.
- W4382051072 hasConcept C111472728 @default.
- W4382051072 hasConcept C112505250 @default.
- W4382051072 hasConcept C11413529 @default.
- W4382051072 hasConcept C114614502 @default.
- W4382051072 hasConcept C116248031 @default.
- W4382051072 hasConcept C118615104 @default.
- W4382051072 hasConcept C138885662 @default.
- W4382051072 hasConcept C141603448 @default.
- W4382051072 hasConcept C158008952 @default.
- W4382051072 hasConcept C2524010 @default.
- W4382051072 hasConcept C2776639384 @default.
- W4382051072 hasConcept C33923547 @default.
- W4382051072 hasConcept C41008148 @default.
- W4382051072 hasConcept C41895202 @default.
- W4382051072 hasConcept C48103436 @default.
- W4382051072 hasConcept C52370388 @default.
- W4382051072 hasConcept C80444323 @default.
- W4382051072 hasConcept C87619178 @default.
- W4382051072 hasConcept C90805587 @default.
- W4382051072 hasConceptScore W4382051072C111472728 @default.
- W4382051072 hasConceptScore W4382051072C112505250 @default.
- W4382051072 hasConceptScore W4382051072C11413529 @default.
- W4382051072 hasConceptScore W4382051072C114614502 @default.
- W4382051072 hasConceptScore W4382051072C116248031 @default.
- W4382051072 hasConceptScore W4382051072C118615104 @default.
- W4382051072 hasConceptScore W4382051072C138885662 @default.
- W4382051072 hasConceptScore W4382051072C141603448 @default.
- W4382051072 hasConceptScore W4382051072C158008952 @default.
- W4382051072 hasConceptScore W4382051072C2524010 @default.
- W4382051072 hasConceptScore W4382051072C2776639384 @default.
- W4382051072 hasConceptScore W4382051072C33923547 @default.
- W4382051072 hasConceptScore W4382051072C41008148 @default.
- W4382051072 hasConceptScore W4382051072C41895202 @default.
- W4382051072 hasConceptScore W4382051072C48103436 @default.
- W4382051072 hasConceptScore W4382051072C52370388 @default.
- W4382051072 hasConceptScore W4382051072C80444323 @default.
- W4382051072 hasConceptScore W4382051072C87619178 @default.
- W4382051072 hasConceptScore W4382051072C90805587 @default.
- W4382051072 hasFunder F4320323641 @default.
- W4382051072 hasFunder F4320335322 @default.
- W4382051072 hasLocation W43820510721 @default.
- W4382051072 hasOpenAccess W4382051072 @default.
- W4382051072 hasPrimaryLocation W43820510721 @default.
- W4382051072 hasRelatedWork W1988384847 @default.
- W4382051072 hasRelatedWork W2011252827 @default.
- W4382051072 hasRelatedWork W2046033718 @default.
- W4382051072 hasRelatedWork W2178095809 @default.
- W4382051072 hasRelatedWork W2772918710 @default.
- W4382051072 hasRelatedWork W2946585142 @default.
- W4382051072 hasRelatedWork W2982732377 @default.
- W4382051072 hasRelatedWork W3089547293 @default.
- W4382051072 hasRelatedWork W4320854783 @default.
- W4382051072 hasRelatedWork W2057412365 @default.
- W4382051072 hasVolume "969" @default.
- W4382051072 isParatext "false" @default.
- W4382051072 isRetracted "false" @default.
- W4382051072 workType "article" @default.