Matches in SemOpenAlex for { <https://semopenalex.org/work/W2144143049> ?p ?o ?g. }
- W2144143049 endingPage "1397" @default.
- W2144143049 startingPage "1368" @default.
- W2144143049 abstract "Subsequential transducers combine (input) language recognition with transduction and thereby generalise classic deterministic automata as well as Mealy and Moore type state machines. These well known subclasses all have a natural coalgebraic characterisation, and the question arises whether their coalgebraic modelling can be extended to subsequential transducers and their underlying structures. In this paper, we show that although subsequential structures cannot generally be regarded as coalgebras, the subclass of normalised structures do form a subcategory of coalgebras. Moreover, normalised structures are reflective in the category of all subsequential structures, and a final normalised structure exists. The existence and properties of the minimal subsequential transducer can be derived from this result. We also show that for the class of subsequential structures in which all states are accepting, an alternative coalgebraic representation is obtained by taking differentials. This differential representation gives rise to a new method of deciding equivalence and computing minimal representations which does not involve normalisation. Both normalisation and taking differentials can be formalised as functors into reflective subcategories of coalgebras, and we can therefore see these constructions as coalgebraisation." @default.
- W2144143049 created "2016-06-24" @default.
- W2144143049 creator A5007089889 @default.
- W2144143049 date "2010-12-01" @default.
- W2144143049 modified "2023-09-27" @default.
- W2144143049 title "Subsequential transducers: a coalgebraic perspective" @default.
- W2144143049 cites W146784359 @default.
- W2144143049 cites W1505743778 @default.
- W2144143049 cites W1509918383 @default.
- W2144143049 cites W1534787852 @default.
- W2144143049 cites W1555579046 @default.
- W2144143049 cites W1563342424 @default.
- W2144143049 cites W1586417893 @default.
- W2144143049 cites W1600795850 @default.
- W2144143049 cites W182831726 @default.
- W2144143049 cites W1895481600 @default.
- W2144143049 cites W1978825867 @default.
- W2144143049 cites W1981607181 @default.
- W2144143049 cites W1982431152 @default.
- W2144143049 cites W2002089154 @default.
- W2144143049 cites W2002796887 @default.
- W2144143049 cites W2020147234 @default.
- W2144143049 cites W2025303167 @default.
- W2144143049 cites W2030681981 @default.
- W2144143049 cites W2039511338 @default.
- W2144143049 cites W2042869341 @default.
- W2144143049 cites W2050029209 @default.
- W2144143049 cites W2052865572 @default.
- W2144143049 cites W2067829889 @default.
- W2144143049 cites W2075773711 @default.
- W2144143049 cites W2076640573 @default.
- W2144143049 cites W2088027070 @default.
- W2144143049 cites W2088189323 @default.
- W2144143049 cites W2091022743 @default.
- W2144143049 cites W2097456817 @default.
- W2144143049 cites W2107354844 @default.
- W2144143049 cites W2120713972 @default.
- W2144143049 cites W2120837912 @default.
- W2144143049 cites W2125529971 @default.
- W2144143049 cites W2126979663 @default.
- W2144143049 cites W2138785176 @default.
- W2144143049 cites W2167954650 @default.
- W2144143049 cites W2170360311 @default.
- W2144143049 cites W2752853835 @default.
- W2144143049 cites W3043060850 @default.
- W2144143049 doi "https://doi.org/10.1016/j.ic.2009.10.008" @default.
- W2144143049 hasPublicationYear "2010" @default.
- W2144143049 type Work @default.
- W2144143049 sameAs 2144143049 @default.
- W2144143049 citedByCount "4" @default.
- W2144143049 countsByYear W21441430492014 @default.
- W2144143049 countsByYear W21441430492015 @default.
- W2144143049 countsByYear W21441430492017 @default.
- W2144143049 countsByYear W21441430492020 @default.
- W2144143049 crossrefType "journal-article" @default.
- W2144143049 hasAuthorship W2144143049A5007089889 @default.
- W2144143049 hasBestOaLocation W21441430491 @default.
- W2144143049 hasConcept C121332964 @default.
- W2144143049 hasConcept C12713177 @default.
- W2144143049 hasConcept C136119220 @default.
- W2144143049 hasConcept C154945302 @default.
- W2144143049 hasConcept C199343813 @default.
- W2144143049 hasConcept C199360897 @default.
- W2144143049 hasConcept C202444582 @default.
- W2144143049 hasConcept C24890656 @default.
- W2144143049 hasConcept C2777686260 @default.
- W2144143049 hasConcept C33923547 @default.
- W2144143049 hasConcept C41008148 @default.
- W2144143049 hasConcept C56318395 @default.
- W2144143049 hasConcept C71924100 @default.
- W2144143049 hasConceptScore W2144143049C121332964 @default.
- W2144143049 hasConceptScore W2144143049C12713177 @default.
- W2144143049 hasConceptScore W2144143049C136119220 @default.
- W2144143049 hasConceptScore W2144143049C154945302 @default.
- W2144143049 hasConceptScore W2144143049C199343813 @default.
- W2144143049 hasConceptScore W2144143049C199360897 @default.
- W2144143049 hasConceptScore W2144143049C202444582 @default.
- W2144143049 hasConceptScore W2144143049C24890656 @default.
- W2144143049 hasConceptScore W2144143049C2777686260 @default.
- W2144143049 hasConceptScore W2144143049C33923547 @default.
- W2144143049 hasConceptScore W2144143049C41008148 @default.
- W2144143049 hasConceptScore W2144143049C56318395 @default.
- W2144143049 hasConceptScore W2144143049C71924100 @default.
- W2144143049 hasIssue "12" @default.
- W2144143049 hasLocation W21441430491 @default.
- W2144143049 hasOpenAccess W2144143049 @default.
- W2144143049 hasPrimaryLocation W21441430491 @default.
- W2144143049 hasRelatedWork W1527862632 @default.
- W2144143049 hasRelatedWork W2112962394 @default.
- W2144143049 hasRelatedWork W2118300983 @default.
- W2144143049 hasRelatedWork W2135396778 @default.
- W2144143049 hasRelatedWork W2382501300 @default.
- W2144143049 hasRelatedWork W2740990710 @default.
- W2144143049 hasRelatedWork W3137189469 @default.
- W2144143049 hasRelatedWork W3162240892 @default.
- W2144143049 hasRelatedWork W4235530921 @default.
- W2144143049 hasRelatedWork W4243252198 @default.
- W2144143049 hasVolume "208" @default.