Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language.
Olivier FinkelPublished in: CoRR (2011)
Keyphrases
- regular languages
- description logics
- wide range
- natural language
- language learning
- programming language
- semantic relations
- language processing
- neural network
- image sequences
- intended meaning
- logical structure
- finite automata
- specification language
- computational linguistics
- point correspondences
- image matching
- decision making