NOMBRE DE LA ESCUELA MATERIA

NOMBRE DEL TRABAJO

NOMBRE DEL ALUMNO

CUATRIMESTRE

CATEDRTICO

MEDIOS DE TRANSMISIN 1. MEDIOS DE TRANSICIN GUIADOS Los medios de transmisin guiados estn constituidos por un cable que se encarga de la conduccin (o guiado) de las seales desde un extremo al otro. Las principales caractersticas de los medios guiados son el tipo de conductor utilizado, la velocidad mxima de transmisin, las distancias mximas que puede ofrecer entre repetidores, la inmunidad frente a interferencias electromagnticas, la facilidad de instalacin y la capacidad de soportar diferentes tecnologas de nivel de enlace. La velocidad de transmisin depende directamente de la distancia entre los terminales, y de si el medio se utiliza para realizar un enlace punto a punto o un enlace multipunto. Debido a esto los diferentes medios de transmisin tendrn diferentes velocidades de conexin que se adaptarn a utilizaciones dispares. PAR TRENZADO UTP Consiste en un par de hilos de cobre conductores cruzados entre s, con el objetivo de reducir el ruido de diafona. A mayor nmero de cruces por unidad de longitud, mejor comportamiento ante el problema de diafona. Existen dos tipos de par trenzado: Protegido: Shielded Twisted Pair (STP) No protegido: Unshielded Twisted Pair (UTP): es un cable de pares trenzado y sin recubrimiento metlico externo, de modo que es sensible a las interferencias. Es importante guardar la numeracin de los pares, ya que de lo contrario el efecto del trenzado no ser eficaz, disminuyendo sensiblemente o incluso impidiendo la capacidad de transmisin. Es un cable barato, flexible y sencillo de instalar. Las aplicaciones principales en las que se hace uso de cables de par trenzado son: Bucle de abonado: es el ltimo tramo de cable existente entre el telfono de un abonado y la central a la que se encuentra conectado. Este cable suele ser UTP Cat.3 y en la actualidad es uno de los medios ms utilizados para transporte de banda ancha, debido a que es una infraestructura que esta implantada en el 100% de las ciudades. Redes LAN: en este caso se emplea UTP Cat.5 o Cat.6 para transmisin de datos, consiguiendo velocidades de varios centenares de Mbps. Un ejemplo de este uso lo constituyen las redes 10/100/1000BASE-T. CABLE COAXIAL Se compone de un hilo conductor, llamado ncleo, y un mallazo externo separados por un dielctrico o aislante. FIBRA PTICA Es un enlace hecho con un hilo muy fino de material transparente de pequeo dimetro y recubierto de un material opaco que evita que la luz se disipe. Por el

ncleo, generalmente de vidrio o plsticos, se envan pulsos de luz, no elctricos. Hay dos tipos de fibra ptica: la multimodo y la monomodo. En la fibra multimodo la luz puede circular por ms de un camino pues el dimetro del ncleo es de aproximadamente 50 m. Por el contrario, en la fibra monomodo slo se propaga un modo de luz, la luz slo viaja por un camino. El dimetro del ncleo es ms pequeo (menos de 5 m). 2. TRANSMISIN INALMBRICA Las Transmisiones inalmbricas o tambin llamadas medios no guiados llevan a cabo la transmisin y la recepcin por medio de antenas. Existen 2 tipos de configuraciones: la direccional y la omnidireccional. LA DIRECCIONAL: Las antenas de emisin y recepcin estn perfectamente alineadas LA OMNIDIRECCIONAL: El diagrama de radiacin de la antena es ms disperso pudiendo la seal ser recibida por varias antenas ANTENAS El tipo de la antena determina su patrn de radiacin puede ser omnidireccional, bidireccional, o unidireccional. Las antenas Omnidireccionales son buenas para cubrir reas grandes, la cual la radiacin trata de ser pareja para todos lados es decir cubre 360. Las antenas Direccionales son las mejores en una conexin Punto-a-Punto, acoplamientos entre los edificios, o para los Clientes de una antena omnidireccional. MICROONDAS TERRESTRES Estas utilizan una antena de tipo parablico, con un tamao de 3 metros de dimetro, debe estar fijada rgidamente y debe estar alineada con la antena receptora. Aplicaciones: El uso principal es en los servicios de telecomunicaciones de larga distancia Tambin se utiliza en enlaces punto a punto a cortas distancias entre edificios Caractersticas de transmisin: su banda de frecuencia est comprendida entre 2 y 40 Ghz En esta transmisin tambin se da la atenuacin

