Equivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars

Bruno Courcelle. Equivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars. Theoretical Computer Science, 42:1-122, 1986.

Abstract

Abstract is missing.