Quels langages de programmation sont sans contexte ?

Question

Ou, pour être un peu plus précis : quels langages de programmation sont définis par une grammaire sans contexte ?

D’après ce que je comprends, C ++ n’est pas sans contexte en raison de choses comme les macros et les modèles. Mon instinct me dit que les langages fonctionnels peuvent être sans contexte, mais je n’ai pas de données concrètes pour les sauvegarder.

Représentant supplémentaire pour des exemples concis :-)

Answer 1

Selon la façon dont vous comprenez la question, la réponse change. Mais IMNSHO, la bonne réponse est que tous les langages de programmation modernes sont en fait sensibles au contexte. Par exemple, il n’y a pas de grammaire sans contexte qui n’accepte que les programmes C syntaxiquement corrects. Les gens qui pointent vers des grammaires sans contexte yacc / bison pour C passent à côté de l’essentiel.

Answer 2

Pour aller pour l’exemple le plus dramatique d’une grammaire sans contexte, la grammaire de Perl est, si je comprends bien, turing-complète.