Matches in SemOpenAlex for { <https://semopenalex.org/work/W2611485926> ?p ?o ?g. }
- W2611485926 abstract "Symbolic transducers extend classical finite state transducers to infinite or large alphabets like Unicode, and are a popular tool in areas requiring reasoning over string transformations where traditional techniques do not scale. Here we develop the theory for and an algorithm for computing quotients of such transducers under indistinguishability preserving equivalence relations over states such as bisimulation. We show that the algorithm is a minimization algorithm in the deterministic finite state case. We evaluate the benefits of the proposed algorithm over real-world stream processing computations where symbolic transducers are formed as a result of repeated compositions." @default.
- W2611485926 created "2017-05-12" @default.
- W2611485926 creator A5001454502 @default.
- W2611485926 creator A5060114046 @default.
- W2611485926 date "2017-01-01" @default.
- W2611485926 modified "2023-09-25" @default.
- W2611485926 title "Minimization of Symbolic Transducers" @default.
- W2611485926 cites W1503669197 @default.
- W2611485926 cites W1569096242 @default.
- W2611485926 cites W1578881602 @default.
- W2611485926 cites W1876483187 @default.
- W2611485926 cites W1987469449 @default.
- W2611485926 cites W2002796887 @default.
- W2611485926 cites W2013714680 @default.
- W2611485926 cites W2031404106 @default.
- W2611485926 cites W2060108852 @default.
- W2611485926 cites W2070023605 @default.
- W2611485926 cites W2105033638 @default.
- W2611485926 cites W2113283819 @default.
- W2611485926 cites W2117952194 @default.
- W2611485926 cites W2129575868 @default.
- W2611485926 cites W2141472133 @default.
- W2611485926 cites W2157260510 @default.
- W2611485926 cites W2179466082 @default.
- W2611485926 cites W2200478861 @default.
- W2611485926 cites W2296703446 @default.
- W2611485926 cites W2394923812 @default.
- W2611485926 cites W2529401481 @default.
- W2611485926 cites W2530095326 @default.
- W2611485926 cites W2565271321 @default.
- W2611485926 cites W3010513994 @default.
- W2611485926 cites W3138459719 @default.
- W2611485926 doi "https://doi.org/10.1007/978-3-319-63390-9_10" @default.
- W2611485926 hasPublicationYear "2017" @default.
- W2611485926 type Work @default.
- W2611485926 sameAs 2611485926 @default.
- W2611485926 citedByCount "2" @default.
- W2611485926 countsByYear W26114859262017 @default.
- W2611485926 countsByYear W26114859262020 @default.
- W2611485926 crossrefType "book-chapter" @default.
- W2611485926 hasAuthorship W2611485926A5001454502 @default.
- W2611485926 hasAuthorship W2611485926A5060114046 @default.
- W2611485926 hasConcept C11413529 @default.
- W2611485926 hasConcept C118615104 @default.
- W2611485926 hasConcept C121332964 @default.
- W2611485926 hasConcept C135315306 @default.
- W2611485926 hasConcept C147764199 @default.
- W2611485926 hasConcept C154945302 @default.
- W2611485926 hasConcept C167822520 @default.
- W2611485926 hasConcept C199360897 @default.
- W2611485926 hasConcept C199422724 @default.
- W2611485926 hasConcept C202444582 @default.
- W2611485926 hasConcept C2780069185 @default.
- W2611485926 hasConcept C33923547 @default.
- W2611485926 hasConcept C41008148 @default.
- W2611485926 hasConcept C45374587 @default.
- W2611485926 hasConcept C500551929 @default.
- W2611485926 hasConcept C56318395 @default.
- W2611485926 hasConcept C62520636 @default.
- W2611485926 hasConcept C80444323 @default.
- W2611485926 hasConceptScore W2611485926C11413529 @default.
- W2611485926 hasConceptScore W2611485926C118615104 @default.
- W2611485926 hasConceptScore W2611485926C121332964 @default.
- W2611485926 hasConceptScore W2611485926C135315306 @default.
- W2611485926 hasConceptScore W2611485926C147764199 @default.
- W2611485926 hasConceptScore W2611485926C154945302 @default.
- W2611485926 hasConceptScore W2611485926C167822520 @default.
- W2611485926 hasConceptScore W2611485926C199360897 @default.
- W2611485926 hasConceptScore W2611485926C199422724 @default.
- W2611485926 hasConceptScore W2611485926C202444582 @default.
- W2611485926 hasConceptScore W2611485926C2780069185 @default.
- W2611485926 hasConceptScore W2611485926C33923547 @default.
- W2611485926 hasConceptScore W2611485926C41008148 @default.
- W2611485926 hasConceptScore W2611485926C45374587 @default.
- W2611485926 hasConceptScore W2611485926C500551929 @default.
- W2611485926 hasConceptScore W2611485926C56318395 @default.
- W2611485926 hasConceptScore W2611485926C62520636 @default.
- W2611485926 hasConceptScore W2611485926C80444323 @default.
- W2611485926 hasLocation W26114859261 @default.
- W2611485926 hasOpenAccess W2611485926 @default.
- W2611485926 hasPrimaryLocation W26114859261 @default.
- W2611485926 hasRelatedWork W1503464773 @default.
- W2611485926 hasRelatedWork W1556799522 @default.
- W2611485926 hasRelatedWork W1873124469 @default.
- W2611485926 hasRelatedWork W1994475353 @default.
- W2611485926 hasRelatedWork W2001393258 @default.
- W2611485926 hasRelatedWork W2035160823 @default.
- W2611485926 hasRelatedWork W2071152819 @default.
- W2611485926 hasRelatedWork W2079919211 @default.
- W2611485926 hasRelatedWork W2152841521 @default.
- W2611485926 hasRelatedWork W2169359210 @default.
- W2611485926 hasRelatedWork W2182837501 @default.
- W2611485926 hasRelatedWork W2396134212 @default.
- W2611485926 hasRelatedWork W2564139680 @default.
- W2611485926 hasRelatedWork W2624997872 @default.
- W2611485926 hasRelatedWork W2796510948 @default.
- W2611485926 hasRelatedWork W2934238688 @default.
- W2611485926 hasRelatedWork W2980544321 @default.
- W2611485926 hasRelatedWork W3163077272 @default.
- W2611485926 hasRelatedWork W3177412342 @default.