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
An unsolvable algorithmic problem for deterministic real-time pushdown automata - MaRDI portal

An unsolvable algorithmic problem for deterministic real-time pushdown automata

From MaRDI portal

Publication:2563381

Jump to:navigation, search

zbMath0856.68100MaRDI QIDQ2563381

I. V. Cherntsov

Publication date: 11 December 1996

Published in: Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

zbMATH Keywords

conjugation graph deterministic pushdown store acceptor

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: An unsolvable algorithmic problem for deterministic real-time pushdown automata

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