Login / Signup

Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages.

Jos C. M. BaetenJan A. BergstraJan Willem Klop
Published in: J. ACM (1993)
Keyphrases
  • context free languages
  • grammatical inference
  • context free
  • context free grammars
  • equivalence relation
  • regular languages
  • database
  • lower bound
  • np hard
  • natural language processing
  • context dependent