Change search
ReferencesLink to record
Permanent link

Direct link
CGE: A sequential learning algorithm for mealy automata
KTH, School of Computer Science and Communication (CSC), Theoretical Computer Science, TCS.ORCID iD: 0000-0002-9706-5008
2010 (English)In: Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings / [ed] José M. Sempere and Pedro García, 2010, 148-162 p.Conference paper (Refereed)
Abstract [en]

We introduce a new algorithm for sequential learning of Mealy automata by congruence generator extension (CGE). Our approach makes use of techniques from term rewriting theory and universal algebra for compactly representing and manipulating automata using finite congruence generator sets represented as string rewriting systems (SRS). We prove that the CGE algorithm correctly learns in the limit.

Place, publisher, year, edition, pages
2010. 148-162 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 6339
Keyword [en]
Generator sets, Sequential learning, Sequential learning algorithm, String rewriting, Term rewriting, Universal algebra
National Category
Computer and Information Science
URN: urn:nbn:se:kth:diva-62889DOI: 10.1007/978-3-642-15488-1_13ISI: 000312462500013ScopusID: 2-s2.0-78149252077ISBN: 978-364215487-4OAI: diva2:481294
10th International Colloquium on Grammatical Inference, ICGI 2010; Valencia; 13 September 2010 through 16 September 2010

QC 20120124

Available from: 2012-01-20 Created: 2012-01-20 Last updated: 2013-12-19Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Meinke, Karl
By organisation
Theoretical Computer Science, TCS
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 33 hits
ReferencesLink to record
Permanent link

Direct link