Preguntas ciencias de formal-idiomas03

7

2Resp

484Vistas

Enfoques modernos de la notación matemática

Abierta

Preguntado el 25 de Junio, 2013 por flojdek

10

1Resp

394Vistas

Encontrar una breve expresión de un determinado entero grande

Resuelta

Preguntado el 10 de Abril, 2012 por alcuadrado

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

9

4Resp

868Vistas

¿Por qué isn ' t hay un lema bombeo idiomas recurrentemente enumerable?

Abierta

Preguntado el 9 de Abril, 2014 por Aaron Boyer

9

1Resp

410Vistas

¿Cuál es la clase de lenguajes aceptados por los DFAs cuya transición monoids son transitivos permutación de grupos?

Abierta

Preguntado el 19 de Marzo, 2013 por karen

11

5Resp

628Vistas

Una memoria de la computadora es finito, así que ¿cómo puede haber idiomas más potente que el resto?

Resuelta

Preguntado el 3 de Agosto, 2013 por RobotbeatsHuman

11

2Resp

1580Vistas

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

Resuelta

Preguntado el 27 de Junio, 2012 por muffel

9

1Resp

557Vistas

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

Abierta

Preguntado el 1 de Agosto, 2015 por Mary Star

13

1Resp

654Vistas

Funciones de generación de contexto libre de idiomas

Resuelta

Preguntado el 30 de Octubre, 2012 por jcho360

20

2Resp

1060Vistas

Lógica de primer orden sin igualdad

Resuelta

Preguntado el 16 de Abril, 2013 por aleksandar

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

11

4Resp

624Vistas

¿Qué sentido tiene permitir sólo la cuantificación de las variables en la lógica de primer orden.

Resuelta

Preguntado el 17 de Abril, 2016 por user1321213

15

4Resp

928Vistas

Un análogo de la Myhill-Nerode Teorema de contexto libre de idiomas?

Resuelta

Preguntado el 9 de Marzo, 2012 por znq

11

3Resp

453Vistas

Tiene esta estructura algebraica sido nombrado o estudió?

Resuelta

Preguntado el 10 de Diciembre, 2012 por Chris Pressey

16

4Resp

678Vistas

Existe un natural de la familia de lenguas cuyas funciones de generación son holonomic (es decir, D-finito)?

Resuelta

Preguntado el 8 de Diciembre, 2009 por Vetle

16

2Resp

632Vistas

¿En qué se basa la lógica formal (o las matemáticas, en general)?

Resuelta

Preguntado el 17 de Diciembre, 2013 por DuxAres

22

5Resp

963Vistas

Sobre la posición de "para todos" cuantificador

Resuelta

Preguntado el 15 de Noviembre, 2015 por diff_math

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

24

1Resp

865Vistas

Automática de grupos - progresos recientes

Resuelta

Preguntado el 7 de Enero, 2010 por Tom R

Preguntas ciencias formal-idiomas

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Enfoques modernos de la notación matemática

Encontrar una breve expresión de un determinado entero grande

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

¿Por qué isn ' t hay un lema bombeo idiomas recurrentemente enumerable?

¿Cuál es la clase de lenguajes aceptados por los DFAs cuya transición monoids son transitivos permutación de grupos?

Una memoria de la computadora es finito, así que ¿cómo puede haber idiomas más potente que el resto?

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

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

Funciones de generación de contexto libre de idiomas

Lógica de primer orden sin igualdad

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

¿Qué sentido tiene permitir sólo la cuantificación de las variables en la lógica de primer orden.

Un análogo de la Myhill-Nerode Teorema de contexto libre de idiomas?

Tiene esta estructura algebraica sido nombrado o estudió?

Existe un natural de la familia de lenguas cuyas funciones de generación son holonomic (es decir, D-finito)?

¿En qué se basa la lógica formal (o las matemáticas, en general)?

Sobre la posición de "para todos" cuantificador

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

Automática de grupos - progresos recientes

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: