Matches in SemOpenAlex for { <https://semopenalex.org/work/W2544418390> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2544418390 abstract "Let Σ be a finite alphabet, Σ* the free monoid generated by Σ and |x| the length of x ε Σ*. For any integer k ≥ 0, fk(x)(tk (x)) is x if |x| ≪ k+1, and it is the prefix (suffix) of x of length k, otherwise. Also let mk+1 (x) = {v|x = uvw and |v| = k+1}. For x,y ε Σ* define x ∼k+1y iff fk(x) = fk(y), tk(x) = tk(y) and mk+1(x) = mk+1 (y). The relation ∼k+1 is a congruence of finite index over Σ*. An event E ⊆ Σ*. is (k+1)-testable iff it is a union of congruence classes of ∼k+1. E is locally testable (LT) if it is k+1-testable for some k. (This definition differs from that of [MP] but is equivalent.) We show that the family of LT events is a proper sub-family of star-free events of dot-depth 1. LT events and k-testable events are characterized in terms of (a) restricted star-free expressions based on finite and cofinite events, (b) finite automata accepting these events, (c) semigroups, and (d) structural decomposition of such automata. Algorithms are given for deciding whether a regular event is (a) LT and (b) k+1-testable. Generalized definite events are also characterized." @default.
- W2544418390 created "2016-11-04" @default.
- W2544418390 creator A5012323418 @default.
- W2544418390 creator A5016883956 @default.
- W2544418390 date "1971-10-01" @default.
- W2544418390 modified "2023-09-23" @default.
- W2544418390 title "Characterizations of locally testable events" @default.
- W2544418390 cites W2023521199 @default.
- W2544418390 cites W2039934838 @default.
- W2544418390 cites W2085118356 @default.
- W2544418390 doi "https://doi.org/10.1109/swat.1971.6" @default.
- W2544418390 hasPublicationYear "1971" @default.
- W2544418390 type Work @default.
- W2544418390 sameAs 2544418390 @default.
- W2544418390 citedByCount "8" @default.
- W2544418390 countsByYear W25444183902014 @default.
- W2544418390 countsByYear W25444183902019 @default.
- W2544418390 countsByYear W25444183902021 @default.
- W2544418390 crossrefType "proceedings-article" @default.
- W2544418390 hasAuthorship W2544418390A5012323418 @default.
- W2544418390 hasAuthorship W2544418390A5016883956 @default.
- W2544418390 hasConcept C104247578 @default.
- W2544418390 hasConcept C112876837 @default.
- W2544418390 hasConcept C114614502 @default.
- W2544418390 hasConcept C118615104 @default.
- W2544418390 hasConcept C121332964 @default.
- W2544418390 hasConcept C132074034 @default.
- W2544418390 hasConcept C138885662 @default.
- W2544418390 hasConcept C141603448 @default.
- W2544418390 hasConcept C199360897 @default.
- W2544418390 hasConcept C2524010 @default.
- W2544418390 hasConcept C2779662365 @default.
- W2544418390 hasConcept C33923547 @default.
- W2544418390 hasConcept C41008148 @default.
- W2544418390 hasConcept C41895202 @default.
- W2544418390 hasConcept C62520636 @default.
- W2544418390 hasConcept C97137487 @default.
- W2544418390 hasConceptScore W2544418390C104247578 @default.
- W2544418390 hasConceptScore W2544418390C112876837 @default.
- W2544418390 hasConceptScore W2544418390C114614502 @default.
- W2544418390 hasConceptScore W2544418390C118615104 @default.
- W2544418390 hasConceptScore W2544418390C121332964 @default.
- W2544418390 hasConceptScore W2544418390C132074034 @default.
- W2544418390 hasConceptScore W2544418390C138885662 @default.
- W2544418390 hasConceptScore W2544418390C141603448 @default.
- W2544418390 hasConceptScore W2544418390C199360897 @default.
- W2544418390 hasConceptScore W2544418390C2524010 @default.
- W2544418390 hasConceptScore W2544418390C2779662365 @default.
- W2544418390 hasConceptScore W2544418390C33923547 @default.
- W2544418390 hasConceptScore W2544418390C41008148 @default.
- W2544418390 hasConceptScore W2544418390C41895202 @default.
- W2544418390 hasConceptScore W2544418390C62520636 @default.
- W2544418390 hasConceptScore W2544418390C97137487 @default.
- W2544418390 hasLocation W25444183901 @default.
- W2544418390 hasOpenAccess W2544418390 @default.
- W2544418390 hasPrimaryLocation W25444183901 @default.
- W2544418390 hasRelatedWork W1567910696 @default.
- W2544418390 hasRelatedWork W2040624880 @default.
- W2544418390 hasRelatedWork W2081443805 @default.
- W2544418390 hasRelatedWork W2093506712 @default.
- W2544418390 hasRelatedWork W2109216294 @default.
- W2544418390 hasRelatedWork W2329993381 @default.
- W2544418390 hasRelatedWork W2544418390 @default.
- W2544418390 hasRelatedWork W2952799579 @default.
- W2544418390 hasRelatedWork W4294883796 @default.
- W2544418390 hasRelatedWork W2765602410 @default.
- W2544418390 isParatext "false" @default.
- W2544418390 isRetracted "false" @default.
- W2544418390 magId "2544418390" @default.
- W2544418390 workType "article" @default.