๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The formalization of some context conditions of programming languages

โœ Scribed by I.L. Bratchikov; Kh.I. Toirikh


Publisher
Elsevier Science
Year
1974
Weight
936 KB
Volume
14
Category
Article
ISSN
0041-5553

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


The Set of Minimal Words of a Context-fr
โœ Jean Berstel; L. Boasson ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 360 KB

Let A be a finite, totally ordered alphabet, and let P be the lexicographic ordering on A\*. Let X be a subset of A\*. The language of minimal words of X is the subset of X composed of the lexicographically minimal word of X for each length: The aim of this paper is to prove that if L is a context-