Preguntas etiquetadas con fl.formal-languages

lenguajes formales, gramáticas, teoría de autómatas

2
Regular versus TC0
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} ¿Hay un candidato para un problema en que no está en ?RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} ¿Hay un resultado condicional que implique que , por ejemplo, si entonces ?Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1} \not\subseteq \mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0}
4
¿Es la equivalencia eta para funciones compatible con la operación seq de Haskell?
Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq …
3
¿La importancia de la complejidad del estado en autómatas y lenguajes regulares?
Estoy leyendo " Concatenación de idiomas regulares y complejidad descriptiva " de Galina Jiraskova, 2009 sobre la complejidad del estado resultante de la concatenación de dos idiomas regulares (por Galina Jiraskova), pero no puedo entender cuáles serían las implicaciones prácticas de la complejidad del estado. . El primer pensamiento trivial …
1
Límites inferiores en el tamaño de los CFG para idiomas finitos específicos
Considere la siguiente pregunta natural: dado un lenguaje finito , ¿cuál es la gramática libre de contexto más pequeña que genera ?LLLLLL Podemos hacer la pregunta más interesante especificando una secuencia de idiomas , por ejemplo, es el conjunto de todas las permutaciones de : intuitivamente, un CFG para "necesitaría" …
1
Es {ww '| HamDist (w, w ')> 1} ¿sin contexto?
Después de leer el reciente pregunta "¿Es el complemento de {www∣...}{www∣...}\{ www \mid ...\} Libre de contexto?" ; Recordé un problema similar que no pude refutar: Es L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} sin contexto? Aquí requerimos que las dos cadenas difieran en …
1
Distancia entre idiomas regulares
Quiero definir una noción de "cercanía" entre dos idiomas regulares de palabras finitas en Σ∗Σ∗\Sigma^* (y / o palabras infinitas en ΣωΣω\Sigma^\omega ). La idea básica es que queremos que dos idiomas estén cerca si no difieren en muchas palabras. También podríamos usar la distancia de edición de alguna manera …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.