Decision problems for subclasses of rational relations over finite and infinite words

DOI10.1007/978-3-662-55751-8_27zbMath1416.68105arXiv1803.06140OpenAlexW2963249196MaRDI QIDQ1679989

Christof Löding, Christopher Spinrath

Publication date: 22 November 2017

Full work available at URL: https://arxiv.org/abs/1803.06140

zbMATH Keywords

\(\omega\)-automatavisibly pushdown automatarational relationsfinite transducersautomatic relations

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45)

Related Items (1)

Unnamed Item

This page was built for publication: Decision problems for subclasses of rational relations over finite and infinite words