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...
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
-
Representation of regular formal languages.
by: Safla, Aslam.
Published: (2014) -
Defining star-free regular languages using diagrammatic logic
by: Delaney, Aidan
Published: (2012) -
Application of Boolean Logic to Natural Language Complexity in Political Discourse
by: Taing, Austin
Published: (2019) -
The AHPL Combinational Logic Language and compiler
by: Goddard, Charles Kent, 1937-
Published: (1971) -
An integration of reduction and logic for programming languages
by: Wright, David A
Published: (1988)