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

A note on undecidable properties of formal languages

โœ Scribed by Sheila Greibach

Publisher
Springer
Year
1968
Tongue
English
Weight
313 KB
Volume
2
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Undecidability of existential properties
Undecidability of existential properties in picture languages
โœ D. Robilliard; D. Simplot ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 789 KB

We are interested in the description of a set of pictures by string languages by using several semantics: segments [12], segments with blank moves [8] and pixels . We give a method to code the Post correspondence problem in rational picture languages in order to show the undecidability of existence

A class of measures on formal languages
A class of measures on formal languages
โœ J. Paredaens; R. Vyncke ๐Ÿ“‚ Article ๐Ÿ“… 1977 ๐Ÿ› Springer-Verlag ๐ŸŒ English โš– 505 KB
A note on context-free languages
A note on context-free languages
โœ R.F.C. Walters ๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 296 KB
A note on ฯ‰-regular languages
A note on ฯ‰-regular languages
โœ Masako Takahashi; Hideki Yamasaki ๐Ÿ“‚ Article ๐Ÿ“… 1983 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 647 KB