Sciweavers

STACS
2001
Springer
14 years 4 months ago
A Logical Approach to Decidability of Hierarchies of Regular Star-Free Languages
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
Victor L. Selivanov
FCT
2001
Springer
14 years 4 months ago
Relating Automata-Theoretic Hierarchies to Complexity-Theoretic Hierarchies
We show that some natural refinements of the Straubing and Brzozowski hierarchies correspond (via the so called leaf-languages) step by step to similar refinements of the polynom...
Victor L. Selivanov