Partially ordered two-way Büchi automata

Autor:	Kufleitner, Manfred, Lauser, Alexander
Jazyk:	angličtina
Rok vydání:	2010
Předmět:	Computer Science::Logic in Computer Science Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) Computer Science::Formal Languages and Automata Theory Büchi-Automat Mathematische Logik
Popis:	We introduce partially ordered two-way Büchi automata over infinite words. As for finite words, the nondeterministic variant recognizes the fragment Sigma2 of first-order logic FO[
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9431dfa8d48f2bd0d38f8cf032b9f75e http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-55082 Zobrazit plný text záznamu