Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (553kB) | Preview |
Ganty, Pierre and Gutiérrez Viedma, Elena and Valero Mejía, Pedro (2019). A congruence-based perspective on automata minimization algorithms. In: "44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)", 26-30 Aug 2019, Aachen, Alemania. ISBN 978-3-95977-117-7. pp.. https://doi.org/10.4230/LIPIcs.MFCS.2019.50.
Title: | A congruence-based perspective on automata minimization algorithms |
---|---|
Author/s: |
|
Item Type: | Presentation at Congress or Conference (Article) |
Event Title: | 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) |
Event Dates: | 26-30 Aug 2019 |
Event Location: | Aachen, Alemania |
Title of Book: | MFCS 2019: 44th International Symposium on Mathematical Foundations of Computer Science |
Date: | 2019 |
ISBN: | 978-3-95977-117-7 |
Subjects: | |
Freetext Keywords: | Double-reversal method; Minimization; Automata; Congruences; Regular languages |
Faculty: | E.T.S. de Ingenieros Informáticos (UPM) |
Department: | Otro |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (553kB) | Preview |
In this work we use a framework of finite-state automata constructions based on equivalences over words to provide new insights on the relation between well-known methods for computing the minimal deterministic automaton of a language.
Type | Code | Acronym | Leader | Title |
---|---|---|---|---|
Government of Spain | PGC2018-102210-B-I00 | Unspecified | Fundación IMDEA Software | Fundamentos para el desarrollo, análisis y comprensión de los blockchains y los contratos inteligentes |
Madrid Regional Government | S2018/TCS4339 | BLOQUES-CM | Unspecified | Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisis |
Government of Spain | RYC-2016-20281 | Unspecified | Fundación IMDEA Software | Unspecified |
Government of Spain | BES-2016-077136 | Unspecified | Fundación IMDEA Software | Unspecified |
Item ID: | 57611 |
---|---|
DC Identifier: | https://oa.upm.es/57611/ |
OAI Identifier: | oai:oa.upm.es:57611 |
DOI: | 10.4230/LIPIcs.MFCS.2019.50 |
Official URL: | https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=11021 |
Deposited by: | Memoria Investigacion |
Deposited on: | 17 Feb 2020 10:10 |
Last Modified: | 30 Nov 2022 09:00 |