Definición: Un aceptor Push-Down (APD) es una tupla de seis elementos: ____ en la cual: ____ S es el alfabeto finito de entrada U____ P ____ I ⊆ Q es el conjunto de estados iniciales F ⊆ Q ____ El programa P ____, cada una de las cuales tiene una de las siguientes formas: Definición: En el programa de un ____ una instrucción ____: q] ____ es impropia si ____ Una APD es propio si ____. Las instrucciones ____ son fácilmente identificables en el diagrama de estados de un ____, y pueden ser ____ ____ en lo referente al lenguaje reconocido. En particular, si ____, es posible construir ____ mediante la adición y el borrado de ____ tal como sigue. La configuración final de un ____ se da cuando el estado q' está ____ en el conjunto de estados finales y la pila queda ____. Esta configuración ____, indica la aceptación de un string de entrada (φ es un prefijo del string de la cinta de entrada) Una configuración final de una máquina ____ es ____ configuración (q’ , φ , λ) donde ____ es un ____ y φ es un prefijo del string escrito sobre la ____ de entrada de M. El string φ es ____ por la maquina si y solo si M posee una ____ ____ (q , λ , ____) ⇒ (____ , ____, λ) → donde q esta incluido en ____, y q’ en ____ D Definición: Una GLC G = (N, T, ____, Σ) está en forma ____ si cada producción tiene una de las siguientes formas: Σ→λ A→____ { A, B, C ∈ ____ ____ A→ a a ∈ ____ En una GFN, cada paso de derivación (____) extiende en ____ la ____ de la forma sentencial o bien genera un símbolo ____; consecuentemente, la derivación de un string terminal de longitud n requiere exactamente ____ pasos de derivación. Definición: Una GLC G = (____, P, Σ ) está en forma ____ si cada ____ tiene una de las siguientes formas: ____→λ ( A ∈ N Σ→____ { β ∈ ____ A→____ ( a ∈ ____ Definición: Una GLC G = (N, ____, Σ) es bien ____ si cada producción tiene una de las siguientes formas: Σ→λ ( ____ ∈ N Σ→A { α ∈ (N U T)* ____ ____ ( y cada producción es ____ La ausencia de producciones ____ en una gramática bien conformada ____ que cada ____ que dicha gramática permita sea ____ Definición: Sea G = (N, T, P, Σ ) una GLC cualquiera. Una producción A → α de ____ es útil si G permite una ____: Σ ⇒* φ ____ ψ ⇒ φ ____ ψ ⇒* ω ____ De otra forma A → α es ____. Un no ____ de G es ____ si es la parte izquierda de una ____; de otra forma, es un ____, Definición: Sea M = ____ un ____. Una secuencia de ____ de M (q, ____, σ ) ⇒ ____ es llamada un ____ de ____ desde el estado q al estado q' si se cumple que: 1.-σ =σ' 2.- ____ = φ' 3.- Cada configuración ____ que ocurre en la secuencia de movimientos satisface que lσi | ≥ ____, es decir ∀ (qi, φi, σi) : ____ En tal caso se dice que ω es el ____ por el "traverse". Para indicar que una secuencia de movimientos es un "traverse" se escribe (q, φ, σ) ⇒____ El conjunto Traverse T(q, q') es el conjunto de todos los ____ observados por movimientos traverse que van de q a q'. : Construcción de una GLC a partir de un APDP Dado: Un ____ M = ____ Construir: Una GLC G = (N, S, PG, Σ) tal que L(G) = ____ Las producciones de G son las siguientes: Si ____ Tiene Luego ____ tiene 1) q scan (s, q') N(q,q') → s q ∈ B 2) q" scan (s, q') N(q,q') → N(q,q")s q ∈ B 3) ____ write (u, p) N(q,q') → N(q,q")N(p,p') p' read (u, q') q ∈ B 4) q write (u, p) N(q,q') → N(p,p') ____ read (u, q') ____ 5) q ∈ I , q' ∈ F Σ → N(q,q') 6) ____ Σ → λ Por cada A ____ ____: Si ____ α1, ..., A→β αk ____ Cambiar esas producciones por: A→β A' ____→ α1, ..., A' → αk ____ Definición: Una producción de la forma A→λ se llama ____. Un ____ se llama ____ si ____ Definición: Una gramática formal es una cuaterna: G = ____ donde N ____ T ____ N y T son disjuntos: ____ P ____ Σ ____ o elemento distinguido; ____ Cada producción en P ____ Definición: Una máquina de estados finitos con salida ____ es una ____ de seis elementos: Mt = (Q, S, R, f, g, qi) donde Q ____ S ____ R ____ f ____ f : ____ g ____ g : ____ qi ____ Definición: Una máquina de estados finitos con ____ es una tupla de seis elementos: ____ = (Q, S, R, f, h, qI) donde Q ____ S ____ R ____ f ____ f : Q x S → Q h ____ h : ____ qI ____ Definición de máquina reducida: Una máquina de estados finitos es reducida ____ de estados ____. M.R.: ∀ q, q' ∈ Q : q q' Un estado q en un ____ es accesible si ____ de ____ ω tal que ω ____ ⇒ ____ una maquina de estados finito es minima si ____ Dos estados de un autómata finito son ____ sí y sólo sí: 1.- Ellos son ____ ____ 2.- Para cada símbolo de entradas, sus ____-equivalentes. ____ Definición: Un aceptor de estados finitos (AEF) es una tupla de cinco elementos definida como: ____ donde Q ____ S ____ I ⊆ Q ____ F ⊆ Q ____ P ⊆ Q x S x Q es la relación de transición de M s toda vez que ____ sea un elemento de P, q → q' es una transición de M. Sea M = ____ un ____. Si las transiciones P de M constituyen una función ____ y si M tiene ____, M es un aceptor de estados finitos ____. Construcción de una gramática lineal por derecha a partir de un AEF Dado: Un AEF M = ____ con conjuntos finales {E(q )/ q ∈ Q} Construir: Una gramática lineal G = (N, S, PG, Σ) con N = {N(q) / q ∈ Q} tal que L(G,N(q)) = E(q), q ∈ Q Regla Si M tiene Luego G tiene Razon 1 ____ Σ → λ ____ 2 q ∈ I Σ → N(q) ____ s 3 q → q', q' ∈ F ____ ____ s 4 q → q' ____ ____ Construcción de un AEF a partir de una gramática lineal por derecha Dada: Una gramática lineal G = (N, T, PG. Σ) Construir: Un AEF M = (Q, T, PM. I, {qF} ) con Q = {qA / A ∈ N} ∪ {qF}, y conjuntos finales {E(q) / q ∈ Q}; tal que L(G,A) = E(qA) para A ∈ N U {Σ} Regla Si G tiene Luego M tiene Razon 1 Σ → λ ____ λ ∈ L(G) 2 ____ ____ ____ s 3 A → s qA → qF ____ s 4 ____ qA → qB ____ Una dada señal o estado requiere de un intervalo pequeño (pero no nulo) para su medida. Por ello, sólo un número finito de operaciones puede ser efectuado confiablemente en una cantidad de tiempo finita. Nuevamente, la realidad física impone "____" en los sistemas, no sólo en los ____ que ellos pueden procesar, o en los ____ que ellos pueden asumir, sino también en los ____ en los cuales ellos pueden cambiar de estado. ales ellos pueden cambiar de estado. Nuestra tendencia natural a descomponer la solución de un problema en una secuencia de etapas se manifiesta en nuestro modelo de máquina simple mediante ____. al diseñar una máquina que opera efectuando una etapa por vez se emplea la forma más simple conocida de hacer que su comportamiento sea ____, es decir, no sujeto a incertidumbre.

CUADROS SINTAXIS

by
Print
Embed

Leaderboard

Visual style

Options

Switch template

Continue editing: ?