Automata Theory And Formal Languages 2Nd Gi Conference Kaiserslautern May 2023 1975 1975