Preguntas de formal-idiomas02

5

3Resp

441Vistas

Equivalencia de idiomas regulares de decidir

Resuelta

Preguntado el 11 de Septiembre, 2012 por Alberto

11

2Resp

1580Vistas

Gramática sensible al contexto para el lenguaje de la copia

Resuelta

Preguntado el 27 de Junio, 2012 por muffel

7

2Resp

484Vistas

Enfoques modernos de la notación matemática

Abierta

Preguntado el 25 de Junio, 2013 por flojdek

7

1Resp

1245Vistas

Refrescar para arriba en matemáticas discretas (expresiones regulares)

Abierta

Preguntado el 29 de Octubre, 2013 por Timonse

5

2Resp

960Vistas

Determinar si una gramática puede convertirse a LL(1)/LL(k)

Resuelta

Preguntado el 8 de Junio, 2012 por Norswap

7

2Resp

255Vistas

GEB: Cómo se escribe "b es un MIU-número" en TNT notación

Abierta

Preguntado el 26 de Abril, 2018 por Sparr

4

1Resp

152Vistas

¿Qué es este símbolo semicircular en medio de una fórmula?

Resuelta

Preguntado el 25 de Mayo, 2015 por Leon Aves

24

1Resp

865Vistas

Automática de grupos - progresos recientes

Resuelta

Preguntado el 7 de Enero, 2010 por Tom R

19

2Resp

649Vistas

Jerarquía racional de Eilenberg de autómatas y lenguajes no racionales

Resuelta

Preguntado el 2 de Febrero, 2012 por Justin Bennett

11

3Resp

453Vistas

Tiene esta estructura algebraica sido nombrado o estudió?

Resuelta

Preguntado el 10 de Diciembre, 2012 por Chris Pressey

15

3Resp

289Vistas

Palabras de $\{0,1,2\}$ con restricciones que no sean tan fáciles de acomodar.

Resuelta

Preguntado el 6 de Marzo, 2016 por Markus Scheuer

20

2Resp

1060Vistas

Lógica de primer orden sin igualdad

Resuelta

Preguntado el 16 de Abril, 2013 por aleksandar

9

1Resp

557Vistas

Algoritmo para responder a preguntas existenciales de Reducción de la

Abierta

Preguntado el 1 de Agosto, 2015 por Mary Star

9

1Resp

483Vistas

$F[t]$ tiene teoría existencial positiva indecidible en el % de lenguaje $\{+, \cdot , 0, 1, t\}$

Abierta

Preguntado el 2 de Agosto, 2015 por Mary Star

10

1Resp

394Vistas

Encontrar una breve expresión de un determinado entero grande

Resuelta

Preguntado el 10 de Abril, 2012 por alcuadrado

7

5Resp

340Vistas

La estructura profunda de las fórmulas lógicas

Abierta

Preguntado el 24 de Febrero, 2014 por aleksandar

10

1Resp

347Vistas

¿Existe un autómata universal de empuje?

Abierta

Preguntado el 10 de Julio, 2012 por Alberto

6

3Resp

464Vistas

Lo complicado es el conjunto de tautologías?

Resuelta

Preguntado el 17 de Octubre, 2011 por Xetius

6

4Resp

236Vistas

La cadena más corta posible

Resuelta

Preguntado el 14 de Marzo, 2013 por Gaak

7

3Resp

626Vistas

¿Qué supuestos y la metodología no metaproofs de teoremas lógicos usan y emplean?

Resuelta

Preguntado el 14 de Diciembre, 2009 por Scott Kramer

11

4Resp

1010Vistas

¿Cuál es la diferencia entre un shuffle y una permutación?

Resuelta

Preguntado el 8 de Abril, 2017 por Kitalda

9

2Resp

195Vistas

¿Realmente necesitamos símbolos constantes en las teorías de primer orden?

Abierta

Preguntado el 1 de Mayo, 2017 por M. Winter

4

1Resp

137Vistas

¿Fórmula de primer orden en el lenguaje de primer orden, otro lenguaje abierto donde verdadera equivalencia en los productos naturales?

Abierta

Preguntado el 5 de Enero, 2017 por user389821

6

2Resp

187Vistas

Describir y contar el conjunto de secuencias que contienen $20$ o $02$

Abierta

Preguntado el 27 de Julio, 2015 por Stefan

5

1Resp

229Vistas

Mínimo DFA la satisfacción de un número finito de vista de un idioma.

Resuelta

Preguntado el 18 de Enero, 2012 por Glauco Vinicius

5

2Resp

530Vistas

Pregunta de expresión regular

Resuelta

Preguntado el 8 de Septiembre, 2011 por Duncan

5

2Resp

122Vistas

¿El uso de la constante de símbolos en un primer orden de la teoría implícitamente inducir una existencia axioma?

Resuelta

Preguntado el 29 de Abril, 2017 por M. Winter

8

1Resp

305Vistas

Lenguajes con gramática libre de contexto que sólo tienen un símbolo no terminal

Resuelta

Preguntado el 15 de Agosto, 2013 por Luca Bressan

4

1Resp

150Vistas

¿Es todo conjunto recursivamente enumerable muchos-uno reducible a $L_\text{b}$ ?

Abierta

Preguntado el 13 de Diciembre, 2016 por user388407

5

3Resp

783Vistas

Formalización de prueba

Resuelta

Preguntado el 25 de Febrero, 2010 por dburke

Preguntas de formal-idiomas

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Equivalencia de idiomas regulares de decidir

Gramática sensible al contexto para el lenguaje de la copia

Enfoques modernos de la notación matemática

Refrescar para arriba en matemáticas discretas (expresiones regulares)

Determinar si una gramática puede convertirse a LL(1)/LL(k)

GEB: Cómo se escribe "b es un MIU-número" en TNT notación

¿Qué es este símbolo semicircular en medio de una fórmula?

Automática de grupos - progresos recientes

Jerarquía racional de Eilenberg de autómatas y lenguajes no racionales

Tiene esta estructura algebraica sido nombrado o estudió?

Palabras de $\{0,1,2\}$ con restricciones que no sean tan fáciles de acomodar.

Lógica de primer orden sin igualdad

Algoritmo para responder a preguntas existenciales de Reducción de la

$F[t]$ tiene teoría existencial positiva indecidible en el % de lenguaje $\{+, \cdot , 0, 1, t\}$

Encontrar una breve expresión de un determinado entero grande

La estructura profunda de las fórmulas lógicas

¿Existe un autómata universal de empuje?

Lo complicado es el conjunto de tautologías?

La cadena más corta posible

¿Qué supuestos y la metodología no metaproofs de teoremas lógicos usan y emplean?

¿Cuál es la diferencia entre un shuffle y una permutación?

¿Realmente necesitamos símbolos constantes en las teorías de primer orden?

¿Fórmula de primer orden en el lenguaje de primer orden, otro lenguaje abierto donde verdadera equivalencia en los productos naturales?

Describir y contar el conjunto de secuencias que contienen $20$ o $02$

Mínimo DFA la satisfacción de un número finito de vista de un idioma.

Pregunta de expresión regular

¿El uso de la constante de símbolos en un primer orden de la teoría implícitamente inducir una existencia axioma?

Lenguajes con gramática libre de contexto que sólo tienen un símbolo no terminal

¿Es todo conjunto recursivamente enumerable muchos-uno reducible a $L_\text{b}$ ?

Formalización de prueba

Etiquetas mas usadas

i-Ciencias.com

Powered by: