Library
(computer science) A nondeterministic, finite automaton with an auxiliary tape having the form of a push-down storage.
View more Science videos