Elektronische Datenverarbeitungsanlagen und Automatentheorie