Part of the Lecture Notes in Computer Science book series (LNCS, volume 33)
Piecewise testable events
KeywordsTestable Event Finite Index Congruence Relation Dead State Common Prefix
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
- Imre Simon, Hierarchies of Events with Dot-Depth One, Research Report CSRR 2070, Department of Applied Analysis and Computer Science, University of Waterloo, Ont., Canada, 1972.Google Scholar
- G. Thierrin, Convex Languages, in M. Nivat (ed.), "Automata, Languages and Programming", North-Holland, Amsterdam, 1973, 481–492.Google Scholar
© Springer-Verlag Berlin Heidelberg 1975