MICROONDAS POR SATLITE Un satlite de comunicaciones es esencialmente una estacin que retransmite microondas. El satlite recibe la seal de una banda de frecuencia, la amplifica o repite y posteriormente la retransmite en otra banda de frecuencia. Para que este satlite funcione con eficacia generalmente se exige que se mantenga en una rbita geoestacionaria. Debe existir una separacin prudente entre satlites para que no existan interferencias Aplicaciones: La difusin de televisin La transmisin telefnica a larga distancia Las redes privadas Caractersticas de transmisin: El rango de frecuencia ptimo para la transmisin va satlite est comprendida entre 1 y 10 Ghz En esta transmisin existe un retardo de propagacin de una estacin a otra pasando por un satlite Los satlites con microondas son un medio para aplicaciones multidestino ONDAS DE RADIO Estas ondas son omnidireccionales, estas ondas no necesitan antenas parablicas, Tampoco necesitan que las antenas estn fijadas rgidamente. Aplicaciones: Cubre lo que es la radio comercial FM as como televisin UHF y VHF Se utiliza para una serie de aplicaciones de redes de datos Caractersticas de transmisin: El rango de frecuencia est comprendida entre 1Mhz y 1Ghz Tiene la ionsfera transparente para ondas con frecuencia superiores a 30 Mhz Existen interferencias por multitrayectorias INFRARROJOS Esta se lleva a cabo mediante transistores y receptores que modulan luz infrarroja no coherente

Estos rayos infrarrojos no pueden atravesar las paredes Adems no hay problemas de asignacin de frecuencias, ya que en esta banda no se necesita permisos AUTMATAS Y LENGUAJES PROGRAMABLES Cuando surgieron los autmatas programables, lo hicieron con la necesidad de sustituir a los enormes cuadros de maniobra construidos con contactores y rels. Por lo tanto, la comunicacin hombre-mquina debera ser similar a la utilizada hasta ese momento. El lenguaje usado, debera ser interpretado, con facilidad, por los mismos tcnicos electricistas que anteriormente estaban en contacto con la instalacin. Estos lenguajes han evolucionado en los ltimos tiempos, de tal forma que algunos de ellos ya no tienen nada que ver con el tpico plano elctrico a rels. UNIDAD III ANLISIS SINTCTICO 1. ARBOLES DE DERIVACIN Un rbol de derivacin permite mostrar grficamente cmo se puede derivar cualquier cadena de un lenguaje a partir del smbolo distinguido de una gramtica que genera ese lenguaje. Un rbol es un conjunto de puntos, llamados nodos, unidos por lneas, llamadas arcos. Un arco conecta dos nodos distintos. Para ser un rbol un conjunto de nodos y arcos debe satisfacer ciertas propiedades: Hay un nico nodo distinguido, llamado raz (se dibuja en la parte superior) que no tiene arcos incidentes. Todo nodo c excepto el nodo raz est conectado con un arco a otro nodo k, llamado el padre de c (c es el hijo de k). El padre de un nodo, se dibuja por encima del nodo. Todos los nodos estn conectados al nodo raz mediante un nico camino. Los nodos que no tienen hijos se denominan hojas, el resto de los nodos se denominan nodos interiores. 2. FORMAS NORMALES DE CHOMSKY Una GLC se dice que est en Forma Normal de Chomsky (FNC) si todas sus producciones son de la forma: Excepcionalmente se permite la produccin

