Now showing items 1-1 of 1

    • A taxonomy of minimisation algorithms for deterministic tree automata 

      Bjorklund, Johanna; Cleophas, Loek (J.UCS Consortium, 2016)
      We present a taxonomy of algorithms for minimising deterministic bottomup tree automata (dtas) over ranked and ordered trees. Automata of this type and its extensions are used in many application areas, including natural ...