Go to WebsiteThe inverse Schützenberger methodology transforms a rational generating function into a (pseudo-) regular expression for a corresponding regular language, and is based on Soittola's Theorem about the N-rationality of a formal power series. It is implemented in the Maple package RLangGFun. This package has been written by Christoph Koutschan within the scope of his diploma thesis, advised by Prof. Volker Strehl at the University of Erlangen-Nuremberg, Germany.
The theoretical background for the algorithm has been described in
C. Koutschan, Regular Languages and Their Generating Functions: The Inverse Problem, Diploma Thesis, University of Erlangen, 2005, [pdf].
Versions and Bugs
The current version of the package is 1.1 last updated on 05-03-2008. Please report any bugs and comments to Christoph Koutschan.
Wir verwenden Cookies auf unserer Website. Durch Klicken auf OK oder Scrollen stimmen Sie der Verwendung von Cookies zu. Weitere Informationen finden Sie im Impressum