Mircea Marin, Teimuraz Kutsia,
"Computational Methods in an Algebra of Regular Hedge Expressions"
, Serie RISC Report Series, University of Linz, Austria, Nummer 09--03, RISC, JKU Linz, Schloss Hagenberg, 4232 Hagenberg, 3-2009
Computational Methods in an Algebra of Regular Hedge Expressions
Sprache des Titels:
We propose an algebra of regular hedge expressions built on top of regular hedge grammars as a framework for the analysis and manipulation of hedge languages. We show how linear systems of hedge language equations (LS for short) can be used as an intermediate representation on which to perform the computation of quotient, intersection, product derivative, and factor matrix of regular hedge languages. Regular hedge grammars and LSs are shown to be formalisms of same expressive power for the representation of hedge languages, and we give algorithms to convert between these two formalisms.