Inductive inference of monogenic pure context-free languages

Noriyuki Tanida, Takashi Yokomori

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

A subclass of context-free languages, called pure context-free languages, which is generated by context-free grammar with only one type of symbol (i.e., terminals and nonterminals are not distinguished), is introduced and the problem of identifying from positive data a restricted class of monogenic pure context-free languages (mono-PCF languages, in short) is investigated. The class of mono-PCF languages is incomparable to the class of regular languages. In this paper we show that the class of mono-PCF languages is polynomial time identifiable from positive data. That is, there is an algorithm that, given a mono-PCF language L, identifies from positive data, a grammar generating L, called a monogenic pure context-free grammar (mono-PCF grammar, in short) satisfying the property that the time for updating a conjecture is bounded by O (N3), where AT is the sum of lengths of all positive data provided. This is in contrast with another result in this paper that the class of PCF languages is not identifiable in the limit from positive data.

Original languageEnglish
Pages (from-to)1503-1510
Number of pages8
JournalIEICE Transactions on Information and Systems
VolumeE79-D
Issue number11
Publication statusPublished - 1996
Externally publishedYes

Fingerprint

Context free languages
Context free grammars
Formal languages
Polynomials

Keywords

  • Inductive inference
  • Monogenic pure context-free languages
  • Polynomial-time

ASJC Scopus subject areas

  • Information Systems
  • Computer Graphics and Computer-Aided Design
  • Software

Cite this

Inductive inference of monogenic pure context-free languages. / Tanida, Noriyuki; Yokomori, Takashi.

In: IEICE Transactions on Information and Systems, Vol. E79-D, No. 11, 1996, p. 1503-1510.

Research output: Contribution to journalArticle

@article{77c9affd82b648568fc305fb90915fc1,
title = "Inductive inference of monogenic pure context-free languages",
abstract = "A subclass of context-free languages, called pure context-free languages, which is generated by context-free grammar with only one type of symbol (i.e., terminals and nonterminals are not distinguished), is introduced and the problem of identifying from positive data a restricted class of monogenic pure context-free languages (mono-PCF languages, in short) is investigated. The class of mono-PCF languages is incomparable to the class of regular languages. In this paper we show that the class of mono-PCF languages is polynomial time identifiable from positive data. That is, there is an algorithm that, given a mono-PCF language L, identifies from positive data, a grammar generating L, called a monogenic pure context-free grammar (mono-PCF grammar, in short) satisfying the property that the time for updating a conjecture is bounded by O (N3), where AT is the sum of lengths of all positive data provided. This is in contrast with another result in this paper that the class of PCF languages is not identifiable in the limit from positive data.",
keywords = "Inductive inference, Monogenic pure context-free languages, Polynomial-time",
author = "Noriyuki Tanida and Takashi Yokomori",
year = "1996",
language = "English",
volume = "E79-D",
pages = "1503--1510",
journal = "IEICE Transactions on Information and Systems",
issn = "0916-8532",
publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
number = "11",

}

TY - JOUR

T1 - Inductive inference of monogenic pure context-free languages

AU - Tanida, Noriyuki

AU - Yokomori, Takashi

PY - 1996

Y1 - 1996

N2 - A subclass of context-free languages, called pure context-free languages, which is generated by context-free grammar with only one type of symbol (i.e., terminals and nonterminals are not distinguished), is introduced and the problem of identifying from positive data a restricted class of monogenic pure context-free languages (mono-PCF languages, in short) is investigated. The class of mono-PCF languages is incomparable to the class of regular languages. In this paper we show that the class of mono-PCF languages is polynomial time identifiable from positive data. That is, there is an algorithm that, given a mono-PCF language L, identifies from positive data, a grammar generating L, called a monogenic pure context-free grammar (mono-PCF grammar, in short) satisfying the property that the time for updating a conjecture is bounded by O (N3), where AT is the sum of lengths of all positive data provided. This is in contrast with another result in this paper that the class of PCF languages is not identifiable in the limit from positive data.

AB - A subclass of context-free languages, called pure context-free languages, which is generated by context-free grammar with only one type of symbol (i.e., terminals and nonterminals are not distinguished), is introduced and the problem of identifying from positive data a restricted class of monogenic pure context-free languages (mono-PCF languages, in short) is investigated. The class of mono-PCF languages is incomparable to the class of regular languages. In this paper we show that the class of mono-PCF languages is polynomial time identifiable from positive data. That is, there is an algorithm that, given a mono-PCF language L, identifies from positive data, a grammar generating L, called a monogenic pure context-free grammar (mono-PCF grammar, in short) satisfying the property that the time for updating a conjecture is bounded by O (N3), where AT is the sum of lengths of all positive data provided. This is in contrast with another result in this paper that the class of PCF languages is not identifiable in the limit from positive data.

KW - Inductive inference

KW - Monogenic pure context-free languages

KW - Polynomial-time

UR - http://www.scopus.com/inward/record.url?scp=0030291669&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030291669&partnerID=8YFLogxK

M3 - Article

VL - E79-D

SP - 1503

EP - 1510

JO - IEICE Transactions on Information and Systems

JF - IEICE Transactions on Information and Systems

SN - 0916-8532

IS - 11

ER -