Minimization of deterministic top-down tree automata

We consider offline sensing unranked top-down tree automata in which the state transitions are computed by bimachines. We give a polynomial time algorithm for minimizing such tree automata when they are state-separated.

Elmentve itt :
Bibliográfiai részletek
Szerzők: Fülöp Zoltán
Vágvölgyi Sándor
Dokumentumtípus: Cikk
Megjelent: 2017
Sorozat:Acta cybernetica 23 No. 1
Kulcsszavak:Automaták elmélete - véges, Algebra, Véges automaták, Matematikai logika
Tárgyszavak:
doi:10.14232/actacyb.23.1.2017.21

Online Access:http://acta.bibl.u-szeged.hu/50079
LEADER 01115nab a2200253 i 4500
001 acta50079
005 20220620143946.0
008 180212s2017 hu o 0|| eng d
022 |a 0324-721X 
024 7 |a 10.14232/actacyb.23.1.2017.21  |2 doi 
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 1 |a Fülöp Zoltán 
245 1 0 |a Minimization of deterministic top-down tree automata  |h [elektronikus dokumentum] /  |c  Fülöp Zoltán 
260 |c 2017 
300 |a 379-401 
490 0 |a Acta cybernetica  |v 23 No. 1 
520 3 |a We consider offline sensing unranked top-down tree automata in which the state transitions are computed by bimachines. We give a polynomial time algorithm for minimizing such tree automata when they are state-separated. 
650 4 |a Természettudományok 
650 4 |a Matematika 
650 4 |a Számítás- és információtudomány 
695 |a Automaták elmélete - véges, Algebra, Véges automaták, Matematikai logika 
700 0 1 |a Vágvölgyi Sándor  |e aut 
856 4 0 |u http://acta.bibl.u-szeged.hu/50079/1/actacyb_23_1_2017_21.pdf  |z Dokumentum-elérés