2
Gramática y tipos sensibles al contexto
1) ¿Cuál es, si la hay, la relación entre la escritura estática y las gramáticas formales? 2) En particular, ¿sería posible que un autómata lineal limitado verificara si, por ejemplo, un programa C ++ o SML estaba bien escrito? ¿Un autómata apilado anidado? 3) ¿Existe una forma natural de expresar …