La idea de la transformacin de una gramtica limpia a FNC se ejecuta en dos pasos: Hacer que en la parte derecha de las producciones de longitud mayor o igual que dos slo haya terminales. Trocear estas producciones para que tengan longitud dos. Algoritmo FNC: 1. Para cada produccin de la forma (a) Para cada i, si i es terminal: - Se aade la produccin Ca a - Se cambia i por Ca en A 1..n 2. Para cada produccin de la forma A B1...Bm, m 3 (a) Se aaden (m-2) no terminales D1, D2, ..., Dm-2 (distintos para cada produccin) (b) La produccin A B1...Bm se reemplaza por A B1D1, D1 B2D2, ... Dm 2 Bm-1Bm 3. DIAGRAMAS DE SINTAXIS Los diagramas sintcticos, de sintaxis o diagramas del ferrocarril son una forma de representar una gramtica libre de contexto. Representan una alternativa grfica para la Forma de Backus-Naur (BNF, por sus siglas en ingles) o la Forma Extendida de Backus-Naur (EBNF, por sus siglas en ingles). Los primeros libros usando diagramas de sintaxis incluyen el "Manual del usuario de Pascal", escrito por Niklaus Wirth (los diagramas empiezan en la pgina 47) y el manual para CANDE de Burroughs. En el campo de la compilacin, representaciones textuales como BNF o sus variantes son generalmente preferidos. BNF es bien entendido por los autores de compiladores y compiladores, pero no es bien entendido por la mayora de los usuarios de las lenguas. Los diagramas de ferrocarril son ms comprensibles para la mayora de la gente. Alguna parte de la popularidad del formato de intercambio de datos JSON se debe a su representacin en los diagramas de ferrocarril. 4. ELIMINACIN DE LA AMBIGEDAD No existe un algoritmo que nos indique si una GIC es ambigua Existen LIC que slo tienen GIC ambiguas: inherentemente ambiguos Para las construcciones de los lenguajes de programacin comunes existen tcnicas para la eliminacin de la ambigedad Ejemplo: causas de ambigedad en la siguiente gramtica No se respeta la precedencia de operadores una secuencia de operadores idnticos puede agruparse desde la izquierda y desde la derecha. Lo convencional es agrupar desde la izquierda.

UNIDAD II ANLISIS LXICO Un analizador lxico y/o analizador lexicogrfico (en ingls scanner) es la primera fase de un compilador consistente en un programa que recibe como entrada el cdigo fuente de otro programa (secuencia de caracteres) y produce una salida compuesta de tokens (componentes lxicos) o smbolos. Estos tokens sirven para una posterior etapa del proceso de traduccin, siendo la entrada para el analizador sintctico (en ingls parser). La especificacin de un lenguaje de programacin a menudo incluye un conjunto de reglas que definen el lxico. Estas reglas consisten comumente en expresiones regulares que indican el conjunto de posibles secuencias de caracteres que definen un token o lexema. En algunos lenguajes de programacin es necesario establecer patrones para caracteres especiales (como el espacio en blanco) que la gramtica pueda reconocer sin que constituya un token en s. 1. FUNCIONES DEL ANLISIS LXICO El analizador lxico es la primera fase de un compilador. Su principal funcin consiste en leer los caracteres de entrada y elaborar como salida una secuencia de componentes lxicos que utiliza el analizador sintctico para hacer el anlisis. Como el analizador lxico es la parte del compilador que lee el texto fuente, tambin puede realizar ciertas funciones secundarias en la interfaz del usuario, como eliminar del programa fuente comentarios y espacios en blanco en forma de caracteres de espacio en blanco, caracteres TAB y de lnea nueva. Otra funcin es relacionar los mensajes de error del compilador con el programa fuente. En algunas ocasiones, los analizadores lxicos se dividen en una cascada de dos fases; la primera, llamada "examen", y la segunda, "anlisis lxico". El examinador se encarga de realizar tares sencillas, mientras que el analizador lxico es el que realiza las operaciones complejas. 2. COMPONENTES LXICOS: PATRONES Y LEXEMAS Son las unidades lgicas que genera el analizador lxico. Formar caracteres en tokens es muy parecido a formar palabras en un lenguaje natural. Es el conjunto de cadenas de entrada que produce como salida el mismo componente lxico. Cada token es una secuencia de caracteres que representa una unidad de informacin en el programa fuente. Los componentes lxicos ms comunes son los siguientes: palabras clave o reservadas - operadores aritmticos - operadores relacionales -operadores lgicos

