Deciding Branching Bimiliarity of Normed Context-Free Processes Is in \Sigma^ p_2

Didier Caucal Dung T. Huynh Lu Tian

Published in: Inf. Comput. (1995)

Keyphrases

context free
context sensitive
context dependent
grammatical inference
context free languages
finite state
context free grammars
graph grammars
inductive inference
parse tree
information retrieval
relational databases
grammar rules