Matches in SemOpenAlex for { <https://semopenalex.org/work/W1969639908> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1969639908 endingPage "59" @default.
- W1969639908 startingPage "46" @default.
- W1969639908 abstract "This article deals with the transformation of a single-valued finite transducer into a Mealy machine. The following results are obtained: (1) Let M be a single-valued real-time (or “letter-to-word”) transducer with n states, input alphabet Σ , and output alphabet Δ which is equivalent to some Mealy machine M ′. Then, M can be effectively transformed into such an M ′ having at most 2 n +1 ·min{# Σ , # Δ } n −1 states. A similar result holds if M is not real time. As an important side effect three “Mealy” properties are obtained which characterize the fact that the given transducer M is equivalent to some Mealy machine. (2) The upper bound in result (1) improves to 2 n −1 if M is known to be a letter-to-letter transducer. (3) For every integer t ⩾2 and every odd integer n ⩾3 there is a single-valued real-time transducer M with n states and input and output alphabets of cardinality t such that M is equivalent to some Mealy machine M ′ and every such M ′ has at least t ( n −1)/2 states. (4) If t =3, then result (3) holds true with letter-to-letter transducers rather than real-time transducers and with a lower bound of 2 ( n −1)/2 . (5) It is a PSPACE-complete problem to decide whether or not a given single-valued transducer M is equivalent to some Mealy machine. The problem remains PSPACE-complete if M is known to be a letter-to-letter transducer." @default.
- W1969639908 created "2016-06-24" @default.
- W1969639908 creator A5025359202 @default.
- W1969639908 date "1998-02-01" @default.
- W1969639908 modified "2023-09-30" @default.
- W1969639908 title "Transforming a Single-Valued Transducer Into a Mealy Machine" @default.
- W1969639908 cites W110214102 @default.
- W1969639908 cites W142838967 @default.
- W1969639908 cites W1489025655 @default.
- W1969639908 cites W1505482284 @default.
- W1969639908 cites W1638203394 @default.
- W1969639908 cites W1851980922 @default.
- W1969639908 cites W1975246937 @default.
- W1969639908 cites W1978033038 @default.
- W1969639908 cites W1983940475 @default.
- W1969639908 cites W2002089154 @default.
- W1969639908 cites W2003113120 @default.
- W1969639908 cites W2011523226 @default.
- W1969639908 cites W2029722901 @default.
- W1969639908 cites W2054688981 @default.
- W1969639908 cites W2059200976 @default.
- W1969639908 cites W2090921231 @default.
- W1969639908 cites W2149288970 @default.
- W1969639908 cites W2493328864 @default.
- W1969639908 cites W2571335838 @default.
- W1969639908 cites W2752885492 @default.
- W1969639908 doi "https://doi.org/10.1006/jcss.1997.1517" @default.
- W1969639908 hasPublicationYear "1998" @default.
- W1969639908 type Work @default.
- W1969639908 sameAs 1969639908 @default.
- W1969639908 citedByCount "3" @default.
- W1969639908 countsByYear W19696399082020 @default.
- W1969639908 crossrefType "journal-article" @default.
- W1969639908 hasAuthorship W1969639908A5025359202 @default.
- W1969639908 hasBestOaLocation W19696399081 @default.
- W1969639908 hasConcept C112876837 @default.
- W1969639908 hasConcept C11413529 @default.
- W1969639908 hasConcept C114614502 @default.
- W1969639908 hasConcept C118615104 @default.
- W1969639908 hasConcept C121332964 @default.
- W1969639908 hasConcept C124101348 @default.
- W1969639908 hasConcept C134306372 @default.
- W1969639908 hasConcept C138885662 @default.
- W1969639908 hasConcept C199360897 @default.
- W1969639908 hasConcept C24890656 @default.
- W1969639908 hasConcept C33923547 @default.
- W1969639908 hasConcept C41008148 @default.
- W1969639908 hasConcept C41895202 @default.
- W1969639908 hasConcept C56318395 @default.
- W1969639908 hasConcept C77553402 @default.
- W1969639908 hasConcept C87117476 @default.
- W1969639908 hasConcept C97137487 @default.
- W1969639908 hasConceptScore W1969639908C112876837 @default.
- W1969639908 hasConceptScore W1969639908C11413529 @default.
- W1969639908 hasConceptScore W1969639908C114614502 @default.
- W1969639908 hasConceptScore W1969639908C118615104 @default.
- W1969639908 hasConceptScore W1969639908C121332964 @default.
- W1969639908 hasConceptScore W1969639908C124101348 @default.
- W1969639908 hasConceptScore W1969639908C134306372 @default.
- W1969639908 hasConceptScore W1969639908C138885662 @default.
- W1969639908 hasConceptScore W1969639908C199360897 @default.
- W1969639908 hasConceptScore W1969639908C24890656 @default.
- W1969639908 hasConceptScore W1969639908C33923547 @default.
- W1969639908 hasConceptScore W1969639908C41008148 @default.
- W1969639908 hasConceptScore W1969639908C41895202 @default.
- W1969639908 hasConceptScore W1969639908C56318395 @default.
- W1969639908 hasConceptScore W1969639908C77553402 @default.
- W1969639908 hasConceptScore W1969639908C87117476 @default.
- W1969639908 hasConceptScore W1969639908C97137487 @default.
- W1969639908 hasIssue "1" @default.
- W1969639908 hasLocation W19696399081 @default.
- W1969639908 hasOpenAccess W1969639908 @default.
- W1969639908 hasPrimaryLocation W19696399081 @default.
- W1969639908 hasRelatedWork W1482458295 @default.
- W1969639908 hasRelatedWork W2017783420 @default.
- W1969639908 hasRelatedWork W2080188430 @default.
- W1969639908 hasRelatedWork W2137609352 @default.
- W1969639908 hasRelatedWork W2151692582 @default.
- W1969639908 hasRelatedWork W2596944507 @default.
- W1969639908 hasRelatedWork W2737219237 @default.
- W1969639908 hasRelatedWork W4213077935 @default.
- W1969639908 hasRelatedWork W4235874751 @default.
- W1969639908 hasRelatedWork W4294883796 @default.
- W1969639908 hasVolume "56" @default.
- W1969639908 isParatext "false" @default.
- W1969639908 isRetracted "false" @default.
- W1969639908 magId "1969639908" @default.
- W1969639908 workType "article" @default.