-operador de asignacin -identificadores -constantes -cadenas -literales -signos de puntuacin -libreras Patrn Regla que describe el conjunto de lexemas que pueden representar a un determinado componente lxico en los programas fuente. En otras palabras, es la descripcin del componente lxico mediante una regla. Lexema Representan cadenas de caracteres en el programa fuente que se pueden tratar juntos como una unidad lxica. Un lexema es una secuencia de caracteres en el programa fuente con la que concuerda el patrn para un componente lxico. 3. CREACIN DE TABLA TOKENS Una tabla de smbolos puede conceptualizarse como una serie de renglones, cada uno de los cuales contiene una lista de valores de atributos que son asociados con una variable en particular. Las clases de los atributos que aparecen en una tabla de smbolos dependen en algn grado de la naturaleza del lenguaje de programacin para el cual se escribe el compilador. Por ejemplo, un lenguaje puede ser sin tipos, y por lo tanto el atributo tipo no necesita aparecer en la tabla. Similarmente, la organizacin de la tabla de smbolos variar dependiendo de las limitaciones de memoria y tiempo de acceso. Una tabla de smbolo provee la siguiente informacin: Da un identificador. Que informacin es asociada con un nombre. Como se asocia esa informacin con un nombre. Como acceder esta informacin. Pero las dos funciones importantes que realizan las tablas de smbolos (tambin llamadas tablas de identificadores y tablas de nombres), en el proceso de traduccin son: verificar que la semntica sea correcta y ayudar en la generacin apropiada de cdigo. Ambas funciones se realizan insertando o recuperando desde la tabla de smbolos los atributos de las variables usadas en el programa fuente. Estos atributos, tales como: el nombre, tipo, direccin de almacenamiento y dimensin de una variable, usualmente se encuentran explcitamente en las declaraciones o ms implcitamente a travs del contexto en que aparecen los nombres de variables en el programa.

4. ERRORES LXICOS El anlisis lxico constituye la primera fase, aqu se lee el programa fuente de izquierda a derecha y se agrupa en componentes lxicos (tokens), que son secuencias de caracteres que tienen un significado. Adems, todos los espacios en blanco, lneas en blanco, comentarios y dems informacin innecesaria se elimina del programa fuente. Tambin se comprueba que los smbolos del lenguaje (palabras clave, operadores,...) se han escrito correctamente. Como la tarea que realiza el analizador lxico es un caso especial de coincidencia de patrones, se necesitan los mtodos de especificacin y reconocimiento de patrones, y stos mtodos son principalmente las expresiones regulares y los autmatas finitos. Sin embargo, un analizador lxico tambin es la parte del traductor que maneja la entrada del cdigo fuente, y puesto que esta entrada a menudo involucra un importante gasto de tiempo, el analizador lxico debe funcionar de manera tan eficiente como sea posible. Son pocos los errores simplemente en el nivel lxico ya que tiene una visin muy restringida de un programa fuente. El analizador lxico debe devolver el componente lxico de un identificador y dejar a otra fase se ocupe de los errores. Suponga que una situacin en la cual el analizador lxico no puede continuar por que ninguno de los patrones concuerda con un prefijo de la entrada. Tal vez la estrategia de recuperacin ms sencilla sea recuperacin EN MODO PANICO (este mtodo de recuperacin es donde se borra caracteres sucesivos de la entrada hasta que el analizador lxico pueda encontrar un componente lxico bien formado). Los programas no siempre son correctos!! El compilador tiene que: Reportar clara y exactamente la presencia de errores Recuperarse de cada error lo suficientemete rpido para poder detectar errores subsiguientes: Tratar de evitar mensajes falsos de error Un error que produce un token erroneo Errores lxicos posibles Un token o componente lxico es una cadena de caracteres que tiene un significado coherente en cierto lenguaje de programacin. Ejemplos de tokens, podran ser palabras clave (if, while, int), identificadores, nmeros, signos, o un operador de varios caracteres. Son los elementos ms bsicos sobre los cuales se desarrolla toda traduccin de un programa, surgen en la primera fase, llamada anlisis lxico.

