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
scientific article; zbMATH DE number 1462097 - MaRDI portal

scientific article; zbMATH DE number 1462097

From MaRDI portal

Publication:4486016

Jump to:navigation, search

zbMath0943.68099MaRDI QIDQ4486016

Dan A. Simovici, Richard L. Tenney

Publication date: 21 June 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Turing machines automata regular expressions decidability partial recursive function finite automata formal languages closure properties grammars Chomsky hierarchy pushdown automata linear bounded automata regular and context-free languages

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45)

Related Items (6)

Counting for satisfiability by inverting resolution ⋮ Tree shuffle ⋮ On the complexity of regular-grammars with integer attributes ⋮ Unnamed Item ⋮ Decidability and Specker sequences in intuitionistic mathematics ⋮ Local higher-order fixpoint iteration

This page was built for publication:

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