Now showing items 1-1 of 1

  • Kongruence pro stromové automaty 

    Žufan, Petr
    Tento článek pojednává o testování ekvivalence stromových automatů (TA). Přináší nový algoritmus vycházející z algoritmu Bonchiho a Pouse pro slovní automaty. Tento nový algoritmus spojuje bisimulaci s determinizací za ...