Login / Signup

Undecidability of the equivalence of finite substitutions on regular language.

Vesa HalavaTero Harju
Published in: RAIRO Theor. Informatics Appl. (1999)
Keyphrases
  • description logics
  • programming language
  • natural language
  • neural network
  • finite number
  • language processing
  • specification language
  • context free
  • expressive power
  • language learning
  • query containment
  • modal operators