Ejercicio 8 (Oficina estatal) F Considerar el siguiente TAD que modela el comportamiento de una oficina del Estado que procesa trámites. Cada trámite está identificado por un ID y se le asigna una categoŕıa al momento de ingresar. Las categoŕıas de la oficina no son fijas, y pueden agregarse nuevas categoŕıas en cualquier momento. En cualquier momento se puede dar prioridad a una categoŕıa. Todos los trámites pendientes que pertenecen a una categoŕıa prioritaria se consideran prioritarios (Notar que en esta oficina, como buena dependencia estatal, un trámite nunca concluye): TAD Oficina géneros oficina observadores básicos categorias : oficina −→ conj(categoria) pendientes : oficina −→ secu(id) prioritarias : oficina −→ conj(categoria) catTram : id i × oficina o −→ categoria {(i ∈ pendientes(o))} generadores nuevo : −→ oficina nuevaCat : categoria c × oficina o −→ oficina {(c 6∈ categorias(o))} nuevoTram : id i × categoria c × oficina o −→ oficina {(i 6∈ pendientes(o) ∧ c ∈ categorias(o))} priorizar : categoria c × oficina o −→ oficina {(c ∈ categorias(o))} otras operaciones pendPrioritarios : oficina −→ secu(id) filtrarPorCategorias : secu(id) s × conj(categoria) × oficina o −→ secu(id) {((∀i : nat)(0 ≤ i < long(s)⇒L s[i] ∈ pendientes(o)))} · · · Fin TAD Se decidió utilizar la siguiente estructura como representación: oficina se representa con estr donde estr es tupla(catPrioritarias: conj(categoria), tramites: dicc(id, categoria), tramites×Cat : dicc(categoria, conj(id)), pendPrioritarios: secu(id), pendientes: secu(id)) Informalmente, catPrioritarias representa el conjunto de todas las categoŕıas a las que se ha dado prioridad, tramites asocia a cada trámite su categoŕıa mientras que tramites×Cat describe todos los trámites asociados a cada categoŕıa. pendPrioritarios contiene la secuencia de trámites pendientes que tienen una categoŕıa prioritaria mientras que pendientes contiene todos los trámites pendientes (incluso a los prioritarios). a) Escribir en castellano y formalmente el invariante de representación. b) Escribir formalmente la funció