Computing by Carving with P Systems. A First Approach

In this work, we propose a P system which carries out computing by carving. Computing by carving was proposed by Gh. P˘aun as a technique to generate formal languages which can even be non recursively enumerable. Hence, it can be considered a hypercomputational technique. Here, we propose a first scheme based on P systems in order to perform computing by carving any formal language. So, the paper shows indirectly that these systems, under certain assumptions, can be considered a model for hypercomputation

IV Congreso de Lingüística General. Cádiz, del 3 al 6 de abril de 2000. Vol. I

Durante los días 3 al 6 de abril del año 2000 tuvo lugar en la Universidad de Cádiz el IV Congreso de Lingüística General, organizado por el área de Lingüística General de esta Universidad.325 págs