Preguntas ciencias de formal-languages

27

2Resp

9470Vistas

¿Cuál es la diferencia entre una lógica, una lógica interna (lenguaje) de una categoría, una lógica interna de un topos y una teoría de tipos?

Resuelta

Preguntado el 15 de Agosto, 2014 por Grad student

2

2Resp

1324Vistas

¿Cómo se puede probar que $\{w \mid \text{ w tiene una longitud par y la primera mitad de w tiene más 0s que la segunda mitad de w} \}$ no es regular?

Resuelta

Preguntado el 15 de Noviembre, 2015 por nbro

3

1Resp

59Vistas

¿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

239Vistas

La definición de los numerales de la Iglesia en lógica combinatoria

Resuelta

Preguntado el 22 de Febrero, 2017 por Evan Aad

19

3Resp

1074Vistas

Estado de un problema abierto sobre conjuntos semilineales

Resuelta

Preguntado el 1 de Abril, 2011 por Jason

2

1Resp

71Vistas

Recomendación de libros sobre la máquina Mealy-Moore

Resuelta

Preguntado el 23 de Mayo, 2020 por AMRAAM

2

1Resp

88Vistas

Demostrar la desigualdad por inducción: $0 \leq h(n) \leq n$ para todos $n \in \mathbb{N_0}$

Resuelta

Preguntado el 19 de Noviembre, 2019 por franz3

3

1Resp

140Vistas

Para algunos alfabetos $\sum = \{a,b\}$ qué es la concatenación $\sum\sum$ ?

Resuelta

Preguntado el 3 de Septiembre, 2017 por winterMute

2

3Resp

253Vistas

prueba de lenguaje regular, un lenguaje parcial a uno regular

Resuelta

Preguntado el 12 de Diciembre, 2014 por ron

6

1Resp

221Vistas

¿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

2

1Resp

145Vistas

"Teorema de Kuratowski del complemento de cierre" para lenguajes formales

Resuelta

Preguntado el 9 de Julio, 2019 por sennett

1

1Resp

132Vistas

Encontrar un valor apropiado para contradecir el lema de bombeo.

Resuelta

Preguntado el 13 de Enero, 2013 por dericke

3

1Resp

132Vistas

Determine el lenguaje que corresponde a los siguientes autómatas.

Abierta

Preguntado el 1 de Abril, 2014 por Ofir Attia

3

1Resp

798Vistas

¿Existe un lenguaje incontablemente infinito?

Resuelta

Preguntado el 22 de Mayo, 2018 por Matt

1

1Resp

150Vistas

Reglas repetidas en forma normal de Chomsky

Abierta

Preguntado el 22 de Abril, 2015 por cursillosonline

11

4Resp

31439Vistas

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

Resuelta

Preguntado el 3 de Noviembre, 2013 por A B

27

1Resp

1138Vistas

Grupos automáticos - avances recientes

Resuelta

Preguntado el 7 de Enero, 2010 por Tom R

4

1Resp

55Vistas

El lenguaje de los prefijos del lenguaje sensible al contexto es sensible al contexto

Resuelta

Preguntado el 20 de Diciembre, 2019 por twconnell

1

1Resp

47Vistas

Demostrar la irregularidad del lenguaje mediante el teorema de Nerode

Resuelta

Preguntado el 27 de Abril, 2022 por Lankymart

1

1Resp

116Vistas

Construir una PDA para una lengua

Resuelta

Preguntado el 11 de Abril, 2014 por danishjo

1

1Resp

53Vistas

Conversión de CFG con 4 letras a CNF

Resuelta

Preguntado el 11 de Abril, 2021 por khenriksson

1

2Resp

6273Vistas

¿Expresión regular de 0 y 1 alternativos?

Resuelta

Preguntado el 9 de Febrero, 2015 por AWTahhan

2

1Resp

262Vistas

Complemento de una gramática Σ y Lengua L igual a L

Abierta

Preguntado el 25 de Septiembre, 2017 por Enrique González Sequeira

2

1Resp

47Vistas

Prueba para la estrella de Kleene y la concatenación

Abierta

Preguntado el 21 de Octubre, 2021 por Vessilate

2

3Resp

547Vistas

¿Cómo eliminar los símbolos constantes de una teoría de primer orden?

Resuelta

Preguntado el 2 de Mayo, 2017 por M. Winter

1

1Resp

116Vistas

¿El hecho de que $L_1L_2$ y $L_2L_1$ son ambos regulares implican que al menos uno entre $L_1$ y $L_2$ ¿es regular?

Resuelta

Preguntado el 13 de Agosto, 2016 por No more SO

1

1Resp

159Vistas

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

Resuelta

Preguntado el 22 de Enero, 2017 por Joseph

7

2Resp

1876Vistas

Diferencia entre solidez y corrección

Resuelta

Preguntado el 6 de Septiembre, 2013 por Mic

2

3Resp

900Vistas

Lenguaje proposicional. ¿No entiende la definición?

Resuelta

Preguntado el 17 de Septiembre, 2014 por flurdy

1

1Resp

168Vistas

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

Resuelta

Preguntado el 17 de Octubre, 2012 por flojdek

Preguntas ciencias formal-languages

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cuál es la diferencia entre una lógica, una lógica interna (lenguaje) de una categoría, una lógica interna de un topos y una teoría de tipos?

¿Cómo se puede probar que $\{w \mid \text{ w tiene una longitud par y la primera mitad de w tiene más 0s que la segunda mitad de w} \}$ no es regular?

¿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?

La definición de los numerales de la Iglesia en lógica combinatoria

Estado de un problema abierto sobre conjuntos semilineales

Recomendación de libros sobre la máquina Mealy-Moore

Demostrar la desigualdad por inducción: $0 \leq h(n) \leq n$ para todos $n \in \mathbb{N_0}$

Para algunos alfabetos $\sum = \{a,b\}$ qué es la concatenación $\sum\sum$ ?

prueba de lenguaje regular, un lenguaje parcial a uno regular

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

"Teorema de Kuratowski del complemento de cierre" para lenguajes formales

Encontrar un valor apropiado para contradecir el lema de bombeo.

Determine el lenguaje que corresponde a los siguientes autómatas.

¿Existe un lenguaje incontablemente infinito?

Reglas repetidas en forma normal de Chomsky

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

Grupos automáticos - avances recientes

El lenguaje de los prefijos del lenguaje sensible al contexto es sensible al contexto

Demostrar la irregularidad del lenguaje mediante el teorema de Nerode

Construir una PDA para una lengua

Conversión de CFG con 4 letras a CNF

¿Expresión regular de 0 y 1 alternativos?

Complemento de una gramática Σ y Lengua L igual a L

Prueba para la estrella de Kleene y la concatenación

¿Cómo eliminar los símbolos constantes de una teoría de primer orden?

¿El hecho de que $L_1L_2$ y $L_2L_1$ son ambos regulares implican que al menos uno entre $L_1$ y $L_2$ ¿es regular?

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

Diferencia entre solidez y corrección

Lenguaje proposicional. ¿No entiende la definición?

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: