Matches in SemOpenAlex for { <https://semopenalex.org/work/W4200388528> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W4200388528 endingPage "36" @default.
- W4200388528 startingPage "25" @default.
- W4200388528 abstract "AbstractAn injection structure ({mathcal A}= (A,f)) is a set A together with a one-place one-to-one function f. ({mathcal A}) is a Finite State Transducer (abbreviated FST) injection structure if A is a regular set, that is, the set of words accepted by some finite automaton, and f is realized by a deterministic finite-state transducer. Automatic relational structures have been well-studied along with the isomorphism problem for automatic structures. For an FST injection structure (A, f), the graph of f is not necessarily automatic. We continue the study of the complexity of FST injection structures by showing that the isomorphism problem for unary FST injection structures is decidable in quadratic time in the size (number of states) of the FST.KeywordsComputability theoryInjection structuresAutomatic structuresFinite state automataFinite state transducers" @default.
- W4200388528 created "2021-12-31" @default.
- W4200388528 creator A5010084560 @default.
- W4200388528 creator A5057979748 @default.
- W4200388528 date "2021-12-16" @default.
- W4200388528 modified "2023-09-27" @default.
- W4200388528 title "The Isomorphism Problem for FST Injection Structures" @default.
- W4200388528 cites W1492946114 @default.
- W4200388528 cites W1517606395 @default.
- W4200388528 cites W1523399120 @default.
- W4200388528 cites W1523718026 @default.
- W4200388528 cites W1966217515 @default.
- W4200388528 cites W2004277670 @default.
- W4200388528 cites W2033186040 @default.
- W4200388528 cites W2039358839 @default.
- W4200388528 cites W2054004295 @default.
- W4200388528 cites W2089595421 @default.
- W4200388528 cites W2149138990 @default.
- W4200388528 cites W2559451524 @default.
- W4200388528 cites W3183007948 @default.
- W4200388528 doi "https://doi.org/10.1007/978-3-030-93100-1_3" @default.
- W4200388528 hasPublicationYear "2021" @default.
- W4200388528 type Work @default.
- W4200388528 citedByCount "0" @default.
- W4200388528 crossrefType "book-chapter" @default.
- W4200388528 hasAuthorship W4200388528A5010084560 @default.
- W4200388528 hasAuthorship W4200388528A5057979748 @default.
- W4200388528 hasConcept C104091681 @default.
- W4200388528 hasConcept C112505250 @default.
- W4200388528 hasConcept C11413529 @default.
- W4200388528 hasConcept C114614502 @default.
- W4200388528 hasConcept C115624301 @default.
- W4200388528 hasConcept C118615104 @default.
- W4200388528 hasConcept C121332964 @default.
- W4200388528 hasConcept C132525143 @default.
- W4200388528 hasConcept C134306372 @default.
- W4200388528 hasConcept C153269930 @default.
- W4200388528 hasConcept C162392398 @default.
- W4200388528 hasConcept C167822520 @default.
- W4200388528 hasConcept C177264268 @default.
- W4200388528 hasConcept C185592680 @default.
- W4200388528 hasConcept C199360897 @default.
- W4200388528 hasConcept C203436722 @default.
- W4200388528 hasConcept C203776342 @default.
- W4200388528 hasConcept C33923547 @default.
- W4200388528 hasConcept C41008148 @default.
- W4200388528 hasConcept C48103436 @default.
- W4200388528 hasConcept C52370388 @default.
- W4200388528 hasConcept C56318395 @default.
- W4200388528 hasConcept C61665672 @default.
- W4200388528 hasConcept C62520636 @default.
- W4200388528 hasConcept C78023250 @default.
- W4200388528 hasConcept C8010536 @default.
- W4200388528 hasConcept C80444323 @default.
- W4200388528 hasConceptScore W4200388528C104091681 @default.
- W4200388528 hasConceptScore W4200388528C112505250 @default.
- W4200388528 hasConceptScore W4200388528C11413529 @default.
- W4200388528 hasConceptScore W4200388528C114614502 @default.
- W4200388528 hasConceptScore W4200388528C115624301 @default.
- W4200388528 hasConceptScore W4200388528C118615104 @default.
- W4200388528 hasConceptScore W4200388528C121332964 @default.
- W4200388528 hasConceptScore W4200388528C132525143 @default.
- W4200388528 hasConceptScore W4200388528C134306372 @default.
- W4200388528 hasConceptScore W4200388528C153269930 @default.
- W4200388528 hasConceptScore W4200388528C162392398 @default.
- W4200388528 hasConceptScore W4200388528C167822520 @default.
- W4200388528 hasConceptScore W4200388528C177264268 @default.
- W4200388528 hasConceptScore W4200388528C185592680 @default.
- W4200388528 hasConceptScore W4200388528C199360897 @default.
- W4200388528 hasConceptScore W4200388528C203436722 @default.
- W4200388528 hasConceptScore W4200388528C203776342 @default.
- W4200388528 hasConceptScore W4200388528C33923547 @default.
- W4200388528 hasConceptScore W4200388528C41008148 @default.
- W4200388528 hasConceptScore W4200388528C48103436 @default.
- W4200388528 hasConceptScore W4200388528C52370388 @default.
- W4200388528 hasConceptScore W4200388528C56318395 @default.
- W4200388528 hasConceptScore W4200388528C61665672 @default.
- W4200388528 hasConceptScore W4200388528C62520636 @default.
- W4200388528 hasConceptScore W4200388528C78023250 @default.
- W4200388528 hasConceptScore W4200388528C8010536 @default.
- W4200388528 hasConceptScore W4200388528C80444323 @default.
- W4200388528 hasLocation W42003885281 @default.
- W4200388528 hasOpenAccess W4200388528 @default.
- W4200388528 hasPrimaryLocation W42003885281 @default.
- W4200388528 hasRelatedWork W1567254006 @default.
- W4200388528 hasRelatedWork W1989657066 @default.
- W4200388528 hasRelatedWork W2039192691 @default.
- W4200388528 hasRelatedWork W2048569053 @default.
- W4200388528 hasRelatedWork W2414546088 @default.
- W4200388528 hasRelatedWork W2747875137 @default.
- W4200388528 hasRelatedWork W2949160139 @default.
- W4200388528 hasRelatedWork W2973396142 @default.
- W4200388528 hasRelatedWork W4200388528 @default.
- W4200388528 hasRelatedWork W4280585047 @default.
- W4200388528 isParatext "false" @default.
- W4200388528 isRetracted "false" @default.
- W4200388528 workType "book-chapter" @default.