DocumentCode
2200931
Title
On star-free events
Author
Zalcstein, Yechezkel
fYear
1970
fDate
28-30 Oct. 1970
Firstpage
76
Lastpage
80
Abstract
It is an open problem, suggested by Papert and McNaughton, to find a decision procedure for determining whether a regular event is locally testable. In this paper we provide a partial solution, giving two effectively decidable conditions, one necessary and one sufficient, for local testability. Our proofs are for the most part algebraic, using machine decompositions and semigroup theory.
fLanguage
English
Publisher
ieee
Conference_Titel
Switching and Automata Theory, 1970., IEEE Conference Record of 11th Annual Symposium on
Conference_Location
USA
ISSN
0272-4847
Type
conf
DOI
10.1109/SWAT.1970.14
Filename
4569636
Link To Document