Sciweavers

47 search results - page 3 / 10
» Partially-Commutative Context-Free Processes
Sort
View
ICALP
1993
Springer
15 years 5 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen
76
Voted
CONCUR
1992
Springer
15 years 5 months ago
Bisimulation Equivalence is Decidable for all Context-Free Processes
Søren Christensen, Hans Hüttel, Colin ...
110
Voted
ICGI
2010
Springer
15 years 2 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
124
Voted
ICGI
2000
Springer
15 years 4 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...
120
Voted
ICGI
2010
Springer
15 years 2 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