Je suis tombé sur cette figure qui montre que les langages sans contexte et réguliers sont des sous-ensembles (appropriés) de problèmes efficaces (supposément ). Je comprends parfaitement que les problèmes efficaces sont un sous-ensemble de tous les problèmes décidables car nous pouvons les résoudre, mais cela peut prendre très longtemps.
Pourquoi tous les langages sans contexte et réguliers sont-ils décidables efficacement? Est-ce que cela signifie que les résoudre ne prendra pas longtemps (je veux dire que nous le savons sans plus de contexte)?