Talf

¿Cuál de estas proposiciones sobre lenguajes es cierta? (para todo lenguaje L). L∈Σ*. L⊂Σ*. ∥L∥≤∥Σ*∥.

La cadena ({A,B},{a,b},{A→aA,A→aB,B→b},a}). es una gramática regular izquierda. pertenece al lenguaje {(,),A,B,a,b}*. no es una gramática generativa.

La jerarquía de Chomsky. es una manera de clasificar los lenguajes formales. divide los conjuntos de cadenas según su cardinalidad. establece una ordenación de las cadenas de un lenguaje formal dado.

{ x∈{0,1}* ||x|0 = |x|1 }. pertenece a L.2−L.3. está representado por la expresión regular 0*1*. es un subconjunto propio de ∪ n∈N 0^(n)1^(n).

El lenguaje 11*∪10*1*0 es el representado por la gramática. ({S,A,B,C},{0,1},{S→A|0B,A→1A,B→0B|B,C→1|0C},S}). ({S,A,B,C},{0,1},{S→A|B,A→1|1A,B→1B|0C,C→1|0C},S}). ({S,A,B,C},{0,1},{S→A|1B,A→1|1A,B→0B|C,C→0|1C},S}).

¿Cuál de estas proposiciones sobre relaciones es cierta? (para toda relación R). R∪I=R. R∪R−1=R^(∞). I^(−1) = I.

Si α∈ER, entonces (α+∅)∅*=α es una proposición cierta. sólo si α≠∅*. sólo si ∥L(α)∥>0. para todo α.

El número de lenguajes representables sobre un alfabeto Σ es. ℵ1. ∥Σ*∥. ∥2^(Σ∗)∥.

Si L={aa,ababa,bb}, entonces. L∩(ab)*={ababa}. L∩(a*+b*)={aa,bb}. L∩a*={aa,ababa}.

∀K,L∈L.1. −−−−− se verifica K∩L ∈ L.1. podemos saber si K=L. podemos saber si K∪L=∅.

¿Cuál de estas proposiciones es cierta?. ∥L.0∥∈N. ∥L.0∥=∥L.3∥. ∥L.0∥=∥2^{0,1}∗∥.

Si G=(N,T,P,S) entonces. ∃α∈ER|L(α)=L(G). L(G)⊆T*. S⇒*α⇒α∈L(G),∀α∈N*.

Identifica la expresión regular que representa el lenguaje −−−−−−−−−−−− {0,1}*−{110}. 110. (0+1)*. 0*1*+1*0*.

¿Cuál de los siguientes conjuntos es partición de N?. {N}. {x∈N|x=2k,k∈N}∪{x∈N|x=2k+1,k∈N}. {{x∈N|x=2k,k∈N},{x∈N|x es primo}}.

Identifica cuál de las siguientes proposiciones sobre conjuntos es cierta. Demuestra que, en efecto, la igualdad se cumple para todo conjunto A y B (aportar la demostración en la hoja de examen adjunta). ∥A×B∥=∥A∥⋅∥B∥. ∥A×B∥=∥A∥+∥B∥. ∥A×B∥=∥A∩B∥.

El conjunto {a,b}×{1,2,3}×∅ se enunciaría explícitamente como. el que no contiene ningún elemento. el de los pares con a o b, seguido de un número 1, 2 o 3. el que contiene al par ordenado (a,1).

La regla baABAcA→baABaAcA. es de tipo 1 y no es de tipo 2. es de tipo 0 y no es de tipo 1. es de tipo 2 y no es de tipo 3.

El lenguaje generado por ({A},{0,1},{A→0A,A→1A,A→10},A}). es regular. es sensible al contexto y no es independiente del contexto. es independiente del contexto y no es regular.

∀α∈ER se verfica. α=(α*0)*. α*ϵ=α. α*α*α*=α*.

La gramática ({A},{0,1},{A→0A,A→1A,A→10},A}). es de tipo 1 y no es de tipo 2. es de tipo 2 y no es de tipo 3. es de tipo 3.