Deciding Bisimilarity of Normed Context-Free Processes is in Sigma^p_2.

Dung T. Huynh Lu Tian

Published in: Theor. Comput. Sci. (1994)

Keyphrases

context free
context dependent
context sensitive
grammatical inference
context free languages
context free grammars
graph grammars
attribute grammars
finite state
inductive inference
grammar rules
artificial intelligence
high level
query processing
co occurrence
tf idf