UNIDAD IV AUTMATAS FINITOS Un autmata finito (AF) o mquina de estado finito es un modelo computacional que realiza cmputos en forma automtica sobre una entrada para producir una salida. Este modelo est conformado por un alfabeto, un conjunto de estados y un conjunto de transiciones entre dichos estados. Su funcionamiento se basa en una funcin de transicin, que recibe a partir de un estado inicial una cadena de caracteres pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a medida que el autmata se desplaza de un estado a otro, para finalmente detenerse en un estado final o de aceptacin, que representa la salida. La finalidad de los autmatas finitos es la de reconocer lenguajes regulares, que corresponden a los lenguajes formales ms simples segn la Jerarqua de Chomsky. 1. DEFINICIN FORMAL DE AUTMATAS FINITOS Formalmente, un autmata finito es una 5-tupla (Q, , q0, , F) donde:

es un conjunto finito de estados; es un alfabeto finito; es el estado inicial; es una funcin de transicin; es un conjunto de estados finales o de aceptacin.

2. CLASIFICACIN DE AUTMATAS FINITOS (DETERMINANTES Y NO DETERMINANTES) Un autmata finito determinista (abreviado AFD) es un autmata finito que adems es un sistema determinista; es decir, para cada estado q Q en que se encuentre el autmata, y con cualquier smbolo a del alfabeto ledo, existe siempre a lo ms una transicin posible (q,a). En un AFD no pueden darse ninguno de estos dos casos: Que existan dos transiciones del tipo (q,a)=q1 y (q,a)=q2, siendo q1 q2; Que existan transiciones del tipo (q, ), salvo que q sea un estado final, sin transiciones hacia otros estados. Un ejemplo interesante de autmatas finitos deterministas son los tries. Un autmata finito no determinista (abreviado AFND) es aquel que, a diferencia de los autmatas finitos deterministas, posee al menos un estado q Q, tal que para un smbolo a del alfabeto, existe ms de una transicin (q,a) posible.

Haciendo la analoga con los AFDs, en un AFND puede darse cualquiera de estos dos casos:

Que existan transiciones del tipo (q,a)=q1 y (q,a)=q2, siendo q1 q2; Que existan transiciones del tipo (q, ), siendo q un estado no-final, o bien un estado final pero con transiciones hacia otros estados.

Cuando se cumple el segundo caso, se dice que el autmata es un autmata finito no determinista con transiciones vacas o transiciones (abreviado AFND-). Estas transiciones permiten al autmata cambiar de estado sin procesar ningn smbolo de entrada. Formalmente, se distingue de la 5-tupla que define a un autmata finito determinista en su funcin de transicin. Mientras en un AFD esta funcin se define de la siguiente manera: en un AFND se define como: Para el caso de los AFND-, se suele expresar la funcin de transicin de la forma: donde P(Q) es el conjunto potencia de Q. Esto significa que los autmatas finitos deterministas son un caso particular de los no deterministas, puesto que Q pertenece al conjunto P(Q). La interpretacin que se suele hacer en el cmputo de un AFND es que el automta puede estar en varios estados a la vez, generndose una ramificacin de las configuraciones existentes en un momento dado. Otra interpretacin puede ser imaginar que la mquina "adivina" a qu estado debe ir, eligiendo una transicin entre varias posibles. Note finalmente que en un autmata finito no determinista podemos aceptar la existencia de ms de un nodo inicial, relajando an ms la definicin original. 3. CONVERSIN DE UN AUTMATA FINITO NO DETERMINISTA (AFND) A UN AUTMATA FINITO DETERMINISTA (A.F.D) Todo AFND (QN, , q0, N, FN) puede convertirse en un AFD (QD, , q0, D, FD) equivalente, que mantiene el alfabeto y el estado inicial q0 originales. La conversin implica pasar por un AFD intermedio con estados y transiciones redundantes, que al no ser accesibles a partir del estado inicial, son eliminados para obtener el AFD definitivo. Para definir el AFD intermedio, se deben seguir los siguientes pasos: Primero se redefine el conjunto de estados QN = {q0, q1, ..., qm} original, como uno conformado por todos los subconjuntos de QN. Los nuevos estados finales

