Towards a programming language based on the notion of two-level grammar
type: Item
instance of: scholarly article
title: Towards a programming language based on the notion of two-level grammar
zbMATH Open document ID: 0542.68061
DOI: 10.1016/0304-3975(83)90064-6
author: Jan Maluszyński
published in: Theoretical Computer Science
publication date: 1984-01-01T00:00:00Z
review text: Two level grammars (TLG for short) are a tool of programming language definition. In the paper a variant of TLG called transparent TLG is introduced. Transparent TLG's produce unambiguous CF grammars only and have other regularity properties. It is shown that transparent TLG's can be in some sense considered as a generalization of Horn clauses. Using transparent TLG's we can define certain computations. TLG's can be given, roughly speaking, in a form of programs in an Algol 68 like language. The possibility to use Prolog language in the area is mentioned.
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3862466
zbMATH Keywords: transparent grammars
zbMATH Keywords: Two level grammars
zbMATH Keywords: programming language
zbMATH Keywords: Horn clauses
reviewed by: Jaroslav Král
describes a project that uses: ALGOL 68
MaRDI profile type: Publication
full work available at URL: 0304-3975(83)90064-6
OpenAlex ID: W2014216577
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Contributions to the Theory of Logic Programming
cites work: Natural language communication with computers
cites work: A decidability criterion for van Wijngaarden grammars
cites work: Q5592246
cites work: Q4051550
cites work: Q3893343
cites work: Grammatical unification
cites work: Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
cites work: Q5612475
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Q5551464
cites work: Q4136537
cites work: On parsing two-level grammars
cites work: Revised report on the algorithmic language ALGOL 68
description: scientific article; zbMATH DE number 3862466