Title :
SPL(A) - An Elementary Formal System for Signal Processing
Author :
Sathya, G. ; Chandra, G. Ramesh ; Rajan, E.G.
Author_Institution :
New York Inst. of Tech., New York, NY, USA
Abstract :
This paper is concerned with the formulation of a formal language called elementary formal system (EFS) for constructive signal processing. electronic document is a "live" template. Raymond M Smullyan was the first to initiate the concept of EFS. Later Melvin Fitting formulated a theory for string manipulation language in terms of EFS.
Keywords :
computational linguistics; signal processing; EFS; SPL(A); constructive signal processing; electronic document; elementary formal system; formal language; Calculus; Data structures; Erbium; Finite element methods; Fitting; Signal processing; Signal processing algorithms; elementary formal system; logical signal processing; string manipulation language;
Conference_Titel :
Computing Sciences (ICCS), 2012 International Conference on
Conference_Location :
Phagwara
Print_ISBN :
978-1-4673-2647-6
DOI :
10.1109/ICCS.2012.67
