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
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
An embodiment is a simulation language that represents processes
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