Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288408096> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4288408096 abstract "We consider the problem of partitioning effectively a given symmetric (and irreflexive) rational relation R into two asymmetric rational relations. This problem is motivated by a recent method of embedding an R-independent language into one that is maximal R-independent, where the method requires to use an asymmetric partition of R. We solve the problem when R is realized by a zero-avoiding transducer (with some bound k): if the absolute value of the input-output length discrepancy of a computation exceeds k then the length discrepancy of the computation cannot become zero. This class of relations properly contains all recognizable, all left synchronous, and all right synchronous relations. We leave the asymmetric partition problem open when R is not realized by a zero-avoiding transducer. We also show examples of total wordorderings for which there is a relation R that cannot be partitioned into two asymmetric rational relations such that one of them is decreasing with respect to the given word-ordering." @default.
- W4288408096 created "2022-07-29" @default.
- W4288408096 creator A5046508856 @default.
- W4288408096 creator A5071368648 @default.
- W4288408096 creator A5089237824 @default.
- W4288408096 date "2019-03-26" @default.
- W4288408096 modified "2023-09-28" @default.
- W4288408096 title "Partitioning a Symmetric Rational Relation into Two Asymmetric Rational Relations" @default.
- W4288408096 doi "https://doi.org/10.48550/arxiv.1903.10740" @default.
- W4288408096 hasPublicationYear "2019" @default.
- W4288408096 type Work @default.
- W4288408096 citedByCount "0" @default.
- W4288408096 crossrefType "posted-content" @default.
- W4288408096 hasAuthorship W4288408096A5046508856 @default.
- W4288408096 hasAuthorship W4288408096A5071368648 @default.
- W4288408096 hasAuthorship W4288408096A5089237824 @default.
- W4288408096 hasBestOaLocation W42884080961 @default.
- W4288408096 hasConcept C11413529 @default.
- W4288408096 hasConcept C114614502 @default.
- W4288408096 hasConcept C118615104 @default.
- W4288408096 hasConcept C138885662 @default.
- W4288408096 hasConcept C154945302 @default.
- W4288408096 hasConcept C202444582 @default.
- W4288408096 hasConcept C25343380 @default.
- W4288408096 hasConcept C2780813799 @default.
- W4288408096 hasConcept C33923547 @default.
- W4288408096 hasConcept C41008148 @default.
- W4288408096 hasConcept C41608201 @default.
- W4288408096 hasConcept C41895202 @default.
- W4288408096 hasConcept C42812 @default.
- W4288408096 hasConcept C45374587 @default.
- W4288408096 hasConcept C46875033 @default.
- W4288408096 hasConcept C77088390 @default.
- W4288408096 hasConceptScore W4288408096C11413529 @default.
- W4288408096 hasConceptScore W4288408096C114614502 @default.
- W4288408096 hasConceptScore W4288408096C118615104 @default.
- W4288408096 hasConceptScore W4288408096C138885662 @default.
- W4288408096 hasConceptScore W4288408096C154945302 @default.
- W4288408096 hasConceptScore W4288408096C202444582 @default.
- W4288408096 hasConceptScore W4288408096C25343380 @default.
- W4288408096 hasConceptScore W4288408096C2780813799 @default.
- W4288408096 hasConceptScore W4288408096C33923547 @default.
- W4288408096 hasConceptScore W4288408096C41008148 @default.
- W4288408096 hasConceptScore W4288408096C41608201 @default.
- W4288408096 hasConceptScore W4288408096C41895202 @default.
- W4288408096 hasConceptScore W4288408096C42812 @default.
- W4288408096 hasConceptScore W4288408096C45374587 @default.
- W4288408096 hasConceptScore W4288408096C46875033 @default.
- W4288408096 hasConceptScore W4288408096C77088390 @default.
- W4288408096 hasLocation W42884080961 @default.
- W4288408096 hasOpenAccess W4288408096 @default.
- W4288408096 hasPrimaryLocation W42884080961 @default.
- W4288408096 hasRelatedWork W1965721033 @default.
- W4288408096 hasRelatedWork W2006507652 @default.
- W4288408096 hasRelatedWork W2010206658 @default.
- W4288408096 hasRelatedWork W2010460204 @default.
- W4288408096 hasRelatedWork W2032549687 @default.
- W4288408096 hasRelatedWork W2038002896 @default.
- W4288408096 hasRelatedWork W2046049376 @default.
- W4288408096 hasRelatedWork W2139324433 @default.
- W4288408096 hasRelatedWork W2924042011 @default.
- W4288408096 hasRelatedWork W3086542228 @default.
- W4288408096 isParatext "false" @default.
- W4288408096 isRetracted "false" @default.
- W4288408096 workType "article" @default.