Login / Signup

R70-43 Lattice Functions, Pair Algebras, and Finite-State Machines.

Raymond T. Yeh
Published in: IEEE Trans. Computers (1970)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • boolean algebra
  • functional units
  • neural network
  • data model
  • test cases
  • regular expressions
  • algebraic structure
  • distributive lattices