Title: Elektronische Datenverarbeitungsanlagen und Automatentheorie