FAMOUS is an on-line system for the manipulation of linguistic forms. Although these forms can have quite arbitrary interpretations, the standard interpretation is that they are algebraic expressions. FAMOUS allows its 'algebraic expressions' to include arbitrary functions which may or may...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Fenichel, Robert R. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge, Mass. Project MAC, Mass. Inst. of Technology 1966
Schlagworte:	(Computer programming Algebra) Algorithms Computer Programming and Software Computer Systems Computer programs Real time Subroutines Theorems Theses Time sharing Algebra
Zusammenfassung:	FAMOUS is an on-line system for the manipulation of linguistic forms. Although these forms can have quite arbitrary interpretations, the standard interpretation is that they are algebraic expressions. FAMOUS allows its 'algebraic expressions' to include arbitrary functions which may or may not be defined. In this way, regular non-algebraic constructions may be concealed as arguments of ad hoc functions. Rules of local change are the heart of FAMOUS, and supplied by the user. Using these rules, FAMOUS looks at an algebraic manipulation as a series of local changes. The centrality of proximity in FAMOUS was originally prompted by G-theory, which might be called the study of proximity. The presentation in Chapter II is complete, but it has rather a cookbook tone. Chapter III is a more reflective attempt to define the power and nature of the system. Algebraic 'simplification' has been a benchmark of algebraic manipulators, and it is discussed in Chapter IV. A more novel application, that of limit problems, is discussed in Chapter V. Finally, Chapter VI consists of miscellaneous remarks about possible and impossible lines of further work. (Author).
Beschreibung:	Zugl.: Diss., 1966. - Kopie, erschienen bei Clearinghouse for Federal Scientific and Techn. Information, Springfield, Va.
Beschreibung:	111 S.