Some logical characterization of the dot-depth hierarchy and applications
New connections are discovered between formal language theory and model theory. We give logical characterizations of natural subhierarchies of the Straubing hierarchy of star-free languages using logical notions such as quantifier complexity of first order sentences. A version of the Ehrenfeucht-Fra...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
McGill University
1989
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=75982 |