Abstract
We continue the study of combinatorial property testing. For a property ψ, an ɛ-test for ψ, for 0<ɛ⩽1, is a randomized algorithm that given an input x, returns “yes’’ if x satisfies ψ, and returns “no’’ with high probability if x is ɛ-far from satisfying ψ, where ɛ-far essentially means that an ɛ-fraction of x needs to be changed in order for it to satisfy ψ. In (Proceedings of the 40th IEEE Symposium on Foundations of Computer Science, 1999, pp. 645–655), Alon et al. show that regular languages are ɛ-testable with a constant (depends on ψ and ɛ and independent of x) number of queries. We extend the result in (Proceedings of the 40th IEEE Symposium on Foundations of Computer Science, 1999, pp. 645–655) to ω-regular languages: given a nondeterministic Büchi automaton A on infinite words and a small ɛ>0, we describe an algorithm that gets as input an infinite lasso-shape word of the form x·yω, for finite words x and y, samples only a constant number of letters in x and y, returns “yes’’ if w∈L(A), and returns “no’’ with probability 23 if w is ɛ-far from L(A). We also discuss the applicability of property testing to formal verification, where ω-regular languages are used for the specification of the behavior of nonterminating reactive systems, and computations correspond to lasso-shape words.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.