有限半群识别的语言及其向树和图等对象的推广：侧重于单子二阶逻辑中的可定义性
形式语言与自动机理论
2020-08-27 v1
摘要
这是关于正则语言代数方法的讲义。经典的代数方法针对有限字；它使用半群代替自动机。然而，代数方法可以扩展到字以外的结构，例如无限字，或树或图。本书的目的是以一种涵盖这些扩展的方式来描述代数方法。
引用
@article{arxiv.2008.11635,
title = {Languages recognised by finite semigroups, and their generalisations to objects such as trees and graphs, with an emphasis on definability in monadic second-order logic},
author = {Mikołaj Bojańczyk},
journal= {arXiv preprint arXiv:2008.11635},
year = {2020}
}
备注
The most recent version can be found here: https://www.mimuw.edu.pl/~bojan/2019-2020/algebraic-language-theory-2020