pdf-format: |
|
@InProceedings{colcombet_et_al:LIPIcs:2017:8048, author = {Thomas Colcombet and Daniela Petrisan}, title = {{Automata Minimization: a Functorial Approach}}, booktitle = {7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)}, pages = {8:1--8:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-033-0}, ISSN = {1868-8969}, year = {2017}, volume = {72}, editor = {Filippo Bonchi and Barbara K{\"o}nig}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2017/8048}, URN = {urn:nbn:de:0030-drops-80484}, doi = {10.4230/LIPIcs.CALCO.2017.8}, annote = {Keywords: functor automata, minimization, Choffrut's minimization algorithm, subsequential transducers, Brzozowski's minimization algorithm} }
Keywords: | functor automata, minimization, Choffrut's minimization algorithm, subsequential transducers, Brzozowski's minimization algorithm | |
Seminar: | 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) | |
Issue date: | 2017 | |
Date of publication: | 17.11.2017 |