Matches in SemOpenAlex for { <https://semopenalex.org/work/W2084815378> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2084815378 abstract "In this paper we show that the upper bound 2^n-2 on the length of input sequences that distinguish two sets of states is tight for a non-observable NFSM with n states and a polynomial number of inputs and outputs. For each n>=2, there exists a non-observable NFSM M with n states, a single input symbol, and n output symbols such that there are two sets of states in M which are not distinguishable by each input sequence of length 2^n-3 but can be distinguished by an input sequence of length 2^n-2." @default.
- W2084815378 created "2016-06-24" @default.
- W2084815378 creator A5064485901 @default.
- W2084815378 creator A5072274443 @default.
- W2084815378 creator A5082528508 @default.
- W2084815378 date "2012-03-01" @default.
- W2084815378 modified "2023-09-26" @default.
- W2084815378 title "Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs" @default.
- W2084815378 cites W1562084183 @default.
- W2084815378 cites W2056102643 @default.
- W2084815378 cites W2143578569 @default.
- W2084815378 doi "https://doi.org/10.1016/j.ipl.2011.12.012" @default.
- W2084815378 hasPublicationYear "2012" @default.
- W2084815378 type Work @default.
- W2084815378 sameAs 2084815378 @default.
- W2084815378 citedByCount "4" @default.
- W2084815378 countsByYear W20848153782013 @default.
- W2084815378 countsByYear W20848153782014 @default.
- W2084815378 countsByYear W20848153782016 @default.
- W2084815378 countsByYear W20848153782020 @default.
- W2084815378 crossrefType "journal-article" @default.
- W2084815378 hasAuthorship W2084815378A5064485901 @default.
- W2084815378 hasAuthorship W2084815378A5072274443 @default.
- W2084815378 hasAuthorship W2084815378A5082528508 @default.
- W2084815378 hasConcept C11413529 @default.
- W2084815378 hasConcept C114614502 @default.
- W2084815378 hasConcept C118615104 @default.
- W2084815378 hasConcept C121332964 @default.
- W2084815378 hasConcept C134306372 @default.
- W2084815378 hasConcept C167822520 @default.
- W2084815378 hasConcept C176181172 @default.
- W2084815378 hasConcept C32848918 @default.
- W2084815378 hasConcept C33923547 @default.
- W2084815378 hasConcept C41008148 @default.
- W2084815378 hasConcept C48103436 @default.
- W2084815378 hasConcept C62520636 @default.
- W2084815378 hasConcept C77553402 @default.
- W2084815378 hasConcept C90119067 @default.
- W2084815378 hasConceptScore W2084815378C11413529 @default.
- W2084815378 hasConceptScore W2084815378C114614502 @default.
- W2084815378 hasConceptScore W2084815378C118615104 @default.
- W2084815378 hasConceptScore W2084815378C121332964 @default.
- W2084815378 hasConceptScore W2084815378C134306372 @default.
- W2084815378 hasConceptScore W2084815378C167822520 @default.
- W2084815378 hasConceptScore W2084815378C176181172 @default.
- W2084815378 hasConceptScore W2084815378C32848918 @default.
- W2084815378 hasConceptScore W2084815378C33923547 @default.
- W2084815378 hasConceptScore W2084815378C41008148 @default.
- W2084815378 hasConceptScore W2084815378C48103436 @default.
- W2084815378 hasConceptScore W2084815378C62520636 @default.
- W2084815378 hasConceptScore W2084815378C77553402 @default.
- W2084815378 hasConceptScore W2084815378C90119067 @default.
- W2084815378 hasLocation W20848153781 @default.
- W2084815378 hasLocation W20848153782 @default.
- W2084815378 hasOpenAccess W2084815378 @default.
- W2084815378 hasPrimaryLocation W20848153781 @default.
- W2084815378 hasRelatedWork W1531835879 @default.
- W2084815378 hasRelatedWork W1598457899 @default.
- W2084815378 hasRelatedWork W2031137635 @default.
- W2084815378 hasRelatedWork W2091815190 @default.
- W2084815378 hasRelatedWork W2120674923 @default.
- W2084815378 hasRelatedWork W2165761158 @default.
- W2084815378 hasRelatedWork W2465024128 @default.
- W2084815378 hasRelatedWork W2751866193 @default.
- W2084815378 hasRelatedWork W2954603477 @default.
- W2084815378 hasRelatedWork W3021469612 @default.
- W2084815378 isParatext "false" @default.
- W2084815378 isRetracted "false" @default.
- W2084815378 magId "2084815378" @default.
- W2084815378 workType "article" @default.