Akzeptor- / Automatenbegriff:
Der Begriff des Automaten und des endlichen deterministischen Akzeptors wurden in der Vorlesung vom 05.05.2000 gegeben.
Die Definition eines endlichen nichtdeterministischen vollständigen Akzeptors und eines endlichen nichtdeterministischen Akzeptors folgten in der Vorlesung vom 12.05.2000.