On the semantic equivalence of language syntax formalisms

DOI10.1016/J.TCS.2020.08.022MaRDI QIDQ2202012zbMATH OpenOpenAlexFDO

Authors Samuele Buro, Isabella Mastroeni

Publication date 17 September 2020

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2020.08.022

zbMATH Keywords

context-free grammarsalgebraic signaturessyntax specication

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Recommendations

• scientific article; zbMATH DE number 3928997
• A 2-categorical framework for the syntax and semantics of many-sorted equational logic
• Polymorphic syntax definition
• scientific article; zbMATH DE number 3845076
• Initiality for typed syntax and semantics

Cites work

• scientific article; zbMATH DE number 3524712 (Why is no real title available?)
• scientific article; zbMATH DE number 1216248 (Why is no real title available?)
• scientific article; zbMATH DE number 1821697 (Why is no real title available?)
• Algebras with a Scheme of Operators
• An efficient context-free parsing algorithm
• CONTEXT-FREE ALGEBRAS
• Essence of generalized partial computation
• Fast context-free grammar parsing requires fast Boolean matrix multiplication
• General context-free recognition in less than cubic time
• Heterogeneous algebras
• Initial Algebra Semantics and Continuous Algebras
• Model theory.
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Polymorphic syntax definition
• Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings
• Semantics of context-free languages
• Three models for the description of language

Cited in

(15)

• Representing structural language features in formal meta-languages
• scientific article; zbMATH DE number 1962779 (Why is no real title available?)
• Meaning and formal semantics in generative grammar
• scientific article; zbMATH DE number 5545149 (Why is no real title available?)
• A syntactic view of computational adequacy
• Equational logic and categorical semantics for multi-languages
• scientific article; zbMATH DE number 7441504 (Why is no real title available?)
• Sortal equivalence of bare grammars
• On bounded interpretations of grammar forms
• A NEW APPROACH TO FORMAL SYNTAX
• On conceptual completeness of syntactic-semantical systems
• Analysis, design and research of synonymy in formal languages
• Formal similarities and differences among qualitative conditional semantics
• CONCUR 2003 - Concurrency Theory
• Analogy and Formal Languages

This page was built for publication: On the semantic equivalence of language syntax formalisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2202012)