Further Results on Hierarchies of Canonic Systems
Abstract
The thesis outlines a new way of presenting the theory of canonic systems, including a distinction (for methodic reasons) between simple canonic systems and general canonic systems, and proves a series of results on hierarchies of canonic systems. After a brief summary of Doyle's results on a partial hierarchy of canonic systems, a new hierarchy is developed which relates the general canonic systems not only to all 4 types of formal grammars defined by Chomsky but also to any class of formal grammars definable in terms of productions. It is also shown that all attempts to define a mathematical system which exactly corresponds to the recursive sets are necessarily fruitless.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 1972
- Accession Number
- AD0744206
Entities
People
- Robert Mandl
Organizations
- Massachusetts Institute of Technology