DocumentCode
582959
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
fYear
2012
fDate
14-15 Sept. 2012
Firstpage
37
Lastpage
42
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computing Sciences (ICCS), 2012 International Conference on
Conference_Location
Phagwara
Print_ISBN
978-1-4673-2647-6
Type
conf
DOI
10.1109/ICCS.2012.67
Filename
6391643
Link To Document