es:manual:items:patron:gramaticas
Diferencias
Muestra las diferencias entre dos versiones de la página.
Ambos lados, revisión anteriorRevisión previaPróxima revisión | Revisión previa | ||
es:manual:items:patron:gramaticas [2021/12/08 11:00] – root | es:manual:items:patron:gramaticas [2023/03/24 16:31] (actual) – root | ||
---|---|---|---|
Línea 1: | Línea 1: | ||
- | ===== patrones | + | ===== Patrones |
- | Para algunas asignaturas, | + | Para algunas asignaturas, |
{{ es: | {{ es: | ||
Línea 24: | Línea 24: | ||
El profesor debe proporcionar una gramática que servirá como patron de comparación; | El profesor debe proporcionar una gramática que servirá como patron de comparación; | ||
- | En caso de que las gramáticas no sean equivalentes, | + | En caso de que las gramáticas no sean equivalentes, |
Línea 31: | Línea 31: | ||
{{ es: | {{ es: | ||
- | El primer patrón se verifica cuando la gramática de la respuesta del alumno coincide con la gramática propuesta por el profesor. El segundo patrón se verifica cuando la respuesta del alumno contiene una gramática que esta mal escrita, al no seguir las reglas | + | El primer patrón se verifica cuando la gramática de la respuesta del alumno coincide con la gramática propuesta por el profesor. El segundo patrón se verifica cuando la respuesta del alumno contiene una gramática que esta mal escrita, al no seguir las reglas |
- | El patrón por defecto se encaja cuando no se ha podido encajar ninguno de los aptrones | + | El patrón por defecto se encaja cuando no se ha podido encajar ninguno de los patrones |
{{ es: | {{ es: | ||
+ | El plugin tambien puede comprobar si la gramática propuesta es o no ambigua, por ejemplo para responder a preguntas como: | ||
+ | {{ es: | ||
+ | En donde el conjunto de patrones ahora es: | ||
+ | |||
+ | {{ es: | ||
+ | |||
+ | En este caso el patrón de respuesta correcto requiere que la gramàtica solución no sea ambigua. Si lo fuera, este patrón no encajaría y se intentaría encajar con alguno de los siguientes. Suponiendo que la gramática esta bien escrita desde el punto de vista sintáctico y es correcta, si la gramática es equivalente pero ambigua, encajaría con el cuarto patrón, es decir con el patón etiquetado como '' | ||
+ | |||
+ | {{ es: | ||
+ | |||
+ | Finalmente, el plugin tambien permite solicitar gramáticas que cumplan la condición LL(1). | ||
+ | |||
+ | {{ es: | ||
+ | |||
+ | En este caso los patrones se comporta de manera similar al caso de las gramáticas ambiguas. | ||
+ | |||
+ | {{ es: | ||
+ | |||
+ | Nótese que no es necesario incluir el patrón de '' | ||
+ | |||
+ | {{ es: | ||
+ | |||
+ | En el plugin de los patrones de gramáticas no es necesario repetir la gramática en cada uno de los patrones, basta con incluir la gramática en el primero de ellos. Por otra parte, los controles de ignorar mayusculas y minúsculas, | ||
+ | |||
+ | ==== Sintaxis de las gramáticas ==== | ||
+ | Tanto para proporcionar el patrón como la respuesta del alumno, se deben seguir unas normas sintácticas para expresar la gramática de contexto libre. Solo es necesario proporcionar el conjunto de reglas. Los símbolos no terminales se escriben mediante letras mayusculas de la A a la Z (excluyendo la Ñ), o bien letras mayusculas seguidas de un apóstrofe, tales como A' , B' ... Z', que funcionan como no terminales distintos. El primer símbolo no-terminal se tomará como axioma de la gramática. | ||
+ | |||
+ | Los símbolos terminales corresponden a letras minúsculas de la '' | ||
+ | |||
+ | Las reglas se escriben cada una en un línea, separando el antecedente del consecuente mediante una fecha construida mediante los caracteres '' | ||
+ | |||
+ | El siguiente es un ejemplo de gramática válido | ||
+ | |||
+ | A -> [B] | ||
+ | B -> aB' | ||
+ | B -> | ||
+ | | ||
+ | |
es/manual/items/patron/gramaticas.1638961253.txt.gz · Última modificación: 2021/12/08 11:00 por root