On the Commutative Equivalence of Algebraic Formal Series and Languages.
Arturo CarpiFlavio D'AlessandroPublished in: Int. J. Found. Comput. Sci. (2021)
Keyphrases
- formal language
- mathematical theory
- highly expressive
- formal languages
- specification languages
- expressive power
- language independent
- knowledge representation languages
- formal model
- language identification
- query translation
- algebraic operators
- cross lingual
- databases
- grammatical inference
- database
- formal specification
- description logics
- case study
- artificial intelligence