𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Topologies on formal languages

✍ Scribed by Herman Walter


Publisher
Springer
Year
1975
Tongue
English
Weight
994 KB
Volume
9
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Inductively generated formal topologies
✍ Thierry Coquand; Giovanni Sambin; Jan Smith; Silvio Valentini πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 367 KB

Formal topology aims at developing general topology in intuitionistic and predicative mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with

Embodiment of formal languages
✍ D.G. Green; R.H. Bradbury; S.J. Bainbridge πŸ“‚ Article πŸ“… 1988 πŸ› Elsevier Science 🌐 English βš– 397 KB

An embodiment is a simulation language that represents processes

Formal languages and enumeration
✍ Jay R Goldman πŸ“‚ Article πŸ“… 1978 πŸ› Elsevier Science 🌐 English βš– 1005 KB
Analogy and Formal Languages
✍ Yves Lepage πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 311 KB

In this paper, we advocate a study of analogies between strings of symbols for their own sake. We show how some sets of strings, i.e., some formal languages, may be characterized by use of analogies. We argue that some preliminary "good properties" obtained may plead in favour of the use of analogy