Sciweavers

47 search results - page 3 / 10
» Partially-Commutative Context-Free Processes
Sort
View
ICALP
1993
Springer
13 years 11 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen
ICGI
2010
Springer
13 years 8 months ago
Distributional Learning of Some Context-Free Languages with a Minimally Adequate Teacher
Angluin showed that the class of regular languages could be learned from a Minimally Adequate Teacher (mat) providing membership and equivalence queries. Clark and Eyraud (2007) sh...
Alexander Clark
ICGI
2000
Springer
13 years 11 months ago
Constructive Learning of Context-Free Languages with a Subpansive Tree
A subpansive tree is a rooted tree that gives a partial order of nonterminal symbols of a context-free grammar. We formalize subpansive trees as background knowledge of CFGs, and i...
Noriko Sugimoto, Takashi Toyoshima, Shinichi Shimo...
ICGI
2010
Springer
13 years 8 months ago
Polynomial-Time Identification of Multiple Context-Free Languages from Positive Data and Membership Queries
This paper presents an efficient algorithm that identifies a rich subclass of multiple context-free languages in the limit from positive data and membership queries by observing wh...
Ryo Yoshinaka