Chapter 4 is devoted to a careful comparison of L 2 with SnS, a logic studied earlier by Rabin, and Rogers shows that in a specific sense they are strongly equivalent.
there is an exact descriptive-complexity characterization of the context-free languages.