Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (553kB) | Preview |
A congruence-based perspective on automata minimization algorithms
Citation
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.
Description
| 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 |
Abstract
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.
Funding Projects
| 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 |
More information
| 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 |
