Login / Signup

Easily testable PLA-based finite state machines.

Srinivas DevadasHi-Keung Tony MaA. Richard Newton
Published in: FTCS (1989)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • regular expressions
  • state transition
  • digital circuits
  • databases
  • hidden markov models
  • object oriented
  • natural language processing
  • integrity constraints