CaracterizaÃÃo aritmÃtica em primeira ordem de funÃÃes computÃveis em espaÃo polinomial

AUTOR(ES)

Emmanuel Felix Lopes da Silva

DATA DE PUBLICAÇÃO

2008

RESUMO

In this work, we develop a characterization of the polynomial space computable functions in the …rst order theory of binary strings. We prove a analogous result to Parikh`s Theorem on the polynomial bound on the growth size of de…nable functions. This work is a natural extension of Prof. Fernando Ferreira`s system of polynomial time computable arithmetic.

ASSUNTO(S)

computacional complexity pspace fragments arithmetic ciencia da computacao complexidade computacional pspace aritmÃtica fragmentos

Documentos Relacionados

• Modelagem matemÃtica com simulaÃÃo computacional na aprendizagem de funÃÃes
• OtimizaÃÃo utilizando funÃÃes substitutas e extraÃÃo de regras difusas.
• DTMF decoding via arithmetic Fourier transform
• AnÃlise do espaÃo construÃdo: uma aplicaÃÃo em edificaÃÃes escolares
• Situando o espaÃo fÃsico na formaÃÃo de impressÃes em OrganizaÃÃes de Varejo