On the learnability of output-DFA: a proof and an implementation
This paper presents an algorithm that learns Output-DFA by making Evaluation and Equivalence queries. The correctness and termination of the algorithm are discussed. A description of the implementation of the algorithm is also included.
| Autores: | , |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 1993 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/97216 |
| Acceso en línea: | https://hdl.handle.net/2117/97216 |
| Access Level: | acceso abierto |
| Palabra clave: | Output-DFA learning Evaluation queries Equivalence queries Algorithm Àrees temàtiques de la UPC::Informàtica::Programació |
| Sumario: | This paper presents an algorithm that learns Output-DFA by making Evaluation and Equivalence queries. The correctness and termination of the algorithm are discussed. A description of the implementation of the algorithm is also included. |
|---|