<theory> An automaton possessing with redundant states.
(1996-05-03)
Try this search on Wikipedia, OneLook, Google