Ciencias de la computación teórica

9
¿Cuál es el papel apropiado de la verificación en el muestreo cuántico, la simulación y las pruebas de Turing de Iglesia Extendida (TCE)?

Como no se dio respuesta, se ha establecido una bandera solicitando que esta pregunta se convierta en una wiki comunitaria. Los comentarios de Aaron Sterling, Sasho Nikolov y Vor se sintetizaron en la siguiente resolución, que está abierta para la discusión de la wiki comunitaria: Resuelto:...

9
Expresiones regulares sin alternancia.

Me preguntaba qué conjuntos de idiomas se generan por restricciones de expresiones regulares. Supongamos que todas las restricciones tienen un símbolo constante para cada elemento de y concatenación. Entonces se pueden formar ocho clases por la presencia o ausencia de complemento / negación,...