Titlebook: Developments in Language Theory; 5th International Co Werner Kuich,Grzegorz Rozenberg,Arto Salomaa Conference proceedings 2002 Springer-Ver

擦掉

Second-Order Logic over Strings: Regular and Non-regular Fragmentsstigate prefix classes of general second-order logic. Such a prefix class is called ., if each of its sentences describes a regular language, and . otherwise. Recently, the regular and nonregular prefix classes of existential second order logic (Σ..) were exhaustively determined. We briefly recall t

Interim

甜瓜