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
A characterization of parenthesis languages - MaRDI portal

A characterization of parenthesis languages

From MaRDI portal
Publication:5592248

DOI10.1016/S0019-9958(67)90564-5zbMath0196.01703MaRDI QIDQ5592248

Donald E. Knuth

Publication date: 1967

Published in: Information and Control (Search for Journal in Brave)




Related Items

On the Balancedness of Tree-to-Word TransducersThe strong equivalence of ET0L grammarsComputing minimal interpolation basesOrigins of the analysis of the Euclidean algorithmOn some open problems about marcus contextual languagesUnnamed ItemBeyond operator-precedence grammars and languagesLanguage learning from membership queries and characteristic examplesSofic-Dyck shiftsUnnamed ItemBalancedness of MSO transductions in polynomial timeAnalysis of Euclidean algorithms for polynomials over finite fieldsUnnamed ItemTree correspondence problemsThe word problem for visibly pushdown languages described by grammarsMultiple context-free tree grammars: lexicalization and characterizationOperator precedence and the visibly pushdown propertyXML graphs in program analysisAnalyzing ambiguity of context-free grammarsUniformly erasable AFLOn the equivalence, containment, and covering problems for the regular and context-free languagesThe covering problem for linear context-free grammarsString Analysis as an Abstract InterpretationTHE INCLUSION PROBLEM OF CONTEXT-FREE LANGUAGES: SOME TRACTABLE CASESStructural equivalence of context-free grammarsThe Inclusion Problem of Context-Free Languages: Some Tractable CasesTheory of formal grammarsGeneralized parenthesis languages and minimization of their parenthesis partsOn the Balancedness of Tree-to-Word TransducersDecidability of EDT0L structural equivalenceQuasi-gcd computations