1 research outputs found
Polynomial time algorithm for left [right] local testability
A right [left] locally testable language S is a language with the property
that for some non negative integer k two words u and v in alphabet S are equal
in the semi group if (1) the prefix and suffix of the words of length k
coincide, (2) the set of segments of length k of the words as well as 3) the
order of the first appearance of these segments in prefixes [suffixes]
coincide. We present necessary and sufficient condition for graph [semi group]
to be transition graph [semi group] of the deterministic finite automaton that
accepts right [left] locally testable language and necessary and sufficient
condition for transition graph of the deterministic finite automaton with
locally idempotent semi group. We introduced polynomial time algorithms for the
right [left] local testable problem for transition semi group and transition
graph of the deterministic finite automaton based on these conditions.
Polynomial time algorithm verifies transition graph of automaton with locally
idempotent transition semi group.Comment: 10 page