Logical Aspects of Regular Languages

A thorough review of selected results on the logical aspects of regular languages includes the theorem of Büchi on monadic second order logic over strings, a characterization of FO[<l and the theorem of 1. Simon. With the help of the Ehrenfeucht-Fraïssé Game we show that :J(k+ltsentences of FO[&l...

Full description

Bibliographic Details
Main Author: Dashkovsky, Boris
Other Authors: Therrien, Denis (Supervisor)
Format: Others
Language:en
Published: McGill University 1999
Subjects:
Online Access:http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=92139

Similar Items