sern todos aquellos estados que contengan a alguno de los estados finales originales. Posteriormente, se redefine el conjunto de transiciones original, por transiciones del tipo D(S,a), donde a, y S es la unin de todos los estados q de QN para los cuales exista la transicin N(q,a). Por ltimo, se eliminan los estados inaccesibles o inalcanzables (junto con sus transiciones de salida), es decir, aquellos a los que no se puede acceder a partir del estado inicial. Luego de esta depuracin, se obtiene el AFD final. Ejemplo En las figuras de ejemplo, como el AFND inicial posee tres estados (q0, q1, q2), entonces el AFD intermedio poseer siete ({q0}, {q1}, {q2}, {q0, q1}, {q0, q2}, {q1, q2}, {q0, q1, q2}), y como el estado final original era q2, entonces los estados finales del AFD intermedio son {q2}, {q0, q2}, {q1, q2} y {q0, q1, q2}. Con respecto a las nuevas transiciones, note por ejemplo que se mantuvo la transicin N(q0,1)=q0, siendo ahora llamada D({q0},1)={q0}; sin embargo, dado que originalmente se daba que N(q0,0)=q0 y N(q0,0)=q1, ahora estas dos transiciones fueron reemplazadas por D({q0},0)={q0, q1}. Para terminar, note que los estados {q1}, {q2} y {q1, q2} no estn conectados con el resto del autmata que posee el estado inicial; por tanto, son eliminados. Asimismo es eliminado tambin {q0, q1, q2}, pues a pesar de estar conectado con el resto del autmata, no es accesible a partir de {q0}. As finalmente, eliminando estos cuatro estados, as como sus respectivas transiciones, se obtiene el AFD buscado. 4. DEFINICIN FORMAL DE LAS MAQUINAS DE TURIM Una mquina de Turing es un modelo computacional que realiza una lectura/escritura de manera automtica sobre una entrada llamada cinta, generando una salida en esta misma. Este modelo est formado por un alfabeto de entrada y uno de salida, un smbolo especial llamado blanco (normalmente b, o 0), un conjunto de estados finitos y un conjunto de transiciones entre dichos estados. Su funcionamiento se basa en una funcin de transicin, que recibe un estado inicial y una cadena de caracteres (la cinta, la cual puede ser infinita) pertenecientes al alfabeto de entrada. La mquina va leyendo una celda de la cinta en cada paso, borrando el smbolo en el que se encuentra posicionado su cabezal y escribiendo un nuevo smbolo perteneciente al alfabeto de salida, para luego desplazar el cabezal a la izquierda o a la derecha (solo una celda a la vez). Esto se repite segn se indique en la funcin de transicin, para finalmente detenerse en un estado final o de aceptacin, representando as la salida. Una mquina de Turing con una sola cinta puede definirse como una 7-tupla

donde: es un conjunto finito de estados. es un conjunto finito de smbolos distinto del espacio en blanco, denominado alfabeto de mquina o de entrada. es un conjunto finito de smbolos de cinta, denominado alfabeto de cinta ( ). es el estado inicial. es un smbolo denominado blanco, y es el nico smbolo que se puede repetir un nmero infinito de veces. es el conjunto de estados finales de aceptacin. es una funcin parcial denominada funcin de transicin, donde es un movimiento a la izquierda y es el movimiento a la derecha. Existen en la literatura un abundante nmero de definiciones alternativas, pero todas ellas tienen el mismo poder computacional, por ejemplo se puede aadir el smbolo como smbolo de "no movimiento" en un paso de cmputo.