Tema 25. AP con dos pilas. Más allá del autómata de pila. No-LLC. Máquina de Turing, Problema del paro y Tesis de Church
|
|
- José María Muñoz Naranjo
- hace 8 años
- Vistas:
Transcripción
1 Tem 25 Máquin de Turing, Prolem del pro y Tesis de Church No-LLC LLC no-miguos LLC-Det LR Pl mrk Pl i i c i Dr. Luis A. Pined ISBN: LLC Proceso de i i c i : AP con dos pils Push tods ls s en stck Por cd pop un del stck & push un en el stck 2 eventulmente i = i Por cd c pop un del stck 2 eventulmente i = c i Pero el lenguje no es LLC L máquin de 2 stcks no es un AP norml Autómt cotdo linelmente (Liner ounded utomton) LSC: Lengujes sensitivos l contexto LR LLC Jerrquí de Chomsky Tipo 0: LRE α β α, β (V Σ) * & α tiene un vrile Tipo : LSC α β α, β (V Σ) * β α, α tiene un vrile Tipo 2: LLC Tipo 3: RL A B A A AB A Más llá del utómt de pil
2 Máquin de Turing Aln Turing, 936. On computle numers, with n ppliction to Entscheidungsprolem, Proceedings of the London Mtemthics Society. 42: & 43:544 (937). Movids: Dependiendo del estdo ctul & del símolo en l cint: Seleccionr el siguiente estdo Acción: escriir un símolo o moverse un celd l derech o l izquierd de l cint Un teorí de l computción complet Pr tods ls funciones f Pr todos sus rgumentos x Contr con un representción y con un lgoritmo que permite clculr f(x) Cuánts funciones hy? Se n 0 n n l list de todos los rgumentos Se f 0 f n l list de tods ls funciones Cuánts funciones hy? n 0 n n 2 n n f 0 f 0 (n 0 ) f 0 (n ) f 0 (n 2 ) f 0 (n n ) f f (n 0 ) f (n ) f (n 2 ) f (n n ) f 2 f 2 (n 0 ) f 2 (n ) f 2 (n 2 ) f 2 (n n ) f n f n (n 0 ) f n (n ) f n (n 2 ) f n (n n ) f j (n i ) puede o no estr definid Función ntidigonl u Se u: u(n) = si f n (n) NO está definid u(n) = f n (n) + si f n (n) está definid Supongmos que u = f m (i.e. está en l list): f m (m) = si f m (m) NO está definid f m (m) = f m (m) + si f m (m) está definid Por lo tnto u no está en l list! Ergo, ls funciones no son numerles! Máquin de Turing 2
3 Máquin de Turing Evlundo un función: Estdo inicil: los rgumentos de l función Máquin de Turing Evlundo un función: Estdo finl: el vlor de l función pr dichos rgumentos Máquin de Turing Aceptndo un lenguje: Función crcterístuic del lenguje Máquin de Turing Aceptndo un lenguje: Función crcterístic del lenguje L = {x / x es pr} L = {x / x es pr} Máquin de Turing Aceptndo un lenguje: Función crcterístic del lenguje Máquin de Turing Aceptndo un lenguje: Función crcterístic del lenguje 0 L = {x / x es pr} L = {x / x es pr} 3
4 Un teorí de l computción complet Ls funciones no son contles Ls máquins de Turing son contles Hy más funciones que MT No tods ls funciones son computles L función u, en prticulr, no es computle! Máquin de Turing Convenciones de interpretción: Estdo inicil: los rgumentos de l función (puntndo l símolo más izquierdo) Estdo finl: el vlor de l función pr dichos rgumentos (idem.) Si l máquin no pr, o pr en un configurción no estándr (i.e. puntndo un símolo diferente del más izquierdo), l función no tiene vlor pr el rgumento de entrd: es un función prcil. Máquin de Turing Pr determinr el vlor de un función, de cuerdo con ls convensiones de interpretción: Necesitmos ser si l máquin v prr! Definición de l máquin de pro HM Definimos un máquin HM (máquin de pro) que recie como rgumentos el id. de l máquin jo nálisis y su rgumento, y determin si dich máquin pr pr dicho rgumento: H(n, m) = 2 Si l máquin m pr pr el rgumento n H(n, m) = en otro cso Estdo inicil: Argumento Máquin de Turing Id. de l función o MT correspondiente: Máquin de Pro (HM) 0 0 # M T Máquin de Turing Estdo finl: Pr (2) o no pr () Máquin de Pro L máquin m pr pr el rgumento n 4
5 Máquin de Turing Estdo finl: Pr () o no pr (2) Máquin de Pro Qué hce HM? Máquin de Turing Tom el rgumento y l descrición de l MT indicd Aplic el rgumento dich máquin o lgo sí! L máquin m NO pr pr el rgumento n Máquin de Pro 0 0 # M T Qué hce HM? Máquin de Turing Si pr escrie y si no pr escrie! Pero en todo cso, l máquin de pro (HM) tiene que prr pr todos los rgumentos y tods ls MT Máquin de Pro 0 0 # M T Un teorí de l computción complet Pr tods ls funciones f Pr todos sus rgumentos x Contr con un representción y con un lgoritmo que permite clculr f(x) Si l representción es l máquin de Turing, el prolem de l computilidd se solucion definiendo l máquin del pro (un MT) Un teorí de l computción complet L Máquin nti-pro (AH) Máquin nti-pro = 666 Si l máquin del pro HM es un MT, siempre será posile definir un máquin nti-pro M666 tl que: Si HM dice que m pr pr n, M666 dice dice que m no pr pr n Máquin de pro (HM) Si HM dice que m No pr pr n, M666 dice dice que m pr pr n Todos los estdos finles de HM se conctenn l estdo inicil del segmento ntipro con un rco etiquetdo 5
6 L Máquin nti-pro, pr? L Máquin nti-pro, pr? Asummos que HM dice que si: Máquin nti-pro = 666 Máquin nti-pro = 666 Máquin de pro (HM) Máquin de pro (HM) L Máquin nti-pro, pr? L Máquin nti-pro, pr? Asummos que HM dice que si: Asummos que HM dice que si: Máquin nti-pro = 666 Máquin nti-pro = 666 Máquin de pro (HM) Máquin de pro (HM) L Máquin nti-pro, pr? L Máquin nti-pro, pr? Asummos que HM dice que si: Máquin nti-pro = 666 Asummos que HM dice que si: Entonces AH no PARA! Máquin nti-pro = 666 Máquin de pro (HM) Máquin de pro (HM) Per secul seculorum 6
7 L Máquin nti-pro, pr? Entonces summos que HM dice que que NO: Máquin nti-pro = 666 L Máquin nti-pro, pr? Entonces summos que HM dice que que NO: Máquin nti-pro = 666 Máquin de pro (HM) Máquin de pro (HM) L Máquin nti-pro, pr? Entonces summos que HM dice que que NO: AH SI PARA Máquin nti-pro = 666 Un teorí de l computción complet Máquin de pro (HM) L máquin M666 pr? Entonces, AH dice que si pr! L Máquin nti-pro, pr? H no es un MT Máquin nti-pro = 666 Máquin de pro (HM) Si HM dice que M666 pr, entonces M666 no pr Si HM dice que M666 no pr, entonces M666 pr Por lo tnto, HM, l máquin de Pro, si es que existe, no es un Máquin de Turing 7
8 El prolem del pro (The hlting prolem) Si l cint se puede reescriir, no podemos ser si l computción v prr! El prolem del pro no puede ser resuelto por un máquin de turing Tesis de Church El conjunto de ls funciones computles por l MT corresponde con el conjunto de funciones que los seres humnos pueden evlur de mner intuitiv Culquier mecnismo computcionl que se suficientemente generl pr evlur tods ls funciones es equivlente (y puede reducirse) l Máquin de Turing Tesis de Church Formlismos equivlentes: Máquin de Turing Teorí de ls funciones recursivs (Kleene) Computción Acus (Arq. de Von Newmn) Cálculo Lmd (Alonso Church) Máquin de Post Tesis de Church & el prolem del pro Si se descurier un mecnismo computcionl que resolvier el prolem del pro, dicho mecnismo no serí un máquin de Turing L Tesis de Church serí fls! MT & Lenguje Nturl Interpretr el lenguje es evlur un función: L función crcterístic del lenguje MT & Lenguje Nturl Interpretr el lenguje es evlur un función: L función crcterístic del lenguje J u n m m r i 8
9 Máquin de Turing Interpretr el lenguje es evlur un función: Máquin de Turing Interpretr el lenguje es evlur un función: j m r i m j u n Máquin de Turing Interpretr el lenguje es evlur un función: Máquin de Turing Interpretr el lenguje es evlur un función: s í e s! n u n c Hy un MT por cd función que podmos evlur intuitivmente! Ser un lenguje es ser su función crcterístic! El Juego de Turing (950) Aln Turing, Computing mchinery nd Intelligence, Mind, Octure, 950, 59: Interpretr el lenguje es evlur un función: s í e s! Origen de l Inteligenci Artificil El lenguje nturl... Curso: Procesmiento del hl y del lenguje Reconocimiento del hl Interpretción del lenguje Posgrdo UNAM : Mrtes y jueves de 2:00 3:30 Hrs Seminrio Evlución: Construcción de un sistem con recursos del proyecto DIME 9
Temas. Objetivo. Definición de autómata finito. Autómata finito determinístico y no determinístico. Autómata finito de estados mínimos 14:17
0 Tems Definición de utómt finito Autómt finito determinístico y no determinístico Autómt finito de estdos mínimos Ojetivo Que el estudinte logre: 1) Identificr conceptos constructivos de l Teorí de l
Más detalles1. Indicar el lenguaje aceptado por los siguientes autómatas :
Universidd Rey Jun Crlos Grdo en Ingenierí de Computdores Máquins Secuenciles, Autómts y Lengujes Hoj de Prolems: Autómts Finitos Determinists Nivel del ejercicio : ( ) ásico, ( ) medio, ( ) vnzdo.. Indicr
Más detallesAUTOMATAS FINITOS Traductores
Universidd de Morón Lengujes Formles y Autómts AUTOMATAS FINITOS Trductores AUTOMATAS FINITOS Un utómt finito es un modelo mtemático que posee entrds y slids. Un utomát finito recie los elementos tester
Más detallesTema 5: Introducción a la Teoría de la Computabilidad. Máquinas de Turing (MT) Ejemplo de máquina de Turing. Funcionamiento de la Máquina de Turing
Tem 5: Introducción l Teorí de l Computbilidd OBJETIVO: Máquins de Turing Implementción de tipos de dtos en un MT. Problem de Prd Tesis de Church-Turing Utilizción de l máquin de Turing como modelo computcionl
Más detallesFunción de transición δ. Tema 6. Función de transición extendida. Función de transición extendida. Función de transición extendida
Tem 6 El lenguje eptdo por un FA Funión de trnsiión δ p j p l Dr. Luis A. Pined ISBN: 970-32-2972-7 Σ Q p i p k n Pr todo en Q & Σ, δ(, ) = p Funión de trnsiión etendid δ permite moverse the un estdo otro
Más detallesTema 4. Integración compleja
Not: Ls siguientes línes son un resuen de ls cuestiones que se hn trtdo en clse sore este te. El desrrollo de todos los tópicos trtdos está recogido en l iliogrfí recoendd en l Progrción de l signtur.
Más detallesa Y = X donde a 1 siendo Lg el logaritmo y
Mteri: Mtemátics de 4to ño Tem: Función logrítmic Mrco Teórico L función exponencil de l form f ( ) tiene un función invers, que llmmos función logrítmic y se escribe de l form: Un función > 0 g( ) Lg
Más detallesFundamentos de Algoritmos y Computabilidad
Fundmentos de Algoritmos y Computilidd * Autómts finitos * Autómts finitos determinists * Autómts finitos no determinists * Equivlenci entre AFD y AFN Lengujes regulres Tipo Lengujes Tipo de máquin 0 Recursivmente
Más detalles3. FUNCIONES VECTORIALES DE UNA VARIABLE REAL
3. FUNCIONES VECTORIALES DE UNA VARIABLE REAL INDICE 3.1. Definición de función vectoril de un vrile rel, dominio y grficción.2 3.2. Límites y continuidd..3 3.3. Derivción de funciones vectoriles y sus
Más detallesAPUNTES DE MATEMÁTICAS
APUNTES DE MATEMÁTICAS TEMA 8: FUNCIONES.LÍMITES º BACHILLERATO FUNCIONES.Límites y continuidd ÍNDICE. LíMITES Y CONTINUIDAD DE FUNCIONES...3. Definición límite de un función en un punto...4 3. Definición
Más detallesIntegrales impropias
Integrles impropis En todo el estudio hecho hst hor se hn utilizdo dos propieddes fundmentles: l función tení que ser cotd y el intervlo de integrción tení que ser cerrdo y cotdo. En est últim sección
Más detallesTema 22. El lema de bombeo para LR
Tem 22 Lem de omeo pr LLC Dr. Luis A. Pined IBN: 970-32-2972-7 Cómo podemos decir si un lenguje es lire del contexto? Definir un GLC o diseñr un AP pr el lenguje Pero que tl si el lenguje se descrie por
Más detallesMáximo común divisor. 2. Descomposición en primos Ejemplo. Encontrar mcd 504,300 Se descomponen ambos números en primos 504 2 252 2 126 2 63 3 21 3
Máximo común divisor El máximo común divisor de dos números nturles y es el número más grnde que divide tnto como. se denot mcd,. Lists: (tl vez, el más intuitivo, pero el menos eficiente) Encontrr mcd
Más detallesDeterminización: Construcción de Safra
Determinizción: Construcción de Sfr Ddo: Autómt de Büchi A = (Q,Σ,Q 0,δ,F) Supong que Q = {q 1,...,q n }. Vmos construir un utómt de Rin determinist B tl que L ω (A) = L ω (B), donde B está compuesto por:
Más detallesCONTROL DE PROCESOS FACET UNT TEMA 1 Nota Auxiliar B ÁLGEBRA DE BLOQUES
Digrms en Bloques Un sistem de control puede constr de ciert cntidd de componentes. Pr mostrr ls funciones que reliz cd componente se costumr usr representciones esquemátics denominds Digrm en Bloques.
Más detallesCapítulo 8: Propiedades de Lenguajes Regulares
Cpítulo 8: Propieddes de Lengujes Regulres 8.1. Identificción de lengujes no regulres 8.1.1. Lem de Boeo 8.1.2. Aplicciones del lem de omeo 8.2. Propieddes de Cierre 8.2.1. Unión, Conctención, Clusur 8.2.2.
Más detallesAUTOMATAS FINITOS CIENCIAS DE LA COMPUTACION I 2009
AUTOMATAS FINITOS Un utómt finito es un modelo mtemático de un máquin que cept cdens de un lenguje definido sore un lfeto A. Consiste en un conjunto finito de estdos y un conjunto de trnsiciones entre
Más detallesAmbigüedad. Sesión 16. Una gramática ambigua. Ambigüedad. Una gramática ambigua. Una gramática ambigua
Ambigüedd Sesión 16 Ambigüedd Si un grmátic gener más de un estructur prtir de l mism riz y con l mism cosech (más de un estructur pr l mism cden), dich grmátic es mbigu Dos tipos de mbigüedd n l grmátic
Más detallesAmbigüedad. Ambigüedad. Tema 16. Una gramática ambigua. Una gramática ambigua. Una gramática ambigua
Ambigüedd em 16 Ambigüedd Dr. Luis A. Pined SBN: 970-32-2972-7 Si un grmátic gener más de un estructur prtir de l mism riz y con l mism cosech (más de un estructur pr l mism cden), dich grmátic es mbigu
Más detallesuna función acotada. a) Cuántas particiones puede tener el intervalo [ ab, ]?. c) Cuántos puntos como máximo puede tener una partición de [ ab, ]?.
Ejercicios del Tem de Integrles Cálculo Diferencil e Integrl II ) Sen A y B dos conjuntos no vcíos de números reles, tles que B A y A está cotdo superiormente Demostrr que B está cotdo superiormente y
Más detallesTema 4: Operaciones sobre lenguajes regulares
Tem 4: Operciones sore lengujes regulres Deprtmento de Sistems Informáticos y Computción DSIC - UPV http://www.dsic.upv.es p.1/19 Tem 4: Propieddes de los lengujes regulres Lem de omeo pr lengujes regulres.
Más detallesTema 5. Trigonometría y geometría del plano
1 Tem. Trigonometrí y geometrí del plno 1. Rzones trigonométrics de un ángulo gudo Ddo un ángulo culquier, si desde un punto, A, de uno de sus ldos se trz su proyección, A, sobre el otro ldo se obtiene
Más detallesEl conjunto de los números naturales tiene las siguientes características
CAPÍTULO Números Podemos decir que l noción de número nció con el homre. El homre primitivo tení l ide de número nturl y prtir de llí, lo lrgo de muchos siglos e intenso trjo, se h llegdo l desrrollo que
Más detallesResolver inecuaciones como las siguientes. Expresar la solución en forma gráfica y algebraica. Comparar las soluciones de los ejercicios e), f) y g).
64 Tercer Año Medio Mtemátic Ministerio de Educción Actividd 3 Resuelven inecuciones y sistems de inecuciones con un incógnit; expresn ls soluciones en form gráfic y en notción de desigulddes; nlizn ls
Más detallesAUTÓMATAS DE PILA. Dpto. de Informática (ATC, CCIA y LSI). Univiersidad de Valladolid.
Dpto. de Informátic (ATC, CCIA y SI). Univiersidd de Vlldolid. TEORÍA DE AUTÓMATAS Y ENGUAJES FORMAES II Ingenierí Técnic en Informátic de Sistems. Curso 20-2 AUTÓMATAS DE PIA. Dd l siguiente grmátic independiente
Más detallesx 2 + ( x + 1 ) 2 + ( x + 2 ) 2 = 365 x 2 + x 2 + 2 x + 1 + x 2 + 4x + 4 = 365 3 x 2 + 6x 360 = 0
Ecuciones cudrátics con un incógnit Sen, 1 y los tres números nturles consecutivos uscdos. El prolem nos indic que ( 1 ) ( ) 365 Un número con misterio! El número 365 tiene l crcterístic de ser l sum de
Más detallesFactorización de polinomios. Sandra Schmidt Q. sschmidt@tec.ac.cr Escuela de Matemática Instituto Tecnológico de Costa Rica
Artículo de sección Revist digitl Mtemátic, Educción e Internet (www.cidse.itcr.c.cr/revistmte/). Vol. 12, N o 1. Agosto Ferero 2012. Fctorizción de polinomios. Sndr Schmidt Q. sschmidt@tec.c.cr Escuel
Más detallesCiencias de la Computación I
Ciencis de l Computción I Propieddes de Clusur de Lengujes Regulres y Lengujes Libres del Contexto Propieddes de Clusur de Lengujes Regulres Los lengujes regulres (LR son cerrdos bjo ls siguientes operciones:
Más detallesO(0, 0) verifican que. Por tanto,
Jun Antonio González Mot Proesor de Mtemátics del Colegio Jun XIII Zidín de Grnd SIMETRIA RESPECTO DEL ORIGEN. FUNCIONES IMPARES: Un unción es simétric respecto del origen O, su simétrico respecto de O
Más detallesAutómatas finitos TEORÍA DE LA COMPUTACIÓN LENGUAJES REGULARES Y AUTÓMATAS FINITOS. Ejemplo 2. Ejemplo 1
Autómts finitos TEORÍA DE LA COMPUTACIÓN LENGUAJES REGULARES Y AUTÓMATAS FINITOS Frncisco Hernández Quiroz Deprtmento de Mtemátics Fcultd de Ciencis, UNAM E-mil: fhq@ciencis.unm.mx Págin We: www.mtemtics.unm.mx/fhq
Más detallesResumen Segundo Parcial, MM-502
Resumen Segundo Prcil, MM-502 Jose Alvreng 18 de febrero de 2015 1. Integrles de líne ) Definición Se r(t) = f(t)i + g(t)j un función vectoril con dominio D, y L un vector. Decimos que r tiene limite L
Más detallesCaracterización de lenguajes regulares con expresiones regulares
Crcterizción de lengujes regulres con expresiones regulres Elvir Myordomo Universidd de Zrgoz 15 de octubre de 2012 Contenido de este tem Recordtorio de expresiones regulres (e.r.) Cómo convertir un e.r.
Más detallesINTEGRAL DEFINIDA. El hallar el área aproximada bajo la curva por suma de n áreas rectangulares de igual ancho x
en INTEGRAL DEFINIDA El concepto de integrl definid está relciondo con el vlor que determin el áre jo l curv dd por un función f (x) el [, ]. (ve l intervlo gráfic) Uno de los primeros psos pr llegr este
Más detallesINGENIERÍA EN INFORMÁTICA MODELOS ABSTRACTOS DE COMPUTO I
INGENIERÍA EN INFORMÁTICA MODELOS ABSTRACTOS DE COMPUTO I 18 de enero de 2008 APELLIDOS Y NOMBRE: DURACIÓN: 3 hors. SOLUCIÓN del EXAMEN L primer pregunt es un test, que const de 8 supregunts corts y puntú
Más detallesIntegración numérica por Monte-Carlo
Integrción numéric por onte-crlo Ptrici Svedr Brrer 1 16 de julio de 28 1 Deprtmento de temátics, Universidd Autónom etropolitn-iztplp, psb@xnum.um.mx 2 Introducción Se X un vrible letori continu que tom
Más detalles7.1. Definición de integral impropia y primeras propiedades
Cpítulo 7 Integrles impropis 7.. Definición de integrl impropi y primers propieddes El concepto de integrl se etiende de mner csi espontáne situciones más generles que ls que hemos emindo hst hor. Consideremos,
Más detallesEspacios vectoriales y Aplicaciones Lineales II: Núcleo e imagen. Diagonalización. Ker(f) = {x V f(x) = 0} Im(f) = {f(x) x V}.
UNIVERSIDAD DE JAÉN ESCUELA POLITÉCNICA SUPERIOR Deprtmento de Mtemátics (Áre de Álgebr) Curso 28/9 PRÁCTICA Nº Espcios vectoriles y Aplicciones Lineles II: Núcleo e imgen. Digonlizción. NÚCLEO E IMAGEN
Más detalles2. REPRESENTACIÓN ANALÍTICA Y GRÁFICA DE UN VECTOR
1. INTRODUCCIÓN CÁLCULO VECTORIAL Mgnitud: Es todo quello que se puede medir eperimentlmente. Ls mgnitudes físics se clsificn en esclres ectoriles. Mgnitud esclr: Es quell que iene perfectmente definid
Más detallesPROBLEMAS DE PROGRAMACIÓN LINEAL (LP)
PROBLEMAS DE PROGRAMACIÓN LINEAL (LP) Plntemiento del prolem de progrmción Linel Un prolem de progrmción linel es cundo l función ojetivo es un función linel y ls restricciones son ecuciones lineles; l
Más detalles8 - Ecuación de Dirichlet.
Ecuciones Diferenciles de Orden Superior Prte V III Integrl de Dirichle t Ing. Rmón scl Prof esor Titulr de nálisi s de Señles Sistems Teorí de los Circuit os I I en l UTN, Fcultd Regionl vellned uenos
Más detallesq 2 q 3 b q 3 q 4 a, b
M = (Σ E, Q, q, f, F ) donde Reconocedor finito determinist Slide Σ E : lfeto de entrd Q : conjunto de estdos, f inito q Q : estdo inicil f : Q Σ E Q función prcil de trnsición F Q : estdos finles o de
Más detallesClase Auxiliar 5. Aútomatas Finitos Determinísticos (Diagramas de Estado)
CC2A Computción II Auxilir 5 Iván Bustmnte Clse Auxilir 5 Aútomts Finitos Determinísticos (Digrms de Estdo) Un utómt finito determinístico es un modelo de un sistem que tiene un cntidd finit de estdos
Más detallesTema 11: Integral definida. Aplicaciones al cálculo de áreas
Tem : Integrl definid. Aplicciones l cálculo de áres. Introducción Ls integrles no vn permitir clculr áres de figurs no geométrics. En nuestro cso, nos limitremos clculr el áre jo un curv y el áre encerrd
Más detallesLa integral. En esta sección presentamos algunas propiedades básicas de la integral que facilitan su cálculo. c f.x/ dx C f.
CAPÍTULO L integrl.6 Propieddes fundmentles de l integrl En est sección presentmos lguns propieddes ásics de l integrl que fcilitn su cálculo. Aditividd respecto del intervlo. Si < < c, entonces: f./ d
Más detallesPrimer Parcial de Introducción a la Investigación de Operaciones Fecha: 28 de abril de 2010
Primer Prcil de Introducción l Investigción de Operciones Fech: 8 de bril de 00 INDICACIONES Durción del prcil: hrs. Escribir ls hojs de un solo ldo. No se permite el uso de mteril ni clculdor Numerr ls
Más detallesTema 10: Integral definida. Aplicaciones al cálculo de áreas
Tem : Integrl definid. Aplicciones l cálculo de áres. Introducción Ls integrles nos vn permitir clculr áres de figurs no geométrics. En nuestro cso, nos limitremos clculr el áre jo un curv y el áre encerrd
Más detallesTEMA 6. INTEGRAL DE RIEMANN. 6.1 INTEGRAL DE RIEMANN 6.1.1 Partición de un intervalo
TEMA 6. INTEGRAL DE RIEMANN 6.1 INTEGRAL DE RIEMANN 6.1.1 Prtición de un intervlo Se f :, y fx K x,. Definición: Un prtición de, es un conjunto ordendo y finito de números reles y distintos P x 0,...,x
Más detallesTeoría de Lenguajes. Transductores y Máquinas Secuenciales Generalizadas
Teorí de Lengujes Trnsductores y Máquins Secuenciles Generlizds José M. Sempere Deprtmento de Sistems Informáticos y Computción Universidd Politécnic de Vlenci Trnsductores 1. Preliminres lgericos 2. Relciones
Más detalles5. Lenguajes Regulares
5. Lengujes Regulres Arceli Snchis de Miguel Agpito Ledezm Espino José A. Iglesis Mr
Más detallesUniversidad de Valladolid
Universidd de Vlldolid Deprtmento de Informátic Teorí de utómts y lengujes formles. 2 o I.T.Informátic. Gestión. Exmen de segund convoctori, 5 de septiemre de 2007 Apellidos, Nomre... Grupo:... Firm: 1
Más detallesExámenes de Teoría de Autómatas y Lenguajes Formales. David Castro Esteban
Exámenes de Teorí de Autómts y Lengujes Formles Dvid Cstro Esten Teorí de Autómts y Lengujes Formles Ingenierí Técnic en Informátic de Sistems Ferero 24 Prolem (2 ptos.) Otener expresiones regulres pr
Más detallesRelación de ejercicios hechos en clase en los últimos días previos al examen de febrero
Relción de ejercicios hechos en clse en los últimos dís previos l exmen de ferero De cuerdo con l definición de APND, propón 5 ejemplos de utómt con pil que cepten: - el lenguje Σ * ({f}, Σ, Σ, { ((f,,ε),
Más detallesTanto pilas y filas son un caso especial de un objeto de datos más general, listas secuenciales:
5. Pils y Fils Tnto pils y fils son un cso especil de un objeto de dtos más generl, lists secuenciles: A = {, 2,..., n }, donde n 0. 5.. Pils Un pil es un list secuencil donde tods ls inserciones y eliminciones
Más detallesRelaciones de equivalencia
Relciones de equivlenci. Un relción de equivlenci en un conjunto X se puede interpretr como el suconjunto de X X ddo por (, ) X X }. Enúnciesen ls propieddes de l relción de equivlenci en términos de dicho
Más detallesMATRICES DE NÚMEROS REALES
MTRICES. MTURITS Luis Gil Guerr.- DEFINICIÓN MTRICES DE NÚMEROS RELES Llmmos mtriz de números reles de orden m x n un conjunto ordendo de m. n números reles dispuestos en m fils y en n columns i m i m
Más detallesTEORÍA DE AUTÓMATAS I Informática de Sistemas. Soluciones a las cuestiones de examen del curso 2011/12
TEORÍA DE AUTÓMATAS I Informátic de Sistems Soluciones ls cuestiones de exmen del curso 2011/12 Ferero 12, 1ª semn 1. Considere el lenguje { 2n n c / 0}. Indique cuál de ls siguientes firmciones es fls:
Más detallesEjercicios resueltos de Lenguajes, Gramáticas y Autómatas ( )
Ejercicios resueltos de Lengujes, Grmátics y utómts (-2-4). Encuentr el FD mínimo que reconoce el lenguje representdo por l ER ( + + ) ( + ) Pr otener el FD mínimo correspondiente (+ +ɛ) (+) tenemos que
Más detallesAutómatas Finitos. Programación II Margarita Álvarez 0,1 0,1. q 3
Autómts Finitos 0,1 0,1 q 0 0 q 1 0 q 2 1 q 3 1 Progrmción II Mrgrit Álvrez Autómts Dispositivo mecánico cpz símolos. de procesr cdens de Ddo un lenguje L definido sore un lfeto A y un cden x ritrri, determin
Más detallesMICROTÚBULOS, FUNCIONES CEREBRALES Y LA MECÁNICA CUÁNTICA
MICROTÚBULOS, FUNCIONES CEREBRALES Y LA MECÁNICA CUÁNTICA Dr. José A. Peñlbert Unversdd de Puerto Rco en Croln Deprtmento de Cencs Nturles Introduccón Hn surgdo un sere de teorís sobre el funconnmento
Más detallesAUTÓMATAS PUSH-DOWN Y MÁQUINAS DE TURING
1 FACULTAD REGIONAL ROSARIO AUTÓMATAS PUSH-DOWN Y MÁQUINAS DE TURING GUÍA TEÓRICO-PRÁCTICA PARA ALUMNOS DE LA CÁTEDRA SINTAXIS Y SEMÁNTICA DE LOS LENGUAJES DE LA CARRERA DE INGENIERÍA EN SISTEMAS DE INFORMACIÓN
Más detalles3 de marzo de 2011 DSIC - UPV. Tema 5: Expresiones Regulares. U.D. Computación. Definiciones. Propiedades. Construcciones. AFs a partir de ERs
UD AFs Lem de UD DSIC - UPV 3 de mrzo de 2011 UD (DSIC - UPV) 3 de mrzo de 2011 1 / 40 Índice UD AFs Lem de sore expresiones regulres utómts finitos utómts finitos UD (DSIC - UPV) 3 de mrzo de 2011 2 /
Más detalles51 EJERCICIOS DE VECTORES
51 EJERCICIOS DE VECTORES 1. ) Representr en el mismo plno los vectores: = (3,1) b = ( 1,5) c = (, 4) = ( 3, 1) i = (1,0) j = (0,1) e = (3,0) f = (0, 5) b) Escribir ls coorens e los vectores fijos e l
Más detallesUniversidad Central de Venezuela Facultad de Farmacia Matemática - Física Prof. J. R. Morales
Universidd Centrl de Venezuel Fcultd de Frmci Mtemátic - Físic Prof J R Morles Guí de Vectores (Resumen de l Teorí) 1 En físic distinguiremos dos tipos de cntiddes: vectoriles esclres Ls cntiddes vectoriles
Más detallesExamen Parcial de Autómatas y Lenguajes Formales 12 de diciembre de 2003
Exmen Prcil de Autómts y Lengujes Formles 2 de diciemre de 23 Resolver los siguientes prolems. Tiempo 2 hors.. Dr un grmátic y demostrr que es correct pr L = { m n 2m < n < 3m}. 2. Dr un utómt de pil determinist
Más detallesMinimización de AFDs, método y problemas
Minimizción de Fs, método y prolems Elvir Myordomo, Universidd de Zrgoz 8 de octure de. Resultdos sore utómts determinists mínimos El F mínimo existe y es único, es decir Teorem. do unf M = (Q,Σ,δ,q,F),
Más detalles1. Cuales son los números naturales?
Guí de mtemátics. Héctor. de bril de 015 1. Cules son los números nturles? Los números nturles son usdos pr contr (por ejemplo, hy cinco moneds en l mes ) o pr imponer un orden (por ejemplo,. Es t es l
Más detalles7. Integrales Impropias
Ingenierí Mtemátic FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Cálculo Dierencil e Integrl 08-2 Bsdo en el punte del curso Cálculo (2d semestre), de Roerto Cominetti, Mrtín Mtml y Jorge
Más detallesLa integral de Riemann
L integrl de Riemnn 1 Vmos dr un definición precis de l integrl de un función definid en un intervlo. Este tiene que ser un intervlo cerrdo y cotdo, es decir [,] con < R, y l definición que dremos de integrl
Más detalles1. Indicar el lenguaje aceptado por los siguientes autómatas :
Universidd Rey Jun Crlos Curso 27 28 Teorí de Autómts y Lengujes Formles Ingenierí Técnic en Informátic de Sistems Hoj de Prolems 4 Autómts Finitos Determinists Nivel del ejercicio : ( ) ásico, ( ) medio,
Más detallesY f. Para ello procederemos por aproximaciones sucesivas, de modo que cada una de ellas constituya un término de una sucesión G n cuyo límite
INTEGRALES LECCIÓN Índice: El prolem del áre. Ejemplos. Prolems..- El prolem del áre Se f un función continu y no negtiv en [,]. Queremos clculr el áre S de l región del plno limitd por l gráfic de f,
Más detallesBases Formales de la Computación
Gerrdo M. Srri M. Bses Formles de l Computción Gerrdo M. Srri M. Pontifici Universidd Jverin 4 de octure de 2008 Gerrdo M. Srri M. RELACIONES DE SIMULACIÓN El Prolem con l Teorí de Autómts Clásic Gerrdo
Más detallesTema 14. Gramáticas libres del contexto (GLC o CFG) Dr. Luis A. Pineda ISBN: Definición recursiva de lenguajes
Hy lengujes que no son regulres Tem 4 Grmátics libres del contexto (GLC o CFG) Dr. Luis A. ined ISBN: 97-32-2972-7 l = {w w = w R } {, } l no es regulr: l lem del bombeo: Se n l constnte socid Se w = n
Más detallesCurvas en el plano y en el espacio
Cpítulo 1 Curvs en el plno y en el espcio 1.1. Curvs prmetrizds Definición 1.1.1 (Curv prmetrizd). Un curv prmetrizd diferencible α : I R n, es un plicción de clse C, donde I R es un intervlo bierto, que
Más detallesVECTORES, PLANOS Y RECTAS EN R 2 Y R 3
Profesionl en Técnics de Ingenierí VECTORES, PLANOS Y RECTAS EN R Y R 3 1. Puntos en R y R 3 Un pr ordendo (, ) y un tern ordend (,, c) representn puntos de IR y IR 3, respectivmente.,, c, se denominn
Más detallesAutómatas finitos AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES REGULARES Y AUTÓMATAS FINITOS. Ejemplo 2. Ejemplo 1
Autómts finitos AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES REGULARES Y AUTÓMATAS FINITOS Frncisco Hernández Quiroz Deprtmento de Mtemátics Fcultd de Ciencis, UNAM E-mil: fhq@ciencis.unm.mx Págin We: www.mtemtics.unm.mx/fhq
Más detallesINGENIERÍA EN INFORMÁTICA MODELOS ABSTRACTOS DE COMPUTO I
INGENIERÍA EN INFORMÁTICA MODELOS ABSTRACTOS DE COMPUTO I 22 de Junio de 2009 SOLUCIONES 1. (0,5 puntos) Sobre el lfbeto {,b}, d expresiones regulres que denoten los siguientes lengujes: ) El lenguje formdo
Más detallesFORMULARIO EN DISTINTAS OPERACIONES FINANCIERAS 1. CAPITALIZACIÓN SIMPLE: ( ) ( )
Isbel Nóvo Arechg FORMULARIO EN DISTINTAS OPERACIONES FINANCIERAS 1. CAPITALIZACIÓN SIMPLE: El tnto i y el tiepo n, tienen que estr correlciondos, es decir, referidos l iso período de tiepo, generlente
Más detallesOBTENCIÓN DEL DOMINIO DE DEFINICIÓN A PARTIR DE LA GRÁFICA
. DOMINIO inio de o cmpo de eistenci de es el conjunto de vlores pr los que está deinid l unción, es decir, el conjunto de vlores que tom l vrible independiente. Se denot por. { R / y R con y } OBTENCIÓN
Más detallesCuestionario Respuestas
Cuestionrio Respuests Copright 2014, MtemtiTu Derehos reservdos 1) Un ineuión o desiguldd on un vrile (inógnit) es un enunido en que se presentn dos epresiones, l menos un on l vrile entre ells uno de
Más detallesTema 8.4: Teorema de Runge. Aproximación de funciones holomorfas por funciones racionales
Tem 8.4: Teorem de Runge. Aproximción de funciones holomorfs por funciones rcionles Fcultd de Ciencis Experimentles, Curso 2008-09 Enrique de Amo, Universidd de Almerí Sbemos que ls funciones holomorfs
Más detallesExamen de Admisión 2006
Exmen de Admisión 006 Instrucciones: i) Mrc clrmente sólo un de ls opciones como respuest cd pregunt y escrie l respuest en l hoj de respuests nex. ii) Contest solmente quells pregunts en ls que estés
Más detallesPrimer Parcial de Introducción a la Investigación de Operaciones Fecha: 10 de mayo de 2014
Primer Prcil de Introducción l Investigción de Operciones Fech: 0 de mo de 0 INDICACIONES Durción del prcil: hrs Escribir ls hojs de un solo ldo No se permite el uso de mteril ni clculdor Numerr ls hojs
Más detallesIntegración numérica: Regla del trapecio Método de Romberg
Clse No. 18: Integrción numéric: Regl del trpecio Método de Romberg MAT 251 Dr. Alonso Rmírez Mnznres CIMAT A.C. e-mil: lrm@ cimt.mx web: http://www.cimt.mx/ lrm/met_num/ Dr. Joquín Peñ Acevedo CIMAT A.C.
Más detallesAplicando el Método de Rosenstark para Análisis de Ampli cadores Realimentados
Aplicndo el Método de Rosenstrk pr Análisis de Ampli cdores Relimentdos J.I. Huircn Universidd de L Fronter Octoer 2, 204 Astrct e plic el método de Rosenstrk dos con gurciones ásics relimentds, estos
Más detallesFísica II. Potencial Eléctrico. Ing. Alejandra Escobar UNIVERSIDAD FERMÍN TORO VICE RECTORADO ACADÉMICO FACULTAD DE INGENIERÍA
Físic II Potencil Eléctrico UNIVERSIDAD FERMÍN TORO VICE RECTORADO ACADÉMICO FACULTAD DE INGENIERÍA Ing. Alejndr Escor Energí Potencil Eléctric Se puede socir un energí potencil todo un sistem en el que
Más detallesModelo 2014. Problema 1B.- (Calificación máxima: 2 puntos) Se considera el sistema lineal de ecuaciones dependiente del parámetro real a:
odelo. Proble B.- (Clificción ái puntos) Se consider el siste linel de ecuciones dependiente del práetro rel ) Discútse en función de los vlores del práetro R. b) Resuélvse pr.. l siste se clsific en función
Más detallesEspacios vectoriales y Aplicaciones Lineales I: Bases y coordenadas. Aplicaciones lineales.
UNIVERSIDAD DE JAÉN ESCUEA POITÉCNICA SUPERIOR Deprtmento de Mtemátics (Áre de Álgebr) Curso 009/10 PRÁCTICA Nº9 Espcios vectoriles y Aplicciones ineles I: Bses y coordends. Aplicciones lineles. Recordemos
Más detallesAutómatas sobre palabras infinitas
Autómts sobre plbrs infinits Mrcelo Arens M. Arens Autómts sobre plbrs infinits 1 / 46 Teorí de utómts sobre plbrs infinits Los utómts sobre plbrs infinits son un herrmient fundmentl pr l verificción forml.
Más detallesJune 24, 2011 DSIC - UPV. Autómatas Finitos. U.D. Computación. Autómata Finito Determinista. Autómata Finito no Determinista
s s no s s s DSIC - UPV June 24, 2011 (DSIC - UPV) s s June 24, 2011 1 / 41 (AFD) s s no s (AFD) Un (AFD) es un 5-tupl de l siguiente form: A = (Q,Σ,δ, q 0, F), siendo: Q un conjunto finito de estdos Σ
Más detallesSemánticas de procesos y aplicaciones
Semántics de procesos y plicciones Clse 06: Puntos Fijos Qué vimos hst hor? cciones: multicciones: α 3 operdores sobre multicciones: α \ β, α β y α operdor de elección: + operdor de secuenci:. operdor
Más detallesINECUACIONES: solución y representación Parte 1: Desigualdades y sus propiedades
Proyecto Alinz de Mtemátics y Ciencis del Turo (AMCT) INECUACIONES: solución y representción Prte 1: Desigulddes y sus propieddes Mrlio Predes, Ph.D. 14 de noviemre de 2009 Año cdémico, 2009-2010 Este
Más detallesTEMA 5: ELECTRÓNICA DIGITAL
Deprtmento de Tecnologí. IE Ntr. r. de l Almuden. Mª Jesús iz TEMA 5: ELECTRÓNICA DIGITAL L electrónic se divide en dos grupos: electrónic nlógic y electrónic digitl. En l electrónic nlógic los vlores
Más detallesEXPRESIONES ALGEBRAICAS. POLINOMIOS
EXPRESIONES ALGEBRAICAS. POLINOMIOS A. EXPRESIONES ALGEBRAICAS. Cundo se quiere indicr un número no conocido, un cntidd o un expresión generl de l medid de un mgnitud (distnci, superficie, volumen, etc
Más detallesPrimer octante Segundo octante Tercer octante Cuarto octante P ( X, Y, Z ) P (-X, Y, Z ) P (-X,-Y, Z ) P ( X,-Y, Z )
Cpítulo III. Álgebr vectoril Objetivo: El lumno plicrá el álgebr vectoril en l resolución de problems geométricos. Contenido: 3.1 Sistem crtesino en tres dimensiones. Simetrí de puntos. 3. Cntiddes esclres
Más detallesGRAMATICAS REGULARES - EXPRESIONES REGULARES
CIENCIAS DE LA COMPUTACION I 29 GRAMATICAS REGULARES - EXPRESIONES REGULARES Grmátis Ls grmátis formles definen un lenguje desriiendo ómo se pueden generr ls dens del lenguje. Un grmáti forml es un udrupl
Más detallesCurso ON LINE Tema 5. x + y + z = 5 1200x + 600y = 2000 + m z 1200x = 3 m z
Curso ON LINE Tem 5 Un gente inmobilirio puede relir tipos de operciones: vent de un piso nuevo, vent de un piso usdo lquiler. Por l vent de cd piso nuevo recibe un prim de. Si l operción es l vent de
Más detallesFunciones de una variable real II Integrales impropias
Universidd de Murci Deprtmento Mtemátics Funciones de un vrible rel II Integrles impropis B. Cscles, J. M. Mir y L. Oncin Deprtmento de Mtemátics Universidd de Murci Grdo en Mtemátics 202-203 (22/04/203??/05/203)
Más detallesLa Integral Definida
Nivelción de Mtemátic MTHA UNLP ID Introducción Prtición L Integrl Definid Un prtición del intervlo [, b] es un sucesión de números = x x x x n = b, entre y b, tl que x i x i+ (i =,,, n ) Ejemplo: se llm
Más detalles