Lexikon der Mathematik: deterministischer linear beschränkter Akzeptor
Spezialfall eines nichtdeterministischen linear beschränkten Akzeptors, bei dem jede Folgekonfiguration durch den aktuellen Zustand und das aktuelle Bandzeichen eindeutig bestimmt ist. Die Übergangsrelation δ wird also zu einer Funktion von (Q \ F) × Γ nach Q × Γ × {R, L, N}.
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!