Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045668977> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2045668977 endingPage "251" @default.
- W2045668977 startingPage "225" @default.
- W2045668977 abstract "Distance automata are a model of finite-state machines which charge to an input word the expense of the cheapest successful computation consuming that word, called its distance. The distance of such a machine is the maximal distance of an input word recognized by it or is infinite, depending on whether or not a maximum exists. The valuedness of a distance automaton is introduced by considering this machine to be a transducer with unary output alphabet. The distance of a finite-valued distance automaton with n states is either infinite or at most 6n·(2n)n2 − 1. In the former case its growth is linear in the input length. The problem of deciding whether a given finite-valued (2-valued, respectively) distance automaton has infinite distance is PSPACE-complete. It is decidable in deterministic double exponential time whether two given finite-valued distance automata are equivalent, i.e., every input word has the same distance in both machines. There is an inherently infinite-valued distance automaton and, for each k, an inherently k-valued distance automaton such that the growth of the distance in all these machines is linear in the input length. It is decidable in deterministic polynomial time whether a 2-valued distance automaton given as the disjoint union of two single-valued distance automata is inherently 2-valued." @default.
- W2045668977 created "2016-06-24" @default.
- W2045668977 creator A5025359202 @default.
- W2045668977 date "1994-11-01" @default.
- W2045668977 modified "2023-10-16" @default.
- W2045668977 title "Finite-valued distance automata" @default.
- W2045668977 cites W1497067119 @default.
- W2045668977 cites W178105058 @default.
- W2045668977 cites W1979876920 @default.
- W2045668977 cites W2010387529 @default.
- W2045668977 cites W2011523226 @default.
- W2045668977 cites W2018562589 @default.
- W2045668977 cites W2035641287 @default.
- W2045668977 cites W2037235369 @default.
- W2045668977 cites W2041808784 @default.
- W2045668977 cites W2046829789 @default.
- W2045668977 cites W2049481601 @default.
- W2045668977 cites W2066768040 @default.
- W2045668977 cites W2070999664 @default.
- W2045668977 cites W2165854715 @default.
- W2045668977 doi "https://doi.org/10.1016/0304-3975(94)90287-9" @default.
- W2045668977 hasPublicationYear "1994" @default.
- W2045668977 type Work @default.
- W2045668977 sameAs 2045668977 @default.
- W2045668977 citedByCount "31" @default.
- W2045668977 countsByYear W20456689772013 @default.
- W2045668977 countsByYear W20456689772014 @default.
- W2045668977 countsByYear W20456689772015 @default.
- W2045668977 countsByYear W20456689772020 @default.
- W2045668977 crossrefType "journal-article" @default.
- W2045668977 hasAuthorship W2045668977A5025359202 @default.
- W2045668977 hasConcept C104091681 @default.
- W2045668977 hasConcept C112505250 @default.
- W2045668977 hasConcept C11413529 @default.
- W2045668977 hasConcept C114614502 @default.
- W2045668977 hasConcept C116248031 @default.
- W2045668977 hasConcept C118615104 @default.
- W2045668977 hasConcept C139423837 @default.
- W2045668977 hasConcept C153269930 @default.
- W2045668977 hasConcept C158008952 @default.
- W2045668977 hasConcept C167822520 @default.
- W2045668977 hasConcept C174327141 @default.
- W2045668977 hasConcept C194525867 @default.
- W2045668977 hasConcept C2524010 @default.
- W2045668977 hasConcept C33923547 @default.
- W2045668977 hasConcept C41008148 @default.
- W2045668977 hasConcept C45340560 @default.
- W2045668977 hasConcept C78023250 @default.
- W2045668977 hasConcept C80444323 @default.
- W2045668977 hasConcept C90805587 @default.
- W2045668977 hasConcept C92710233 @default.
- W2045668977 hasConceptScore W2045668977C104091681 @default.
- W2045668977 hasConceptScore W2045668977C112505250 @default.
- W2045668977 hasConceptScore W2045668977C11413529 @default.
- W2045668977 hasConceptScore W2045668977C114614502 @default.
- W2045668977 hasConceptScore W2045668977C116248031 @default.
- W2045668977 hasConceptScore W2045668977C118615104 @default.
- W2045668977 hasConceptScore W2045668977C139423837 @default.
- W2045668977 hasConceptScore W2045668977C153269930 @default.
- W2045668977 hasConceptScore W2045668977C158008952 @default.
- W2045668977 hasConceptScore W2045668977C167822520 @default.
- W2045668977 hasConceptScore W2045668977C174327141 @default.
- W2045668977 hasConceptScore W2045668977C194525867 @default.
- W2045668977 hasConceptScore W2045668977C2524010 @default.
- W2045668977 hasConceptScore W2045668977C33923547 @default.
- W2045668977 hasConceptScore W2045668977C41008148 @default.
- W2045668977 hasConceptScore W2045668977C45340560 @default.
- W2045668977 hasConceptScore W2045668977C78023250 @default.
- W2045668977 hasConceptScore W2045668977C80444323 @default.
- W2045668977 hasConceptScore W2045668977C90805587 @default.
- W2045668977 hasConceptScore W2045668977C92710233 @default.
- W2045668977 hasIssue "1" @default.
- W2045668977 hasLocation W20456689771 @default.
- W2045668977 hasOpenAccess W2045668977 @default.
- W2045668977 hasPrimaryLocation W20456689771 @default.
- W2045668977 hasRelatedWork W149263113 @default.
- W2045668977 hasRelatedWork W1494424737 @default.
- W2045668977 hasRelatedWork W153129168 @default.
- W2045668977 hasRelatedWork W1945859206 @default.
- W2045668977 hasRelatedWork W1983100634 @default.
- W2045668977 hasRelatedWork W2010588138 @default.
- W2045668977 hasRelatedWork W2045668977 @default.
- W2045668977 hasRelatedWork W2053370306 @default.
- W2045668977 hasRelatedWork W2154384611 @default.
- W2045668977 hasRelatedWork W2658457120 @default.
- W2045668977 hasVolume "134" @default.
- W2045668977 isParatext "false" @default.
- W2045668977 isRetracted "false" @default.
- W2045668977 magId "2045668977" @default.
- W2045668977 workType "article" @default.