Right and Left Strongly Locally Testable Semigroups and Languages

Ruiz, José; Garcia, Pedro Castillo

doi:10.1142/9789812792464_0020

Cited by 1 publication

(2 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For instance, k-testable semigroups form variety ([Zalcstein, 1973]), locally threshold testable semigroups ([Beauquier Pin, 1989]) and piecewise testable semigroups ([Simon, 1975]) form pseudovariety. Left [right] locally testable semigroups form quasivariety because they are locally idempotent and satisfy locally some identities ([Garcia Ruiz, 2000]). Let us mention also Eilenberg classical variety theorem ([Eilenberg, 1976]).…”

Section: Verification Tools Of the Packagementioning

confidence: 99%

“…Right [left] local testability was introduced and studied by König ([]Ko) and by Garcia and Ruiz ([]GR). Algorithms for right local testability, for left local testability for the transition graph and corresponding algorithm for the transition semigroup of an automaton ( [Trahtman, 2002]) used in the package TESTAS are based on the results of the paper ([Garcia Ruiz, 2000]). The time complexity of the semigroup algorithm for both left and right local testability is O(ni).…”

Section: Right [Left] Local Testabilitymentioning

confidence: 99%

See 1 more Smart Citation

A Package TESTAS for Checking Some Kinds of Testability

Trahtman

2003

Implementation and Application of Automata

View full text Add to dashboard Cite

We implement a set of procedures for deciding whether or not a language given by its minimal automaton or by its syntactic semigroup is locally testable, right or left locally testable, threshold locally testable, strictly locally testable, or piecewise testable. The bounds on order of local testability of transition graph and order of local testability of transition semigroup are also found. For given k, the k-testability of transition graph is verified. Some new effective polynomial time algorithms are used. These algorithms have been implemented as a C/C ++ package.

show abstract

Section: Verification Tools Of the Packagementioning

confidence: 99%

Section: Right [Left] Local Testabilitymentioning

confidence: 99%