A predicative and decidable characterization of the polynomial classes of languages.

Salvatore Caporaso Michele Zito Nicola Galesi

Published in: Theor. Comput. Sci. (2001)

Keyphrases

polynomial hierarchy
first order logic
expressive power
database
language independent
low order
closure properties
neural network
text classification
situation calculus
language identification
context free languages