Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520778116> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1520778116 abstract "A locally threshold testable language L is a language with the property that for some nonnegative integers k and l, whether or not a word u is in the language L depends on (1) the prefix and suffix of the word u of length k - 1 and (2) the set of intermediate substrings of length k of the word u where the sets of substrings occurring at least j times are the same, for j ≤ l. For given k and l the language is called l-threshold k-testable. A finite deterministic automaton is called threshold locally testable if the automaton accepts a l-threshold k- testable language for some l and k.New necessary and sufficient conditions for a deterministic finite automaton to be locally threshold testable are found. On the basis of these conditions, we modify the algorithm to verify local threshold testability of the automaton and reduce the time complexity of the algorithm. The algorithm is implemented as a part of C/C++ package TESTAS (testability of automata and semigroups)." @default.
- W1520778116 created "2016-06-24" @default.
- W1520778116 creator A5037981863 @default.
- W1520778116 date "2003-01-01" @default.
- W1520778116 modified "2023-09-27" @default.
- W1520778116 title "Reducing the Time Complexity of Testing for Local Threshold Testability" @default.
- W1520778116 cites W115402385 @default.
- W1520778116 cites W1525554429 @default.
- W1520778116 cites W1569134317 @default.
- W1520778116 cites W1844490906 @default.
- W1520778116 cites W1964088589 @default.
- W1520778116 cites W2003628284 @default.
- W1520778116 cites W2019932899 @default.
- W1520778116 cites W2081443805 @default.
- W1520778116 cites W2118382442 @default.
- W1520778116 cites W2130750623 @default.
- W1520778116 doi "https://doi.org/10.1007/3-540-45089-0_14" @default.
- W1520778116 hasPublicationYear "2003" @default.
- W1520778116 type Work @default.
- W1520778116 sameAs 1520778116 @default.
- W1520778116 citedByCount "1" @default.
- W1520778116 crossrefType "book-chapter" @default.
- W1520778116 hasAuthorship W1520778116A5037981863 @default.
- W1520778116 hasConcept C104091681 @default.
- W1520778116 hasConcept C105795698 @default.
- W1520778116 hasConcept C112505250 @default.
- W1520778116 hasConcept C11413529 @default.
- W1520778116 hasConcept C116248031 @default.
- W1520778116 hasConcept C118615104 @default.
- W1520778116 hasConcept C138885662 @default.
- W1520778116 hasConcept C141603448 @default.
- W1520778116 hasConcept C158008952 @default.
- W1520778116 hasConcept C165753454 @default.
- W1520778116 hasConcept C167822520 @default.
- W1520778116 hasConcept C177264268 @default.
- W1520778116 hasConcept C182407805 @default.
- W1520778116 hasConcept C194525867 @default.
- W1520778116 hasConcept C199360897 @default.
- W1520778116 hasConcept C2524010 @default.
- W1520778116 hasConcept C311688 @default.
- W1520778116 hasConcept C33923547 @default.
- W1520778116 hasConcept C41008148 @default.
- W1520778116 hasConcept C41895202 @default.
- W1520778116 hasConcept C51234621 @default.
- W1520778116 hasConcept C52370388 @default.
- W1520778116 hasConcept C80444323 @default.
- W1520778116 hasConcept C90805587 @default.
- W1520778116 hasConceptScore W1520778116C104091681 @default.
- W1520778116 hasConceptScore W1520778116C105795698 @default.
- W1520778116 hasConceptScore W1520778116C112505250 @default.
- W1520778116 hasConceptScore W1520778116C11413529 @default.
- W1520778116 hasConceptScore W1520778116C116248031 @default.
- W1520778116 hasConceptScore W1520778116C118615104 @default.
- W1520778116 hasConceptScore W1520778116C138885662 @default.
- W1520778116 hasConceptScore W1520778116C141603448 @default.
- W1520778116 hasConceptScore W1520778116C158008952 @default.
- W1520778116 hasConceptScore W1520778116C165753454 @default.
- W1520778116 hasConceptScore W1520778116C167822520 @default.
- W1520778116 hasConceptScore W1520778116C177264268 @default.
- W1520778116 hasConceptScore W1520778116C182407805 @default.
- W1520778116 hasConceptScore W1520778116C194525867 @default.
- W1520778116 hasConceptScore W1520778116C199360897 @default.
- W1520778116 hasConceptScore W1520778116C2524010 @default.
- W1520778116 hasConceptScore W1520778116C311688 @default.
- W1520778116 hasConceptScore W1520778116C33923547 @default.
- W1520778116 hasConceptScore W1520778116C41008148 @default.
- W1520778116 hasConceptScore W1520778116C41895202 @default.
- W1520778116 hasConceptScore W1520778116C51234621 @default.
- W1520778116 hasConceptScore W1520778116C52370388 @default.
- W1520778116 hasConceptScore W1520778116C80444323 @default.
- W1520778116 hasConceptScore W1520778116C90805587 @default.
- W1520778116 hasLocation W15207781161 @default.
- W1520778116 hasOpenAccess W1520778116 @default.
- W1520778116 hasPrimaryLocation W15207781161 @default.
- W1520778116 hasRelatedWork W1611697123 @default.
- W1520778116 hasRelatedWork W1943209565 @default.
- W1520778116 hasRelatedWork W2049078071 @default.
- W1520778116 hasRelatedWork W2130762699 @default.
- W1520778116 hasRelatedWork W2359941866 @default.
- W1520778116 hasRelatedWork W2748952813 @default.
- W1520778116 hasRelatedWork W2757833099 @default.
- W1520778116 hasRelatedWork W3037788266 @default.
- W1520778116 hasRelatedWork W4213274605 @default.
- W1520778116 hasRelatedWork W2182584133 @default.
- W1520778116 isParatext "false" @default.
- W1520778116 isRetracted "false" @default.
- W1520778116 magId "1520778116" @default.
- W1520778116 workType "book-chapter" @default.