Preguntas etiquetadas con formal-languages

Preguntas relacionadas con lenguajes formales, gramáticas y teoría de autómatas.


1
Es el idioma
Es el idioma L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} sin contexto? Supongo que no está libre de contexto porque parece demasiado complicado para que un PDA decida si 2 números son primos o no. …


1
¿Existe un lenguaje estrictamente no determinista de un contador cuyo complemento es un contador?
Dejar A = { L ∣ Les un contador y L¯ también es un contador }A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Claramente,Un contador determinista ⊆ ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A ¿Es el caso que ?A = contador deterministaA=Deterministic …

3
Pruebas usando el lema de bombeo regular
Tengo dos preguntas: Considero que el siguiente idioma En otras palabras, no es palíndromo con una longitud uniforme. Probé que este lenguaje NO es regular al demostrar que su complemento no es regular. Mi pregunta es cómo probarlo usando el lema de bombeo sin usar el complemento.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* …

1
lata
Estoy tratando de enseñarme la teoría de la computabilidad con un libro de texto. Según mi libro, una funciónFff sobre un alfabeto A = { a , b , c , d, e , f, g, h , i , j , k , l , m , n , …

3
Probar que el idioma que consta de todas las cadenas en algún idioma tiene la misma longitud que alguna cadena en otro idioma es regular
Así que llevo unos días rascándome la cabeza sobre este problema. Dado un lenguaje y que es regular, demuestre que el lenguaje que consiste en todas las cadenas en cuya longitud es igual a alguna cadena en es un lenguaje regular.AAABBBLLLAAABBB En forma de ecuación: L={x∈A∣∃y∈B s.t. |x|=|y|}L={x∈A∣∃y∈B s.t. |x|=|y|}L …


1
Describir formalmente un nuevo lenguaje de programación específico de dominio.
Estoy a punto de implementar un lenguaje de dominio específico para la representación de convenciones de aprendizaje social. Parte de la implementación es una descripción formal de un lenguaje: su 'cálculo', símbolos y expresiones lógicas. Mi enfoque sería describir el lenguaje describiendo su gramática, pero también hay conceptos como relaciones, …

1
¿Es este lenguaje libre de contexto?
Es el idioma L = { a , b}∗∖ { (unanortesinorte)norte∣ n ≥ 1 }L={una,si}∗∖{(unanortesinorte)norte∣norte≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} sin contexto? Creo que la respuesta es que no es una CFL, pero no puedo probarlo con el lema de Ogden o el lema de Pumping.

1
Probar que los idiomas regulares están cerrados bajo el operador de ciclo
Tengo en unos días un examen y tengo problemas para resolver esta tarea. Dejar LLL ser un lenguaje regular sobre el alfabeto ΣΣ\Sigma. Tenemos la operacion cycle(L)={xy∣x,y∈Σ∗ and yx∈L}cycle⁡(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in \Sigma^* \text{ and } yx\in L\} Y ahora deberíamos demostrar que cycle(L)cycle⁡(L)\operatorname{cycle}(L) También es …



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.