Canonical Languages with special study of a canonical predicate calculus for number theory a canonical grammar for the English language.
A language is in canonical form if its basis has the following structure due to Post: (1) There exists a finite alphabet of distinct letters which can be juxtaposed to form strings, ie, any letter is a string, if b and c are strings then bc is a string, nothing else is a string. [...]
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
McGill University
1959
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=111797 |