Preguntas etiquetadas con theory

¿Alguien puede proporcionar una explicación directa (pero no más simple de lo posible) de una transacción aplicada a la informática (incluso si se copia de Wikipedia)?

114 database  concurrency  transactions  theory  failover 

Con un servicio RESTful puede crear, leer, actualizar y eliminar recursos. Todo esto funciona bien cuando se trata de algo como los activos de una base de datos, pero ¿cómo se traduce esto en transmisión de datos? (¿O no?) Por ejemplo, en el caso del video, parece una tontería tratar …

101 rest  streaming  theory 

En su forma actual, esta pregunta no se ajusta bien a nuestro formato de preguntas y respuestas. Esperamos que las respuestas estén respaldadas por hechos, referencias o experiencia, pero es probable que esta pregunta solicite debate, argumentos, encuestas o una discusión extensa. Si cree que esta pregunta se puede mejorar …

96 java  php  oop  theory 

¿Es posible que una computadora "aprenda" una expresión regular mediante ejemplos proporcionados por el usuario? Para aclarar: Yo no quiero aprender expresiones regulares. Quiero crear un programa que "aprenda" una expresión regular a partir de ejemplos proporcionados de forma interactiva por un usuario, tal vez seleccionando partes de un texto …

95 regex  artificial-intelligence  theory  automata 

Cerrado. Esta pregunta está fuera de tema . Actualmente no acepta respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que esté relacionada con el tema de Stack Overflow. Cerrado hace 8 años . Mejora esta pregunta La "broma" flotante en # 505 xkcd promociona "Llamo la regla 34 a …

86 theory  cellular-automata 

¿Qué clase de lenguajes reconocen realmente las expresiones regulares modernas reales? Siempre que haya un grupo de captura de longitud ilimitada con una referencia (.*)_\1inversa (por ejemplo ), una expresión regular ahora coincide con un idioma no regular. Pero esto, por sí solo, no es suficiente para coincidir con algo …

83 regex  perl  theory  context-free-grammar  language-theory 

¿Cómo verifico si un gráfico dirigido es acíclico? ¿Y cómo se llama el algoritmo? Agradecería una referencia.

82 algorithm  theory  directed-graph  directed-acyclic-graphs 

Vi esta pregunta y sentí curiosidad por saber cuál era el lema de bombeo ( Wikipedia no ayudó mucho). Entiendo que es básicamente una prueba teórica que debe ser cierta para que un idioma esté en una determinada clase, pero más allá de eso, realmente no lo entiendo. ¿Alguien quiere …

81 theory  proof  pumping-lemma 

El punto de la corrección constante es poder proporcionar una vista de una instancia que el usuario no puede alterar ni eliminar. El compilador admite esto al señalar cuando se rompe la constness desde dentro de una función const, o se intenta usar una función no const de un objeto …

79 c#  theory  const-correctness