Show simple item record

dc.contributor.authorLin, SW
dc.contributor.authorAndré, E
dc.contributor.authorDong, JS
dc.contributor.authorSun, J
dc.contributor.authorLiu, Y
dc.date.accessioned2017-10-24T02:45:25Z
dc.date.available2017-10-24T02:45:25Z
dc.date.issued2011
dc.identifier.issn0302-9743
dc.identifier.doi10.1007/978-3-642-24372-1_35
dc.identifier.urihttp://hdl.handle.net/10072/172921
dc.description.abstractIn inference of untimed regular languages, given an unknown language to be inferred, an automaton is constructed to accept the unknown language from answers to a set of membership queries each of which asks whether a string is contained in the unknown language. One of the most well-known regular inference algorithms is the L* algorithm, proposed by Angluin in 1987, which can learn a minimal deterministic finite automaton (DFA) to accept the unknown language. In this work, we propose an efficient polynomial time learning algorithm, TL*, for timed regular language accepted by event-recording automata. Given an unknown timed regular language, TL* first learns a DFA accepting the untimed version of the timed language, and then passively refines the DFA by adding time constraints. We prove the correctness, termination, and minimality of the proposed TL* algorithm.
dc.description.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofpagefrom463
dc.relation.ispartofpageto472
dc.relation.ispartofjournalLecture Notes in Computer Science
dc.relation.ispartofvolume6996 LNCS
dc.subject.fieldofresearchSoftware engineering not elsewhere classified
dc.subject.fieldofresearchcode461299
dc.titleAn efficient algorithm for learning event-recording automata
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.hasfulltextNo Full Text
gro.griffith.authorDong, Jin-Song


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record