Computability and Representability
From the view point of functionality, there are two kinds of knowledge about a specific domain: one is specification knowledge and the other is implementational knowledge. The latter is also called constructive knowledge. In computer science, the former is the specification for the software while the latter consists of the actual algorithms and programs used to implement the software. These two kinds of knowledge describe two different aspects of the same thing. Specificational knowledge describes the object by its properties. These might include principles, laws and theorems as well as describing functionality and other requirements. Implementational knowledge explains how to construct the object; it usually includes algorithms, rules of operation and methods of implementation as well as examples.
KeywordsNatural Number Turing Machine Sequential Statement Operational Semantic Recursive Function
Unable to display preview. Download preview PDF.