Ein Bottom-Up-Automat (, Q, F, R) heißt deterministisch, wenn in R alle linken Regelseiten verschieden sind.
Ein Top-Down-Automat (, Q, F, R) heißt deterministisch, wenn?
Es gibt Baumsprachen, die einen deterministischen bottom-up-, aber keine deterministischen top-down-Automaten besitzen.