8 citations · 17 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.FL2021
Verification Tools for Checking some kinds of Testability
A. N. Trahtman
A locally testable language L is a language with the property that for some non negative integer k, called the order of local testability, whether or not a word u is in the languag…
cs.FL2021★ 8 cited
An algorithm to verify local threshold testability of deterministic finite automata
A. N. Trahtman
A locally threshold testable language L is a language with the property that for some non negative integers k and l, whether or not a word u is in the language L depends on (1) the…