A Descriptive Characterisation of Even Linear Languages

A Descriptive Characterisation of Even Linear Languages

We show that the even linear languages are characterized by a certain extension of the signature of the monadic second-order logic used by Buchi (1960) & Elgot (1961) to characterize the regular languages. 9 References. Adapted from the source document

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Grammars : a journal of mathematical research on formal and natural languages 2003-12, Vol.6 (3), p.169-181
Hauptverfasser: Langholm, Tore, Bezem, Marc
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We show that the even linear languages are characterized by a certain extension of the signature of the monadic second-order logic used by Buchi (1960) & Elgot (1961) to characterize the regular languages. 9 References. Adapted from the source document
ISSN:1386-7393
DOI:10.1023/B:GRAM.0000016586.10841.cd