Preguntas de formal-languages

6

1Resp

218Vistas

¿Existe un lenguaje formal capaz de expresar cualquier demostración matemática sin recurrir a dibujos ni a sentencias en lenguaje natural?

Resuelta

Preguntado el 9 de Mayo, 2018 por Kenny Jensen

1

1Resp

82Vistas

Comprobación de algunos problemas de expresiones regulares

Resuelta

Preguntado el 13 de Marzo, 2014 por Mike Kucera

1

2Resp

124Vistas

¿Las referencias cruzadas son libres de contexto?

Resuelta

Preguntado el 13 de Julio, 2013 por RobotbeatsHuman

1

1Resp

158Vistas

Encontrar un autómata de empuje para el lenguaje $|w|_a = |w|_b$

Resuelta

Preguntado el 22 de Enero, 2017 por Joseph

11

4Resp

31436Vistas

Cómo crear una gramática para el complemento de $a^nb^n$ ?

Resuelta

Preguntado el 3 de Noviembre, 2013 por A B

0

1Resp

142Vistas

Definir el "lenguaje de primer orden" sin utilizarlo

Abierta

Preguntado el 15 de Julio, 2020 por R. Burton

1

2Resp

144Vistas

¿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

19

3Resp

1068Vistas

Estado de un problema abierto sobre conjuntos semilineales

Resuelta

Preguntado el 1 de Abril, 2011 por Jason

3

1Resp

56Vistas

¿Cómo se corresponde la formalización finitamente axiomatizada de la lógica de predicados con la deducción natural para la lógica de predicados?

Resuelta

Preguntado el 25 de Marzo, 2022 por Blackbam

1

1Resp

114Vistas

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

Resuelta

Preguntado el 15 de Diciembre, 2019 por 2080

1

1Resp

75Vistas

Lenguaje sin contexto

Abierta

Preguntado el 27 de Diciembre, 2018 por Angeld55

1

1Resp

107Vistas

NFA a partir de una expresión regular

Resuelta

Preguntado el 6 de Octubre, 2013 por Jimmy

2

1Resp

583Vistas

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

Resuelta

Preguntado el 23 de Noviembre, 2018 por Yos

7

2Resp

1874Vistas

Diferencia entre solidez y corrección

Resuelta

Preguntado el 6 de Septiembre, 2013 por Mic

1

2Resp

6270Vistas

¿Expresión regular de 0 y 1 alternativos?

Resuelta

Preguntado el 9 de Febrero, 2015 por AWTahhan

1

1Resp

60Vistas

¿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

1

1Resp

543Vistas

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

Resuelta

Preguntado el 7 de Mayo, 2012 por Mohamed Eissa

1

2Resp

98Vistas

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

2

1Resp

82Vistas

Identificación de redexes en una expresión lambda

Resuelta

Preguntado el 16 de Marzo, 2020 por Schierke

1

1Resp

100Vistas

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

Resuelta

Preguntado el 27 de Octubre, 2016 por Konstantin Solomatov

23

1Resp

2235Vistas

¿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

302Vistas

Teoría de primer orden con ordenación lineal

Resuelta

Preguntado el 9 de Marzo, 2017 por Rett Hamin

3

1Resp

335Vistas

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

Resuelta

Preguntado el 14 de Abril, 2016 por Eric

1

1Resp

768Vistas

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

Resuelta

Preguntado el 3 de Enero, 2016 por Vectorizer

1

1Resp

49Vistas

Demostrar que la PCP unitaria es decidible.

Abierta

Preguntado el 27 de Enero, 2021 por Ski Mask

2

1Resp

149Vistas

Lenguaje que no es bien ordenable

Resuelta

Preguntado el 17 de Noviembre, 2013 por user3000912

1

1Resp

376Vistas

Prueba del lema del bombeo para Lenguajes Libres de Contexto

Resuelta

Preguntado el 7 de Febrero, 2013 por anonymous

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

2Resp

233Vistas

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

Resuelta

Preguntado el 15 de Junio, 2013 por Priyank

1

1Resp

166Vistas

¿Cómo se codifica un programa en una categoría?

Resuelta

Preguntado el 17 de Octubre, 2012 por flojdek

Preguntas de formal-languages

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Existe un lenguaje formal capaz de expresar cualquier demostración matemática sin recurrir a dibujos ni a sentencias en lenguaje natural?

Comprobación de algunos problemas de expresiones regulares

¿Las referencias cruzadas son libres de contexto?

Encontrar un autómata de empuje para el lenguaje $|w|_a = |w|_b$

Cómo crear una gramática para el complemento de $a^nb^n$ ?

Definir el "lenguaje de primer orden" sin utilizarlo

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

Estado de un problema abierto sobre conjuntos semilineales

¿Cómo se corresponde la formalización finitamente axiomatizada de la lógica de predicados con la deducción natural para la lógica de predicados?

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

Lenguaje sin contexto

NFA a partir de una expresión regular

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

Diferencia entre solidez y corrección

¿Expresión regular de 0 y 1 alternativos?

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

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

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.

Identificación de redexes en una expresión lambda

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

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

Teoría de primer orden con ordenación lineal

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

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

Demostrar que la PCP unitaria es decidible.

Lenguaje que no es bien ordenable

Prueba del lema del bombeo para Lenguajes Libres de Contexto

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

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

¿Cómo se codifica un programa en una categoría?

Etiquetas mas usadas

i-Ciencias.com

Powered by: