Requisitos previos

El alumno debe haber superado todas las asignaturas de los dos primeros cursos de
grado, y tener cierta "madurez matemática" como resultado de ello.

Recomendaciones

a)Sería de desear que el alumno dispusiese de un dominio razonable del
castellano, tanto a nivel de expresión oral como escrita, así como del marco
cognitivo-intelectivo y metalingüístico necesario para una correcta
lectura,procesamiento y asimilación de los contenidos que la bibliografía de la
asignatura exige, al ser estos muchos y variados.

b)Igualmente deseable sería el dominio de las reglas elementales de la aritmética
básica, y cierta cultura general, obtenida a través de la lectura de libros de
toda clase, de la prensa escrita, o de ambas.

c) No resultará ocioso el adecuado conocimiento y manejo de las reglas de
urbanidad, para el correcto trato tanto a los compañeros como al profesor.

d)Se recomienda al alumno entregarse al estudio con seriedad, rigor, continuidad
e interés, como si se tuviese una inquebrantable voluntad intelectual y
académica.

e)Más vale un mal libro que muchos buenos apuntes: por tanto, para cada tema
concreto del curso se le propondrán como material de revisión/trabajo/estudio un
mínimo de dos y un máximo de cuatro capítulos de referencias concretas (en
inglés, claro está). Ocasionalmente se le proporcionarán unos apuntes (en
castellano), que como mucho debería usar como material de apoyo, pero nunca como
texto base. Se deja constancia clara y explícita de que un correcto estudio y
preparación de la asignatura requerirá la lectura íntegra del material
propuesto,y que en modo alguno limitar la preparación al estudio aislado de los
apuntes
garantiza superar la misma, y mucho menos garantiza la adquisición de los
conocimientos deseados.

f)La copia de apuntes en clase ES UNA PÉRDIDA DE TIEMPO: por tanto, los
profesores harán lo posible para que no tenga que copiar apuntes en clase,
proporcionándole en la página de la asignatura con carácter previo a su
explicación todo el material necesario para la preparación de la misma. En
consecuencia, si copia apuntes, es porque es usted un copiador compulsivo; pero
sepa que distraen su atención y suelen ser fuente de errores en el estudio
posterior, ya que lo que se copia mal se estudia peor, para el hipotético caso en
que el alumno se apreste a estudiar.

g)El alumno debe saber que una clase comienza antes de ser explicada y continua
tras ser explicada: o lo que es lo mismo, llegar a clase a ver qué nos cuenta hoy
este buen señor es un error. La mecánica de trabajo que les recomiendo a lo largo
del curso para preparar una clase debe seguir las siguientes fases:  PRIMERA:
Lectura y revisión previa de los materiales indicados en el cronograma del curso
para esa clase en concreto.  Semanalmente se establecerá  el conjunto de tópicos
a impartir del temario oficial, el material de lectura para esa clase en
concreto, los problemas recomendados para ejercitar los contenidos teóricos
explicados, y en ocasiones alguna tarea adicional de interés.  SEGUNDA:
Asistencia a clase. Dado que no necesita tomar apuntes, preste atención a los
desarrollos y explicaciones del profesor, y relaciónelos con lo previamente leído
por usted. Tome notas de la dudas o discrepancias que le surjan, para sup
osterior discusión en la propia clase o en una tutoría individualizada. El alumno
debe saber además que se encuentra matriculado en una universidad pública
presencial, y que la asistencia a clase forma parte de sus obligaciones como
discente. TERCERA: Tras la clase, repase los contenidos de la misma, entiéndalos
y aclare con el profesor los conceptos que no estén claros. Póngalos en práctica
con los problemas de la relación que corresponda, y conéctelos con los contenidos
a desarrollar en la próxima clase. Es decir, vuelva al primer apartado.

h)Una asignatura NO se prepara en una semana. NO deje la preparación de los
trabajos a entregar ni la del examen final para el último momento. Probablemente
será inútil. Utilice el cronograma de la asignatura para planificar su esfuerzo,
o pida ayuda a su profesor para planificar el tiempo y su preparación de cara al
examen final con antelación. Si no lo hace, el único perjudicado será usted.

i) Saber una asignatura NO es saber unos apuntes. Nunca lo ha sido. Unos apuntes
son, probablemente y en el mejor de los casos, un resumen de lo explicado por
elprofesor en clase, lo cual a su vez será un resumen de lo revisado por el
profesor en la bibliografía específica. Por tanto, olvide aquello de "me sé los
apuntes pero me han suspendido", o "esto no estaba en los apuntes, sino en tal
libro" o "este problema o ejercicio no se parece a  ninguno que hayamos hecho en
clase". Si usted  SABE la materia, estará preparado para aplicarla a situaciones
nuevas y desconocidas. Y ello pasa por haber manejado bibliografía tal y cómo se
indica en el apartado b). Saber los apuntes es una condición necesaria para
aprobar, pero no suficiente. Por tanto, si usted  sabe sus apuntes, NO SABE la
materia. Y recuerde que SABER no es MEMORIZAR.

j)La revisión de calificaciones NO es una subasta.  Es  un  medio que la
Universidad pone a su  disposición para que sepa DÓNDE, CÓMO Y POR QUÉ ha
fallado, y proceda a  PLANIFICAR con su profesor la fase posterior de estudio
orientada a subsanar las lagunas que sus conocimientos tengan.  Por tanto, por
favor, no acuda a revisión con la intención de discutir sobre:
•Los criterios de corrección, ya que estos los define su profesor, y no es ni
puede ser algo sujeto a negociación.
•La distribución de la puntuación entre los diferentes enunciados de los
ejercicios del examen, ya que su profesor sabe qué es más importante que usted
haya aprendido, y cómo evaluar ese aprendizaje, y ajustará esa distribución en
consecuencia. El que considere que esa distribución le perjudica es un error, ya
que habrá sido aplicada por igual a sus compañeros, y además lo que hará será
demostrar que no tiene claros aquellos conceptos que son más relevantes.
•Lo parecido o distinto de los ejercicios del examen a los realizados en clase.
Un examen no tiene por qué parecerse a lo ya ejercitado. Los ejercicios de clase
le CAPACITAN para dominar los conceptos. Los exámenes DEMUESTRAN que usted sabe
aplicar esos conceptos aprendidos a situaciones novedosas o simplemente
diferentes a las estudiadas.
•La verificación de si determinado ejercicio estaba o no en sus apuntes
•La simple pataleta por no haber superado la asignatura. No entienda un suspenso
más que con la siguiente lectura: el trabajo realizado no ha sido válido, no ha
sido suficiente, o ambas cosas. Debe trabajar más. Cualquier otra interpretación
por su parte es un error.

k)Su obligación es estar informado de las circunstancias de la asignatura. Visite
con asiduidad la sección de noticias de la plataforma virtual de la asignatura y
en caso de duda consulte por e-mail a su profesor. No utilice argumentos de la
clase "no sabía nada..." o "no me he enterado de que.." para excusar un fallo.
Recuerde que ES su obligación y su responsabilidad  estar enterado.

l)Utilice la tutoría. Es el único medio por el cual el profesor puede ofrecerle
una enseñanza de carácter individualizado. Por tanto, aproveche la tutoría, en
sus versiones presencial, electrónica, o de cualquier otro tipo boloñés. Y hágalo
con frecuencia: siga el método de preparación de las clases ya descrito, y visite
a su profesor cada vez que tenga dudas. Con carácter ordinario, un mínimo de una
visita al profesor cada tres semanas debería ser normal para usted. Si hay
dificultades, tan a menudo como necesite.

m)NO se quede con una duda. Es muy habitual entre nuestros alumnos que cuando les
surge una duda se queden con ella hasta el mismo momento del examen. Luego,
durante la revisión reconocen: "sí, esto no me quedó claro, pero..." EVITE estos
comportamientos. En una asignatura como esta, el progreso con garantías hacia
nuevos contenidos implica haber asimilado correctamente los contenidos previos.
n)El profesor es su juez. Su labor en el momento de evaluarle se limitará a
juzgar la cantidad y calidad del esfuerzo realizado por usted. Cualquier otro
aspecto es irrelevante.

ñ)Acuda a clase y participe en ella. Plantee sus dudas, y fomente la discusión
entre sus compañeros y con el profesor. Ello contribuirá de forma positiva a su
formación, y hará la dinámica académica más rica. Además, contribuirá
positivamente a su crecimiento personal.

o)Sea consciente de sus derechos como alumno, pero también de las obligaciones
que el serlo conlleva. En particular, trate de seguir en todo momento la línea de
conducta que el código ético de la Universidad (Código Peñalver) le aconseja.

Profesorado

Nombre	Apellido 1	Apellido 2	C.C.E.	Coordinador
Antonio J.	Tomeu	Hardasmal	PROFESOR TITULAR DE UNIVERSIDAD	S

Competencias

Se relacionan aquí las competencias de la materia/módulo o título al que pertenece la asignatura, entre las que el profesorado podrá indicar las relacionadas con la asignatura.

Resultados Aprendizaje

Actividades formativas

Exposición de los contenidos de la materia con
ayuda ocasional de diapositivas, junto con la
propuesta de ejemplos de afianzamiento
desarrollados en aula.

Las clases de problemas se dedicarán a
desarrollar las soluciones a algunos de los
ejercicios propuestos en las relaciones de
problemas de la asignatura, que ampliarán en
profundidad y complejidad a los ejemplos
desarrollados en las clases teóricas.

El alumno desarrollará las prácticas en una doble
vertiente de trabajo:

a) Utilizará simuladores de diversos modelos de
computación para verificar la computabilidad de
distintas funciones y predicados bajo cada uno de
los modelos.

b) Desarrollará utilizando algún lenguaje de
programación su propia versión de algunos modelos
de computación escogidos.

a) Lectura cuidadosa y razonada de las
referencias bibliográficas y textos que sobre la
materia indiquen los profesores indicadas por los
profesores.

b) Resolución de los ejercicios y/o problemas de
afianzamiento de contenidos propuestos por los
profesores.

c) Estudio intenso y continuado con aplicación e
interés.

Evaluación

Criterios Generales de Evaluación

APARTADO PRIMERO: CRITERIOS DE CORRECCIÓN Y DESARROLLO DE EXÁMENES

A) DE LOS EXÁMENES TEÓRICOS Y PRUEBAS DE PROGRESO
-Los exámenes teóricos y las pruebas de progreso serás escritos. Podrán incluir
preguntas tipo test de repuesta simple o múltiple, preguntas de desarrollo corto,
demostraciones, ejercicios y problemas.
-Una cuestión tipo test, corta, ejercicio o problema simple,  se consideran
correctos únicamente si la solución final que se proporciona es completamente
correcta. En otro caso se considera incorrecta y no puntúa.
-Una cuestión tipo test, corta, ejercicio o problema de múltiples apartados se
consideran  correctos si todos los apartados que la conforman son correctos. En
cualquier otro caso es incorrecta y no puntúa.

B) DEL EXAMEN PRÁCTICO
-Se realizará en ordenador y el alumno dará solución mediante los
simuladores/compiladores utilizados en las prácticas a los  enunciados que se le
planteen.
-Las condiciones que una solución a un enunciado de examen  práctico debe cumplir
para considerarse correcta son:

a) Los ficheros subidos a través del Campus Virtual que conforman el examen
práctico se ajustan al número, formato y nomenclatura de nombres explicitados por
el profesor en el documento de examen.
b) El contenido de los ficheros es el especificado por el profesor en el
documento de examen en orden a solucionar el enunciado en cuestión.
c) Los programas elaborados por el alumno, se pueden abrir y procesar con el
entorno de simulación que corresponda, y realizan un procesamiento técnicamente
correcto, según el enunciado de que se trate. Se entiende por un procesamiento
técnicamente correcto a aquél código de programa que puede abrirse con el
simulador, cuya semántica da soporte a la solución pedida, y que ha sido escrito
de acuerdo a las convenciones de estilo y eficiencia habituales.

C) DE LAS APORTACIONES AL GLOSARIO Y WIKI DEL CAMPUS VIRTUAL
-Tendrán carácter individual y podrán realizarse durante el periodo de clases de
la asignatura, pudiendo incluir definiciones, tópicos concretos de la asignatura,
o desarrollos completos de conceptos teóricos o prácticos. Se podrán publicar en
el glosario o wiki del campus virtual de la asignatura.
-Su validación a efectos de ser puntuados exigirá tener un contenido mínimo, ser
técnicamente correctas, y describir con propiedad y un uso correcto del idioma y
en su caso- de la notación, el elemento de que se trate. Cada aportación correcta
sumará un máximo de 0.1 puntos. El alumno podrá realizar tantas aportaciones como
estime oportuno, si bien el límite práctico de puntuación a obtener en este
apartado es de 1 punto.

D)DE LAS ASIGNACIONES DE PRÁCTICAS
Semanalmente se propondrá al alumno una asignación de prácticas, que este deberá
resolver y entregar a través del Campus Virtual. Los criterios de corrección de
las mismas,  dada su naturaleza práctica, serán los mismos que los descritos en
el apartado B) anterior para los exámenes prácticos.

APARTADO SEGUNDO: CRITERIOS DE EVALUACIÓN
a) El modelo de evaluación de la asignatura será continuo por defecto. El alumno
que desee optar a la prueba final deberá manifestarlo mediante escrito dirigido
al profesor durante el primer mes del curso.

b) La evaluación continua comprende los siguientes ítems:

-La realización de 4 pruebas de evaluación del progreso cada una de las cuales
aporta un punto (máximo) o fracción de punto, totalizando un máximo de cuatro
puntos en su caso: NEP. No son pruebas eliminatorias de materia académica. Cada
prueba engloba los contenidos de la anterior y añade contenidos nuevos.
-De entre todas las asignaciones de prácticas, 3 serán evaluables, aportando cada
una un máximo de un punto o fracción de punto, y totalizando un máximo de tres
puntos en su caso: NAP. El profesor comunicará a los alumnos qué asignaciones
tienen carácter evaluable, si bien todas deberán ser entregadas para poder
puntuar
-Aportaciones libres al glosario y Wiki de la asignatura, que podrán totalizar un
máximo de un punto: NAL.
-Un trabajo final de temática libre que podrá totalizar un máximo de un punto:
NTF. Las especificaciones que el trabajo debe cumplir se publicarán con
antelación suficiente en el campus virtual.
-Una exposición oral del trabajo final  que podrá totalizar un máximo de un
punto: NE0.

c) La calificación final bajo evaluación continua vendrá determinada por la suma
CF=NEP+NAP+NAL+NTF+NEO siempre que las cifras NEP y NAP sean mayores a dos puntos
y 1.5 puntos respectivamente.

d) La evaluación bajo examen final constará de examen de teoría (puntuado de 0 a
10, NEFT) y examen final de prácticas (puntuado de 0 a 10, NEFP).

e) La calificación final bajo examen final será el resultado de la siguiente
ecuación: CF=(0.70)*NEFT+(0.30)*NEFP, siempre que en ambos se obtenga un mínimo
de cinco puntos.

f) Aquellos alumnos que no superen la evaluación continua podrán concurrir a los
exámenes finales teórico y práctico de la asignatura si así lo desean, en la
convocatoria de Febrero. En las de Junio y Septiembre, el único sistema de
evaluación posible será el de examen final.

g) Las convocatorias de Junio y Septiembre se regirán exclusivamente por el
sistema de exámenes finales.

El alumno debe conocer además que la evaluación se regirá por las  siguientes
normas adicionales:

1)En caso de no poder entregar una asignación de prácticas por enfermedad o causa
de fuerza mayor documentalmente justificadas, el profesor indicará al alumno
nueva fecha de entrega.

2) Los exámenes finales de Febrero, Junio y Septiembre se regirán por los
Estatutos de la Universidad de Cádiz y normativa derivada en cuanto a número de
llamamientos y días de revisión de calificaciones se refiere.

3) Bajo el sistema de exámenes finales, a todas las convocatorias se acude con el
temario completo (tanto teórico como práctico). No se reservarán calificaciones
de partes de la asignatura para convocatorias sucesivas.

4) Para lo no contemplado en estas notas se estará a lo dispuesto en el
Reglamento de Régimen Académico y Evaluación del Alumnado de la Universidad de
Cádiz.

Procedimiento de Evaluación

Procedimiento de calificación

La calificación final de la asignatura (CF) vendrá determinada bajo evaluación
continua de acuerdo a la siguiente expresión:

CF=NEP+NAP+NAL+NTF+NEO

siempre que NEP y NAP sean mayores a 2 puntos y 1.5 puntos respectivamente.

La calificación final de la asignatura (CF) vendrá determinada bajo el modelo de
exámenes finales por las calificaciones obtenidas en los exámenes finales teórico
y práctico de acuerdo a la siguiente expresión:

CF=(0.70)*NEFT+(0.30)*NEFP

