TY - GEN
T1 - Identification in the limit of k,l-substitutable context-free languages
AU - Yoshinaka, Ryo
PY - 2008/11/28
Y1 - 2008/11/28
N2 - Recently Clark and Eyraud (2005, 2007) have shown that substitutable context-free languages are polynomial-time identifiable in the limit from positive data. Substitutability in context-free languages can be thought of as the analogue of reversibility in regular languages. While reversible languages admit a hierarchy, namely k-reversible regular languages for each nonnegative integer k, Clark and Eyraud targeted the subclass of context-free languages that corresponds to zero-reversible regular languages only. Following Clark and Eyraud's proposal, this paper introduces a hierarchy of substitutable context-free languages as the analogue of that of k-reversible regular languages and shows that each class in the hierarchy is also polynomial-time identifiable in the limit from positive data.
AB - Recently Clark and Eyraud (2005, 2007) have shown that substitutable context-free languages are polynomial-time identifiable in the limit from positive data. Substitutability in context-free languages can be thought of as the analogue of reversibility in regular languages. While reversible languages admit a hierarchy, namely k-reversible regular languages for each nonnegative integer k, Clark and Eyraud targeted the subclass of context-free languages that corresponds to zero-reversible regular languages only. Following Clark and Eyraud's proposal, this paper introduces a hierarchy of substitutable context-free languages as the analogue of that of k-reversible regular languages and shows that each class in the hierarchy is also polynomial-time identifiable in the limit from positive data.
UR - http://www.scopus.com/inward/record.url?scp=56649097224&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=56649097224&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-88009-7_21
DO - 10.1007/978-3-540-88009-7_21
M3 - Conference contribution
AN - SCOPUS:56649097224
SN - 3540880089
SN - 9783540880080
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 266
EP - 279
BT - Grammatical Inference
T2 - 9th International Colloquium on Grammatical Inference, ICGI 2008
Y2 - 22 September 2008 through 24 September 2008
ER -