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
Pushdown automata and context-free grammars in bisimulation semantics - MaRDI portal

Pushdown automata and context-free grammars in bisimulation semantics

From MaRDI portal

Publication:6061666

Jump to:navigation, search

DOI10.4230/LIPICS.CALCO.2021.8OpenAlexW3112938681MaRDI QIDQ6061666

Unnamed Author, Jos C. M. Baeten, Bas Luttik

Publication date: 8 December 2023

Full work available at URL: https://doi.org/10.4230/LIPIcs.CALCO.2021.8

zbMATH Keywords

context-free grammar bisimilarity pushdown automaton intermediate acceptance state awareness

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics

This page was built for publication: Pushdown automata and context-free grammars in bisimulation semantics

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