siempre que en NEFT y NEFP sean mayores o iguales a cinco puntos.

Descripcion de los Contenidos

            Tema 1: Un Modelo de Funciones Computables.
Modelos de Computación vs. lenguajes de programación. En qué se parecen y en qué se diferencian. El modelo de
Davis: memoria, instrucciones e instancias. Espacio de estados, estados y descripciones instantáneas. Configuraciones
y computaciones. Funciones computables en sentido parcial y total. Ejemplos de funciones computables. Haciendo la vida
más fácil: macros y su expansión.
        

            Tema 2: La Jerarquía de Funciones.
Operadores de combinación de funciones computables: composición y recursión primitiva simple y generalizada.
Teoremas de composición y recursión. Ejemplos. La teoría de funciones recursivas de Kleene: funciones iniciales y
clase PRC. Computabilidad de las funciones iniciales. La clas PRC más simple: funciones recursivas primitivas. Un
teorema de caracterización. Ejemplo de funciones recursivas primitivas. ¿Es posible expresar la computabilidad en
base a la recursividad primitiva? Por qué no es posible. Límites de los operadores de combinación y necesidad de uno
nuevo: operaciones iteradas, cuantificadores acotados y funciones de minimización acotada y no acotada. Por qué en
Informática todo cálculo se reduce a reescritura: los Teoremas de las Formas Normales. Algo sobre codificación:
función de emparejamiento y numeración de Gödel.

        

            Tema 3: Universalidad
Razonar sobre instancias del modelo de Davis y sobre números es lo mismo: codificación. Límites de la
computabilidad: el problema de la parada y resultados similares. Por qué los computadores son programables: funciones
universales y el Teorema de Universalidad. Computabilidad en conjuntos: conjuntos recursivo enumerables y recursivos.
Relaciones. Un teorema de caracterización. Otros resultados de interés: teoremas del parámetro, del punto fijo,
S-m-n y de Rice.

        

            Tema 4: Computabilidad sobre Cadenas.
¿Cambia las cosas computar sobre cadenas? No, y por qué no las cambia.Procesando cadenas con S. Definición de
S-computabilidad. Equivalencia entre L-computabilidad y S-computabilidad. Modelos de Post. Una aproximación a la
Máquina de Turing: los modelos de Post. Post-computabilidad. Equivalencia de Modelos.
        

            Tema 5: Máquinas de Turing.
La gran intuición de Turing: la máquina de registros y control de estado, o cómo poner programas y datos juntos en
memoria. Cómo todo conocimiento puede reducirse a una lista de caracteres carentes de significado.
Turing-computabilidad y Tesis de Church Turing. ¿Son más potentes las máquinas de Turing que otros modelos
clásicos? máquinas no deterministas, de varias cintas, de varias pistas y de registro almacenado, o de cómo rizar el
rizo para acaba en el mismo sitio. Máquinas de Turing Universales y arquitectura de Von-Neumann: relaciones.
        

            Tema 6: Modelos de Computación Paralela. Otros Modelos.
¿Por qué modelos paralelos? El modelo PRAM. PRAM-computabilidad. PRAM-extensiones: PRAM con latencia de memoria y
PRAM asíncrono. ¿Computamos más con el modelo PRAM o sólo computamos mejor? Dicho de otra forma ¿cambia el modelo
PRAM el conjunto de funciones computables? Máquinas de Turing Paralelas. Otros modelos con paralelismo explícito:
autómatas celulares y modelos de ADN.
        

Bibliografía

Bibliografía Básica

[Coo08] Cooper, S., Löwe B & Sorbi, A. New Computational Paradigms: 

Changing Conceptions of what is Computable. Springer, 2008.

[Coo14] Cooper, S.. Computability Theory. Chapman Hall/CRC Mathematics 

Series v26. Second Edition Revised. 2014.

[Cut94] Cutland, N.J. Computability: An Introduction  to Recursive Function 
Theory . Cambridge University Press, 1994. 

[Dav94] Davis, M., Sigal, R. and Weyuker, E. Computability, Complexity and 
Languages. Academic Press, 1994. 

[Dew88] Dewdney, A.K. The Armchair Universe. An Exploration of Computer Wordls. 

W.H Freeman and Company. New York, 1988.

[Dow12] Downey, A. Think Complexty. Green Tea Press, Nedham (MA), 2012.

