Existe-t-il un algorithme / une procédure systématique pour tester si une langue est hors contexte? En d'autres termes, étant donné un langage spécifié sous forme algébrique (pensez à quelque chose comme ), testez si le langage est hors contexte ou non. Imaginez que nous écrivons un service Web...