Trends and Applications in Formal Language Theory (Dagstuhl Seminar 9142)
Franz–Josef Brandenburg, Jean Berstel, Detlef Wotschke · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 1992
Ausgangspunkt sind TOL-Systeme, deren Parallelableitungen durch Kontrollsprachen reguliert werden.Diese werden dadurch verallgemeinert, daß formale Potenzreihen über endlichen Substitutionen auf formale Potenzreihen über Wörtem angewendet werden.Stammen die Potenzreihen aus abstrakten Familien von Potenzreihen (AFP), so erhält man unter gewissen Bedingungen -als Verallgemeinerung des AFL-Resultates für ETOL-Sprachen -wieder eine AFP.Beschränkt man sich auf algebraische Potenzreihen über N und auf Homomorphismen, kann man -in Verallgemeinerung von Paz, Salomaa (1973) -Wachstumsmatrizen de nieren und damit algebraische Potenzreihen (im Sinne der Funktionentheorie) erzeugen, die fir gewisse kombinatorische Abzählprobleme eingesetzt werden können.Monadic second-order de nable graph transductions