DocumentCode
2766385
Title
Evaluation and comparison of text-manipulation systems
Author
Yovev, C.S.
fYear
1990
fDate
22-25 Oct 1990
Firstpage
456
Lastpage
466
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/JCIT.1990.128316
Filename
128316
Link To Document