Advertisement

Piecewise testable events

  • Imre Simon
Donnerstagnachmittag
Part of the Lecture Notes in Computer Science book series (LNCS, volume 33)

Keywords

Testable 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.

5. References

  1. [1]
    J.A. Brzozowski and Imre Simon, Characterizations of Locally Testable Events, Discrete Mathematics 4 (1973), 243–271.MathSciNetCrossRefGoogle Scholar
  2. [2]
    A.H. Clifford and G.B. Preston, "The Algebraic Theory of Semigroups" vol. I, Mathematical Surveys no. 7, American Mathematical Society, Providence, RI, 1961.CrossRefGoogle Scholar
  3. [3]
    R. Cohen and J.A. Brzozowski, Dot-Depth of Star-Free Events, J. of Computer and System Sciences 5 (1971), 1–16.MathSciNetCrossRefGoogle Scholar
  4. [4]
    A. Ginzburg, "Algebraic Theory of Automata", Academic Press, New York, 1968.zbMATHGoogle Scholar
  5. [5]
    L.H. Haines, On Free Monoids Partially Ordered by Embedding, J. of Combinatorial Theory 6 (1969), 94–98.MathSciNetCrossRefGoogle Scholar
  6. [6]
    R. McNaughton, Algebraic Decision Procedures for Local Testability, Mathematical Systems Theory 8 (1974), 60–76.MathSciNetCrossRefGoogle Scholar
  7. [7]
    R. McNaughton and S. Papert, "Counter Free Automata", The MIT Press, Cambridge, Mass., 1971.zbMATHGoogle Scholar
  8. [8]
    M.P. Schützenberger, On Finite Monoids Having Only Trivial Subgroups, Information and Control 8 (1965), 190–194.MathSciNetCrossRefGoogle Scholar
  9. [9]
    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
  10. [10]
    G. Thierrin, Convex Languages, in M. Nivat (ed.), "Automata, Languages and Programming", North-Holland, Amsterdam, 1973, 481–492.Google Scholar
  11. [11]
    Y. Zalcstein, Locally Testable Languages, J. of Computer and System Sciences 6 (1972) 151–167.MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Imre Simon
    • 1
  1. 1.Departmento de Matemática AplicadaUniversidade de São PauloBrasil

Personalised recommendations