I calcolatori a membrana sono un modello di macchina ispirato ad alcuni comportamenti delle cellule. Alcuni di questi modelli computazionali sono in grado di risolvere in tempo polinomiale problemi appartenenti a classi computazionali che non possono essere risolti in tempo polinomiale da Macchine di Turing deterministiche (a meno che P=NP). Sara` mostrato come sia possibile risolvere problemi appartenenti alle classi NP, Co-NP e \#P. Verranno presentati alcuni esempi di risolutori del problema SAT e ad altri esempi risolutori di problemi ad esso legati.