Title :
Evaluation and comparison of text-manipulation systems
Abstract :
A formal approach to the evaluation and comparison of text-manipulation systems is discussed. It is based on T-spaces, a class of transitive mathematical models, in terms of which the editable sets are exactly the recursively enumerable ones. Evaluation relies on the associated time/space complexity measures, some of which reflect the complexity of a system as a unity, while others are independent of the computational complexities of the text-manipulation operations. For all types of complexity measures linear speedup/compression theorems hold
Keywords :
computational complexity; text editing; T-spaces; computational complexities; editable sets; formal approach; linear speedup/compression theorems; text-manipulation systems; time/space complexity measures; transitive mathematical models; Appraisal; Clouds; Computational complexity; Computer applications; Extraterrestrial measurements; High level languages; Mathematical model; Psychology; Time measurement; Velocity measurement;
Conference_Titel :
Information Technology, 1990. 'Next Decade in Information Technology', Proceedings of the 5th Jerusalem Conference on (Cat. No.90TH0326-9)
Conference_Location :
Jerusalem
Print_ISBN :
0-8186-2078-1
DOI :
10.1109/JCIT.1990.128316
