Tree Automata as Algebras: Minimisation and Determinisation

Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva

doi:10.4230/LIPIcs.CALCO.2019.6

Tree Automata as Algebras: Minimisation and Determinisation

Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019
Editors	Markus Roggenbach, Ana Sokolova
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages	1-22
Number of pages	22
ISBN (Electronic)	9783959771207
DOIs	https://doi.org/10.4230/LIPIcs.CALCO.2019.6
Publication status	Published - Jun 2019
Event	8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 - London, United Kingdom Duration: 3 Jun 2019 → 6 Jun 2019

Publication series

Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	139
ISSN (Print)	1868-8969

Conference

Conference	8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019
Country/Territory	United Kingdom
City	London
Period	3/06/19 → 6/06/19

Keywords

Algebras
Determinisation
Minimisation
Nerode equivalence
Tree automata

Access to Document

10.4230/LIPIcs.CALCO.2019.6Licence: CC BY

Cite this

van Heerdt, G., Kappé, T., Rot, J., Sammartino, M., & Silva, A. (2019). Tree Automata as Algebras: Minimisation and Determinisation. In M. Roggenbach, & A. Sokolova (Eds.), 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 (pp. 1-22). Article 6 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 139). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CALCO.2019.6

van Heerdt, Gerco ; Kappé, Tobias ; Rot, Jurriaan et al. / Tree Automata as Algebras : Minimisation and Determinisation. 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. editor / Markus Roggenbach ; Ana Sokolova. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. pp. 1-22 (Leibniz International Proceedings in Informatics, LIPIcs).

@inproceedings{07bd8f677b5449908351de426c8c2f64,

title = "Tree Automata as Algebras: Minimisation and Determinisation",

keywords = "Algebras, Determinisation, Minimisation, Nerode equivalence, Tree automata",

author = "\{van Heerdt\}, Gerco and Tobias Kapp{\'e} and Jurriaan Rot and Matteo Sammartino and Alexandra Silva",

year = "2019",

month = jun,

doi = "10.4230/LIPIcs.CALCO.2019.6",

language = "English",

series = "Leibniz International Proceedings in Informatics, LIPIcs",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

pages = "1--22",

editor = "Markus Roggenbach and Ana Sokolova",

booktitle = "8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019",

note = "8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 ; Conference date: 03-06-2019 Through 06-06-2019",

}

van Heerdt, G, Kappé, T, Rot, J, Sammartino, M & Silva, A 2019, Tree Automata as Algebras: Minimisation and Determinisation. in M Roggenbach & A Sokolova (eds), 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019., 6, Leibniz International Proceedings in Informatics, LIPIcs, vol. 139, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 1-22, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, London, United Kingdom, 3/06/19. https://doi.org/10.4230/LIPIcs.CALCO.2019.6

Tree Automata as Algebras: Minimisation and Determinisation. / van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan et al.
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. ed. / Markus Roggenbach; Ana Sokolova. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. p. 1-22 6 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 139).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Tree Automata as Algebras

T2 - 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019

AU - van Heerdt, Gerco

AU - Kappé, Tobias

AU - Rot, Jurriaan

AU - Sammartino, Matteo

AU - Silva, Alexandra

PY - 2019/6

Y1 - 2019/6

KW - Algebras

KW - Determinisation

KW - Minimisation

KW - Nerode equivalence

KW - Tree automata

U2 - 10.4230/LIPIcs.CALCO.2019.6

DO - 10.4230/LIPIcs.CALCO.2019.6

M3 - Conference contribution

AN - SCOPUS:85076032534

T3 - Leibniz International Proceedings in Informatics, LIPIcs

SP - 1

EP - 22

BT - 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019

A2 - Roggenbach, Markus

A2 - Sokolova, Ana

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

Y2 - 3 June 2019 through 6 June 2019

ER -

van Heerdt G, Kappé T, Rot J, Sammartino M, Silva A. Tree Automata as Algebras: Minimisation and Determinisation. In Roggenbach M, Sokolova A, editors, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2019. p. 1-22. 6. (Leibniz International Proceedings in Informatics, LIPIcs). doi: 10.4230/LIPIcs.CALCO.2019.6