WQO is decidable for factorial languages.

Aistis Atminas Vadim V. Lozin Mikhail Moshkov

Published in: Inf. Comput. (2017)

Keyphrases

expressive power
language independent
first order logic
hidden markov models
transitive closure
language identification
cross lingual
neural network
datalog programs
correspondence analysis