Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Deciding classes of regular languages: the covering approach - MaRDI portal

Deciding classes of regular languages: the covering approach

From MaRDI portal

Publication:782559

Jump to:navigation, search

DOI10.1007/978-3-030-40608-0_6zbMath1437.68105OpenAlexW3008305079MaRDI QIDQ782559

Thomas Place

Publication date: 27 July 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-40608-0_6

zbMATH Keywords

covering automata regular languages membership star-free languages piecewise testable languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

How many times do you need to go back to the future in unary temporal logic?

This page was built for publication: Deciding classes of regular languages: the covering approach

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:782559&oldid=12708617"