Search for dissertations about: "bisimulation minimisation"

Found 1 swedish dissertation containing the words bisimulation minimisation.

2. 1. Contributions to the theory and applications of tree languages

   Author : Johanna Högberg; Frank Drewes; Manfred Droste; Umeå universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; regular tree languages; tree series; algorithmic learning; MAT-learning; bisimulation minimisation; tree-based generation; algorithmic composition; music algebra; Computer science; Datalogi;

   Abstract : This thesis is concerned with theoretical as well as practical aspects of tree languages. It consists of an introduction and eight papers, organised into three parts. READ MORE