A Descriptive Characterisation of Even Linear Languages

Grammars（2003）

引用 3|浏览6

暂无评分

摘要

We show that the even linear languages are characterised by a certain extension of the signature of the monadic second-order logic used by Büchi (1960) and Elgot (1961) to characterise the regular languages.

查看译文

关键词

descriptive complexity,even linear languages

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要