[Gur] Gurari, E. An Introduction to the Theory of Computation. 

Ohio State University.Computer Sciences Press, 1989. 

En http://web.cse.ohio-state.edu/~gurari/theory-bk/theory-bk.html

[Lin11] Linz, P. An Introduction to Formal Languages and Automata (Fifth Edition).

Jones & Barlett Learning, 2011.

[Mah14] Maheswari, A. & Smid,. M. Introduction to Theory of Computation. 

Disponible bajo licencia CC en 

http://cglab.ca/~michiel/TheoryOfComputation/TheoryOfComputation.pdf

[Sav] Savage, J.E. Models of Computation.Exploring the Power of Computing. Brown 

University. En http://cs.brown.edu/~jes/book/pdfs/ModelsOfComputation.pdf

[Stu13] Stuart, T. Understanding Computation: From Simple Machines to Impossible

Programs. O'Reilly Media, 2013.

[Wol94] Wolfram, S. Cellular Automata and Complexity. Collected Papers. Addison Wesley, 1994.

[Wir] Worsch, T. Parallel Turing Machines With One-Head Control Units and 

Cellular Automata. Technical Report. 

En http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/1799

[Zuc93] Zucker, J. and Pretorius, L. Introduction to Computability Theory. 

South African Computer Journal, 1993.

Bibliografía Específica

[Bro93] Brookshear, J. Teoría de la Computación: lenguajes formales, 
autómatas y complejidad. Addison-Wesley Iberoamericana, 1993. 

[Dav02] Davis, M. La Computadora Universal. Ed. Debate, 2002. 

[Gar79] Garey, M and Johnson, D. Computers and Intractability: a guide to 
the theory of NP-completness. New York, Freeman, 1979.

[Lee90] Leeuwen, J. V. (ed.) Handbook of Theoretical Computer Science. 
Elsevier, 1990.

[Pen90] Penrose, R. La Nueva Mente del Emperador. Ed. Mondadori, 1990. 

[San90] Sancho, J. Lógica Matemática y Computabilidad. Díaz de Santos, 
S.A., 1990.

Bibliografía Ampliación

[Aho92] Aho, A.  and Ullman, J.D. Foundations of Computer Science. W. H. 
Freeman and Company. New York, 1992.

[Cal88] Calude, C. Theories of Computational Complexity. North-Holland, 1988.

[Coh91] Cohen, D. Introduction to Computer Theory. John Wiley and Sons, 
Inc. 1991.

[Deh93] Dehornoy, P. Complexite et decidabilite. Springer-Verlag, 1993.

[Jon97] Jones, N. D. Computability and Complexity. The MIT Press, 1997.

[Lew91] Lewis, H and Papadimitriou, C. Elements of the Theory of Computation. 
Englewood Cliffs, NH. Prentice Hall, 1991.

[Mar91] Martin, J. Introduction to Languages and the Theory of Computation. 
New York, McGraw-Hill, 1991.

[Mcn82] McNaughton, R. Elementary Computability, Formal Languages and 
Automata. Prentice Hall, 1982.

[Rev83] Revesz, G. Introduction to Formal Languages. McGraw-Hill, 1983.

[Som88] Sommerhalder, R. and Van Westerhenen S. C. The Theory of 
Computability : Programs, Machines, Effectiveness and Feasibility. Addison- Wesley, 1988.

[Sud88] Sudkamp, T. Languages and Machines, An Introduction to the Theory 
of  Computer Science. Addison-Wesley Series in Computer Science. Readin, MA. 
Addison-Wesley Inc 1988.

[Wil86] Wilf, H.S. Algorithms and Complexity. Prentice-Hall, 1986.

[Woo87] Wood, D. Theory of Computation, New York, John Wiley & Sons, 1987.

El presente documento es propiedad de la Universidad de Cádiz y forma parte de su Sistema de Gestión de Calidad Docente. En aplicación de la Ley 3/2007, de 22 de marzo, para la igualdad efectiva de mujeres y hombres, así como la Ley 12/2007, de 26 de noviembre, para la promoción de la igualdad de género en Andalucía, toda alusión a personas o colectivos incluida en este documento estará haciendo referencia al género gramatical neutro, incluyendo por lo tanto la posibilidad de referirse tanto a mujeres como a hombres.