article

Free access

Lattice Functions, Pair Algebras, and Finite-State Machines

Author:

C. L. LiuAuthors Info & Claims

Journal of the ACM (JACM), Volume 16, Issue 3

Pages 442 - 454

https://doi.org/10.1145/321526.321533

Published: 01 July 1969 Publication History

PDF eReader

References

[1]

BIRKHOFF, G. Lattice Theory. Amer. Math. Soc. Coll. Pub., Vol. 25, N. Y.

Google Scholar

[2]

HARTMANIS, J., AND STEAINS, 2. E. Algebraic Slructure Theory of Sequential Machines. Prentice-Hall, Englewood Cliffs, N. J., 1966.

Crossref

Google Scholar

[3]

LIU, C.L. Pair algebra and its application. IEEE Conf. Ree. of Seventh Ann. Syrup. on Switching nd Automata Theory, IEEE Pub. No. 16-C-40, 1966, pp. 103-111.

Google Scholar

[4]

YEH, R.T. Generalized pair algebra with pplictions to utomt theory J. ACM 16, 2 (Apr. 1968), 304-316.

Crossref

Google Scholar

Cited By

View all

Philokyprou GHalatsis CGaitanis N(1977)On the Problem of Finding d, t, r, and j Type Partition Pairs of a Sequential MachineIEEE Transactions on Computers10.1109/TC.1977.167482426:3(294-297)Online publication date: 1-Mar-1977
https://dl.acm.org/doi/10.1109/TC.1977.1674824
Karpov Y(1975)Method of increasing the reliability of discrete devices that are implemented using microelectronic circuitryCybernetics10.1007/BF0106870510:3(398-404)Online publication date: 1975
https://doi.org/10.1007/BF01068705
Schwebel JMcCormick B(1970)Consistent properties of composite formation under a binary relationInformation Sciences: an International Journal10.1016/S0020-0255(70)80049-42:2(179-209)Online publication date: 1-Apr-1970
https://dl.acm.org/doi/10.1016/S0020-0255%2870%2980049-4
Show More Cited By

Index Terms

Lattice Functions, Pair Algebras, and Finite-State Machines
1. Mathematics of computing
  1. Discrete mathematics
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

Lattice-valued finite state machines and lattice-valued transformation semigroups

This paper provides a generalization of known results about fuzzy finite state machines, fuzzy transformation semigroups and their relationship by broading the truth values domain from the interval [0,1] to a complete lattice endowed with a t-norm and a ...
Lattice pseudoeffect algebras as double residuated structures
Special Issue on Evolutionary Fuzzy Systems

Pseudoeffect algebras are partial algebraic structures which are non-commutative generalizations of effect algebras. The main result of the paper is a characterization of lattice pseudoeffect algebras in terms of so-called pseudo Sasaki algebras. In ...
State-morphism algebras---General approach

We present a complete description of subdirectly irreducible state BL-algebras as well as of subdirectly irreducible state-morphism BL-algebras. In addition, we present a general theory of state-morphism algebras, that is, algebras of general type with ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Journal of the ACM Volume 16, Issue 3

July 1969

168 pages

ISSN:0004-5411

EISSN:1557-735X

DOI:10.1145/321526

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1969

Published in JACM Volume 16, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
269
Total Downloads

Downloads (Last 12 months)46
Downloads (Last 6 weeks)6

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Philokyprou GHalatsis CGaitanis N(1977)On the Problem of Finding d, t, r, and j Type Partition Pairs of a Sequential MachineIEEE Transactions on Computers10.1109/TC.1977.167482426:3(294-297)Online publication date: 1-Mar-1977
https://dl.acm.org/doi/10.1109/TC.1977.1674824
Karpov Y(1975)Method of increasing the reliability of discrete devices that are implemented using microelectronic circuitryCybernetics10.1007/BF0106870510:3(398-404)Online publication date: 1975
https://doi.org/10.1007/BF01068705
Schwebel JMcCormick B(1970)Consistent properties of composite formation under a binary relationInformation Sciences: an International Journal10.1016/S0020-0255(70)80049-42:2(179-209)Online publication date: 1-Apr-1970
https://dl.acm.org/doi/10.1016/S0020-0255%2870%2980049-4
Yeh R(1970)Structural equivalence of automataMathematical Systems Theory10.1007/BF016911044:2(198-211)Online publication date: Jun-1970
https://doi.org/10.1007/BF01691104

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Lattice-valued finite state machines and lattice-valued transformation semigroups

Lattice pseudoeffect algebras as double residuated structures

State-morphism algebras---General approach

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations