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 proceedingConference contribution

Original languageEnglish
Title of host publication8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019
EditorsMarkus Roggenbach, Ana Sokolova
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages1-22
Number of pages22
ISBN (Electronic)9783959771207
DOIs
Publication statusPublished - Jun 2019
Event8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 - London, United Kingdom
Duration: 3 Jun 20196 Jun 2019

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume139
ISSN (Print)1868-8969

Conference

Conference8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019
Country/TerritoryUnited Kingdom
CityLondon
Period3/06/196/06/19

Keywords

  • Algebras
  • Determinisation
  • Minimisation
  • Nerode equivalence
  • Tree automata

Cite this