Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569134317> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1569134317 endingPage "358" @default.
- W1569134317 startingPage "347" @default.
- W1569134317 abstract "The necessary and sufficient conditions for an automaton to be locally threshold testable are found. We introduce the polynomial time algorithm to verify local threshold testability of the automaton of time complexity O(n 5) and an algorithm of order O(n 3) for the local threshold testability problem for syntactic semigroup of the automaton. We modify necessary and sufficient conditions for piecewise testability problem for deterministic finite automaton and improve the Stern algorithm to verify piecewise testability for the automaton. The time complexity of the algorithm is reduced from O(n 5) to O(n 2). An algorithm to verify piecewise testability for syntactic semigroup of the automaton of order O(n 2) is presented as well. The algorithms have been implemented as a C/C ++ package." @default.
- W1569134317 created "2016-06-24" @default.
- W1569134317 creator A5001614047 @default.
- W1569134317 date "2001-01-01" @default.
- W1569134317 modified "2023-09-23" @default.
- W1569134317 title "Piecewise and Local Threshold Testability of DFA" @default.
- W1569134317 cites W115402385 @default.
- W1569134317 cites W1494501847 @default.
- W1569134317 cites W1525554429 @default.
- W1569134317 cites W1593258398 @default.
- W1569134317 cites W1597502208 @default.
- W1569134317 cites W1844490906 @default.
- W1569134317 cites W1964088589 @default.
- W1569134317 cites W1991366422 @default.
- W1569134317 cites W2015523519 @default.
- W1569134317 cites W2033507669 @default.
- W1569134317 cites W2039424493 @default.
- W1569134317 cites W2044010368 @default.
- W1569134317 cites W2058302256 @default.
- W1569134317 cites W2081443805 @default.
- W1569134317 cites W2118382442 @default.
- W1569134317 cites W2130750623 @default.
- W1569134317 cites W4301715011 @default.
- W1569134317 doi "https://doi.org/10.1007/3-540-44669-9_33" @default.
- W1569134317 hasPublicationYear "2001" @default.
- W1569134317 type Work @default.
- W1569134317 sameAs 1569134317 @default.
- W1569134317 citedByCount "32" @default.
- W1569134317 countsByYear W15691343172012 @default.
- W1569134317 countsByYear W15691343172013 @default.
- W1569134317 countsByYear W15691343172014 @default.
- W1569134317 countsByYear W15691343172015 @default.
- W1569134317 countsByYear W15691343172016 @default.
- W1569134317 countsByYear W15691343172017 @default.
- W1569134317 countsByYear W15691343172018 @default.
- W1569134317 countsByYear W15691343172019 @default.
- W1569134317 countsByYear W15691343172020 @default.
- W1569134317 crossrefType "book-chapter" @default.
- W1569134317 hasAuthorship W1569134317A5001614047 @default.
- W1569134317 hasConcept C105795698 @default.
- W1569134317 hasConcept C112505250 @default.
- W1569134317 hasConcept C11413529 @default.
- W1569134317 hasConcept C118615104 @default.
- W1569134317 hasConcept C134306372 @default.
- W1569134317 hasConcept C164660894 @default.
- W1569134317 hasConcept C167822520 @default.
- W1569134317 hasConcept C174784677 @default.
- W1569134317 hasConcept C194525867 @default.
- W1569134317 hasConcept C311688 @default.
- W1569134317 hasConcept C33923547 @default.
- W1569134317 hasConcept C41008148 @default.
- W1569134317 hasConcept C51234621 @default.
- W1569134317 hasConcept C77944639 @default.
- W1569134317 hasConcept C80444323 @default.
- W1569134317 hasConceptScore W1569134317C105795698 @default.
- W1569134317 hasConceptScore W1569134317C112505250 @default.
- W1569134317 hasConceptScore W1569134317C11413529 @default.
- W1569134317 hasConceptScore W1569134317C118615104 @default.
- W1569134317 hasConceptScore W1569134317C134306372 @default.
- W1569134317 hasConceptScore W1569134317C164660894 @default.
- W1569134317 hasConceptScore W1569134317C167822520 @default.
- W1569134317 hasConceptScore W1569134317C174784677 @default.
- W1569134317 hasConceptScore W1569134317C194525867 @default.
- W1569134317 hasConceptScore W1569134317C311688 @default.
- W1569134317 hasConceptScore W1569134317C33923547 @default.
- W1569134317 hasConceptScore W1569134317C41008148 @default.
- W1569134317 hasConceptScore W1569134317C51234621 @default.
- W1569134317 hasConceptScore W1569134317C77944639 @default.
- W1569134317 hasConceptScore W1569134317C80444323 @default.
- W1569134317 hasLocation W15691343171 @default.
- W1569134317 hasOpenAccess W1569134317 @default.
- W1569134317 hasPrimaryLocation W15691343171 @default.
- W1569134317 hasRelatedWork W1645283535 @default.
- W1569134317 hasRelatedWork W182536255 @default.
- W1569134317 hasRelatedWork W1968608348 @default.
- W1569134317 hasRelatedWork W2019668063 @default.
- W1569134317 hasRelatedWork W2058552781 @default.
- W1569134317 hasRelatedWork W2106606282 @default.
- W1569134317 hasRelatedWork W2140606869 @default.
- W1569134317 hasRelatedWork W2275537861 @default.
- W1569134317 hasRelatedWork W2138773745 @default.
- W1569134317 hasRelatedWork W2186499132 @default.
- W1569134317 isParatext "false" @default.
- W1569134317 isRetracted "false" @default.
- W1569134317 magId "1569134317" @default.
- W1569134317 workType "book-chapter" @default.