Infinite Words and Morphic Languages Formalized in Isabelle/HOL.
Stepán StarostaPublished in: CoRR (2023)
Keyphrases
- theorem prover
- natural deduction
- n gram
- language independent
- arabic language
- language specific
- theorem proving
- inference rules
- databases
- first order logic
- expressive power
- word order
- formal methods
- indian languages
- related words
- higher order logic
- text documents
- syntactic categories
- cross lingual
- word recognition
- language model
- regular languages
- probabilistic model
- keywords
- arabic documents
- multilingual documents
- compound words
- pos taggers
- word segmentation
- english words
- pos tagging
- language identification
- word pairs
- text corpora
- target language
- word sense disambiguation
- knowledge base