Axiomatic derivations of Chomsky hierarchy

Article View: sci.logic

Article #475

#475

From: "Steve" Stevenson
Date: Wed, 12 Jun 1991 12:29

15 lines
1072 bytes

I am interested in finding out what work has been done in axiomitizing
computation theory. I recall that Hennie has an axiom system in his book,
but I am unaware of others. Hennie's is really for computability
in its full glory and not, for example, things below primitive recursion
on the ``Chomsky hierarchy''

Any help appreciated; will summarize, etc.

steve

-- 
===============================================================================
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906

Technical Details

Message-ID: <1991Jun12.122958.26279@hubcap.clemson.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!emory!hubcap!steve

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!emory!hubcap!steve
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: sci.logic,comp.theory,sci.philosophy.tech
Subject: Axiomatic derivations of Chomsky hierarchy
Message-ID: <1991Jun12.122958.26279@hubcap.clemson.edu>
Date: 12 Jun 91 12:29:58 GMT
Organization: Clemson University
Lines: 15