Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata.

Sven Schneider Uwe Nestmann

Published in: CoRR (2014)

Keyphrases

desirable properties
structural properties
neural network
information retrieval
finite automata
finite state
data structure
regular expressions
turing machine
real time
global consistency
black box
evolutionary algorithm
expert systems
database systems
knowledge base
decision making
learning algorithm