Skip to main content
SpringerLink
Log in

Direct and subdirect product structure theorems for non-deterministic automata

  • Published:
Mathematical systems theory Aims and scope Submit manuscript

Abstract

A complete non-deterministic automaton may be viewed as a relational system with unary and binary relations. These relations must satisfy certain closure properties. On the basis of these properties, recent results concerning the representation of general relational systems as direct and subdirect products are specialized to more precise results for non-deterministic automata. For example, we prove that the representations of a non-deterministic automaton as a direct product correspond in a one-to-one way to certain families ofideals of the automaton. The ideal of an automaton are seen to play an essential role in describing its structure, and a number of the properties of ideals are delineated.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. G. Birkhoff,Lattice Theory, Amer. Math. Soc. Colloq. Publ., Amer. Math. Soc., Providence, Rhode Island, 1948.

    Google Scholar 

  2. O. Ore, Theory of equivalence relations,Duke Math. J. 9 (1942), 573–627.

    Google Scholar 

  3. H. E. Pickett, Subdirect representations of relational systems,Fund. Math. 56 (1964), 223–240.

    Google Scholar 

  4. H. E. Pickett,Theory of Relational Algebras, Unpublished Manuscript.

  5. M. Rabin andD. Scott, Finite automata and their decision problems,IBM J. Res. Develop. 3 (1959), 114–125.

    Google Scholar 

Download references

Author information

Author notes

  1. H. E. Pickett

    Present address: Aerospace Corporation, San Bernardino, California, USA

Authors and Affiliations

  1. Chevron Research Company, Richmond, California, USA

    H. E. Pickett

Authors
  1. H. E. Pickett
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pickett, H.E. Direct and subdirect product structure theorems for non-deterministic automata. Math. Systems Theory 4, 357–372 (1970). https://doi.org/10.1007/BF01704079

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01704079

Keywords

Search

Navigation