Efficient reduction of nondeterministic automata with application to language inclusion testing

We present efficient algorithms to reduce the size of nondeterministic B\"uchi word automata (NBA) and nondeterministic finite word automata (NFA), while retaining their languages. Additionally, we describe methods to solve PSPACE-complete automata problems like language universality, equivalen...

Celý popis

Podrobná bibliografie

Vydáno v:	Logical methods in computer science Ročník 15, Issue 1
Hlavní autoři:	Clemente, Lorenzo, Mayr, Richard
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Logical Methods in Computer Science e.V 01.01.2019
Témata:	computer science - formal languages and automata theory computer science - logic in computer science d.2.4 f.1.1
ISSN:	1860-5974, 1860-5974
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!