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