Considere os seguintes problemas de decisão:

P1: Uma determinada máquina de estado finito aceita uma determinada cadeia.

P2: Uma determinada gramática livre de contexto gera um número infinito de cadeias.

Qual das seguintes afirmações é verdadeira?

a) Apenas P2 é decidível.

b) Ambos P1 e P2 são decidíveis.

c) Apenas P1 é decidível.

d) Nem P1 nem P2 são decidíveis.

e) P1 e P2 não são problemas de decisão.