Matches in SemOpenAlex for { <https://semopenalex.org/work/W1549888420> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1549888420 abstract "We consider languages expressed by word equations in two variables and give a complete characterization for their complexity functions, that is, the functions that give the number of words of a given length. Specifically, we prove that there are only five types of complexities: constant, linear, exponential, and two in between constant and linear. For the latter two, we give precise characterizations in terms of the number of solutions of Diophantine equations of certain types. There are several consequences of our study. First, we show that the linear upper bound on the non-exponential complexities by Karhumaki et al., cf. [KMP], is optimal. Second, we derive that both of the sets of all finite Sturmian words and of all finite Standard words are expressible by word equations. Third, we characterize the languages of non-exponential complexity which are expressible by two-variable word equations as finite unions of several simple parametric formulae and solutions of a twovariable word equation with a finite graph. Fourth, we find optimal upper bounds on the solutions of (solvable) two-variable word equations, namely, linear bound for one variable and quadratric for the other. From this, we obtain an O(n6) algorithm for testing the solvability of twovariable word equation." @default.
- W1549888420 created "2016-06-24" @default.
- W1549888420 creator A5048178906 @default.
- W1549888420 creator A5068812588 @default.
- W1549888420 date "2000-01-01" @default.
- W1549888420 modified "2023-10-16" @default.
- W1549888420 title "Two-Variable Word Equations" @default.
- W1549888420 cites W137071685 @default.
- W1549888420 cites W1883384169 @default.
- W1549888420 cites W1965415591 @default.
- W1549888420 cites W1990129203 @default.
- W1549888420 cites W2006661113 @default.
- W1549888420 cites W2012483243 @default.
- W1549888420 cites W2054924158 @default.
- W1549888420 cites W2171035269 @default.
- W1549888420 doi "https://doi.org/10.1007/3-540-46541-3_10" @default.
- W1549888420 hasPublicationYear "2000" @default.
- W1549888420 type Work @default.
- W1549888420 sameAs 1549888420 @default.
- W1549888420 citedByCount "4" @default.
- W1549888420 crossrefType "book-chapter" @default.
- W1549888420 hasAuthorship W1549888420A5048178906 @default.
- W1549888420 hasAuthorship W1549888420A5068812588 @default.
- W1549888420 hasBestOaLocation W15498884202 @default.
- W1549888420 hasConcept C118615104 @default.
- W1549888420 hasConcept C134306372 @default.
- W1549888420 hasConcept C151376022 @default.
- W1549888420 hasConcept C182365436 @default.
- W1549888420 hasConcept C199360897 @default.
- W1549888420 hasConcept C206530611 @default.
- W1549888420 hasConcept C2524010 @default.
- W1549888420 hasConcept C2777027219 @default.
- W1549888420 hasConcept C28826006 @default.
- W1549888420 hasConcept C33923547 @default.
- W1549888420 hasConcept C41008148 @default.
- W1549888420 hasConcept C77346573 @default.
- W1549888420 hasConcept C77553402 @default.
- W1549888420 hasConcept C90805587 @default.
- W1549888420 hasConcept C94523830 @default.
- W1549888420 hasConceptScore W1549888420C118615104 @default.
- W1549888420 hasConceptScore W1549888420C134306372 @default.
- W1549888420 hasConceptScore W1549888420C151376022 @default.
- W1549888420 hasConceptScore W1549888420C182365436 @default.
- W1549888420 hasConceptScore W1549888420C199360897 @default.
- W1549888420 hasConceptScore W1549888420C206530611 @default.
- W1549888420 hasConceptScore W1549888420C2524010 @default.
- W1549888420 hasConceptScore W1549888420C2777027219 @default.
- W1549888420 hasConceptScore W1549888420C28826006 @default.
- W1549888420 hasConceptScore W1549888420C33923547 @default.
- W1549888420 hasConceptScore W1549888420C41008148 @default.
- W1549888420 hasConceptScore W1549888420C77346573 @default.
- W1549888420 hasConceptScore W1549888420C77553402 @default.
- W1549888420 hasConceptScore W1549888420C90805587 @default.
- W1549888420 hasConceptScore W1549888420C94523830 @default.
- W1549888420 hasLocation W15498884201 @default.
- W1549888420 hasLocation W15498884202 @default.
- W1549888420 hasOpenAccess W1549888420 @default.
- W1549888420 hasPrimaryLocation W15498884201 @default.
- W1549888420 hasRelatedWork W1487139769 @default.
- W1549888420 hasRelatedWork W1557837615 @default.
- W1549888420 hasRelatedWork W156757921 @default.
- W1549888420 hasRelatedWork W1611516964 @default.
- W1549888420 hasRelatedWork W1965046890 @default.
- W1549888420 hasRelatedWork W1978970990 @default.
- W1549888420 hasRelatedWork W2001690162 @default.
- W1549888420 hasRelatedWork W2027460117 @default.
- W1549888420 hasRelatedWork W2186232858 @default.
- W1549888420 hasRelatedWork W2239283191 @default.
- W1549888420 hasRelatedWork W2439296906 @default.
- W1549888420 hasRelatedWork W2509191485 @default.
- W1549888420 hasRelatedWork W2598857211 @default.
- W1549888420 hasRelatedWork W2951831974 @default.
- W1549888420 hasRelatedWork W3040394833 @default.
- W1549888420 hasRelatedWork W3042675984 @default.
- W1549888420 hasRelatedWork W3095310577 @default.
- W1549888420 hasRelatedWork W3101545656 @default.
- W1549888420 hasRelatedWork W3104822223 @default.
- W1549888420 hasRelatedWork W3121087213 @default.
- W1549888420 isParatext "false" @default.
- W1549888420 isRetracted "false" @default.
- W1549888420 magId "1549888420" @default.
- W1549888420 workType "book-chapter" @default.