Bojańczyk, Mikołaj and Klin, Bartek and Lasota, Sławomir - Automata theory in nominal sets

lmcs:1157 - Logical Methods in Computer Science, August 15, 2014, Volume 10, Issue 3
Automata theory in nominal sets

Authors: Bojańczyk, Mikołaj and Klin, Bartek and Lasota, Sławomir

We study languages over infinite alphabets equipped with some structure that can be tested by recognizing automata. We develop a framework for studying such alphabets and the ensuing automata theory, where the key role is played by an automorphism group of the alphabet. In the process, we generalize nominal sets due to Gabbay and Pitts.


Source : oai:arXiv.org:1402.0897
DOI : 10.2168/LMCS-10(3:4)2014
Volume: Volume 10, Issue 3
Published on: August 15, 2014
Submitted on: January 6, 2012
Keywords: Computer Science - Logic in Computer Science,Computer Science - Formal Languages and Automata Theory


Share

Consultation statistics

This page has been seen 171 times.
This article's PDF has been downloaded 56 times.