Preguntas ciencias de formal-languages02

1

2Resp

235Vistas

Si $L=\{(a^m,a^n)\}^*$ ¿es regular o no?

Resuelta

Preguntado el 15 de Junio, 2013 por Priyank

2

2Resp

84Vistas

¿Cómo definir una gramática que crea un lenguaje a partir de palabras de otra gramática sin una de las letras?

Resuelta

Preguntado el 15 de Diciembre, 2018 por Yos

1

1Resp

377Vistas

Prueba del lema del bombeo para Lenguajes Libres de Contexto

Resuelta

Preguntado el 7 de Febrero, 2013 por anonymous

2

1Resp

150Vistas

Lenguaje que no es bien ordenable

Resuelta

Preguntado el 17 de Noviembre, 2013 por user3000912

2

1Resp

585Vistas

¿Cómo encontrar las clases de equivalencia de un complemento de lenguaje formal?

Resuelta

Preguntado el 23 de Noviembre, 2018 por Yos

1

1Resp

109Vistas

NFA a partir de una expresión regular

Resuelta

Preguntado el 6 de Octubre, 2013 por Jimmy

1

1Resp

51Vistas

Demostrar que la PCP unitaria es decidible.

Abierta

Preguntado el 27 de Enero, 2021 por Ski Mask

1

1Resp

770Vistas

¿Existe una sutil diferencia entre NOEXTEND(A) y NOPREFIX(A)?

Resuelta

Preguntado el 3 de Enero, 2016 por Vectorizer

1

1Resp

76Vistas

Lenguaje sin contexto

Abierta

Preguntado el 27 de Diciembre, 2018 por Angeld55

3

1Resp

337Vistas

Cómo formalizar un operador de enlace de variables, como $\frac{d}{dx}$ ?

Resuelta

Preguntado el 14 de Abril, 2016 por Eric

1

2Resp

126Vistas

¿Las referencias cruzadas son libres de contexto?

Resuelta

Preguntado el 13 de Julio, 2013 por RobotbeatsHuman

1

1Resp

304Vistas

Teoría de primer orden con ordenación lineal

Resuelta

Preguntado el 9 de Marzo, 2017 por Rett Hamin

23

1Resp

2238Vistas

¿Cuál es la diferencia entre ZFC+Grothendieck, ZFC+cardenales inaccesibles y la teoría de conjuntos de Tarski-Grothendieck?

Resuelta

Preguntado el 22 de Julio, 2012 por Kache

1

1Resp

102Vistas

Demuestre que el siguiente problema es decidible (involucrando la Gramática CF)

Resuelta

Preguntado el 27 de Octubre, 2016 por Konstantin Solomatov

1

1Resp

84Vistas

Comprobación de algunos problemas de expresiones regulares

Resuelta

Preguntado el 13 de Marzo, 2014 por Mike Kucera

1

2Resp

146Vistas

¿Puede la gramática formal (lenguaje) servir de modelo para alguna lógica y expresar la semántica de esta lógica?

Resuelta

Preguntado el 23 de Mayo, 2018 por Prashanth

2

1Resp

85Vistas

Identificación de redexes en una expresión lambda

Resuelta

Preguntado el 16 de Marzo, 2020 por Schierke

1

2Resp

100Vistas

Demostrar que si $z^n$ es un palíndromo para algunos $n>0$ entonces $z$ también es un palíndromo para cualquier alfabeto E.

Resuelta

Preguntado el 26 de Noviembre, 2020 por Adnan Ahmed

1

1Resp

116Vistas

Estimación de las propiedades metamatemáticas de las conjeturas

Resuelta

Preguntado el 15 de Diciembre, 2019 por 2080

1

1Resp

544Vistas

Algoritmo para saber si un lenguaje regular contiene al menos n cadenas

Resuelta

Preguntado el 7 de Mayo, 2012 por Mohamed Eissa

0

1Resp

142Vistas

Definir el "lenguaje de primer orden" sin utilizarlo

Abierta

Preguntado el 15 de Julio, 2020 por R. Burton

1

1Resp

61Vistas

¿La semidecidibilidad de la fórmula válida de la lógica de segundo orden depende de la semántica?

Resuelta

Preguntado el 30 de Mayo, 2018 por Dominic108

Preguntas ciencias formal-languages

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Si $L=\{(a^m,a^n)\}^*$ ¿es regular o no?

¿Cómo definir una gramática que crea un lenguaje a partir de palabras de otra gramática sin una de las letras?

Prueba del lema del bombeo para Lenguajes Libres de Contexto

Lenguaje que no es bien ordenable

¿Cómo encontrar las clases de equivalencia de un complemento de lenguaje formal?

NFA a partir de una expresión regular

Demostrar que la PCP unitaria es decidible.

¿Existe una sutil diferencia entre NOEXTEND(A) y NOPREFIX(A)?

Lenguaje sin contexto

Cómo formalizar un operador de enlace de variables, como $\frac{d}{dx}$ ?

¿Las referencias cruzadas son libres de contexto?

Teoría de primer orden con ordenación lineal

¿Cuál es la diferencia entre ZFC+Grothendieck, ZFC+cardenales inaccesibles y la teoría de conjuntos de Tarski-Grothendieck?

Demuestre que el siguiente problema es decidible (involucrando la Gramática CF)

Comprobación de algunos problemas de expresiones regulares

¿Puede la gramática formal (lenguaje) servir de modelo para alguna lógica y expresar la semántica de esta lógica?

Identificación de redexes en una expresión lambda

Demostrar que si $z^n$ es un palíndromo para algunos $n>0$ entonces $z$ también es un palíndromo para cualquier alfabeto E.

Estimación de las propiedades metamatemáticas de las conjeturas

Algoritmo para saber si un lenguaje regular contiene al menos n cadenas

Definir el "lenguaje de primer orden" sin utilizarlo

¿La semidecidibilidad de la fórmula válida de la lógica de segundo orden depende de la semántica?

Etiquetas mas usadas

i-Ciencias.com

Powered by: