Para un alfabeto finito fijo , un lenguaje formal sobre es normal si existe un autómata finito determinista (DFA) sobre que acepta exactamente .L Σ Σ LΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL Me interesan los idiomas que son "casi" regulares en el sentido de que pueden ser reconocidos por las familias de...
Es posible que algunos de ustedes hayan estado siguiendo esta pregunta , que se cerró debido a que no tenía nivel de investigación. Entonces, estoy extrayendo la parte de la pregunta que está a nivel de investigación. Más allá de las técnicas "más simples", como reducir a la clasificación o un...
Al jugar con el análisis LR no canónico, pensé en un método de análisis (con tablas de tamaño infinito, lo que lo hace poco práctico ) capaz de analizar exactamente las gramáticas inequívocas en el tiempo , y me preguntaba si es posible hacerlo mejor :O ( n2)O(norte2)O(n^2) ¿Se pueden analizar...
Además de la complejidad de comunicación (determinista) de una relación , otra medida básica para la cantidad de comunicación necesaria es el número de partición de protocolo . La relación entre estas dos medidas se conoce hasta un factor constante. La monografía de Kushilevitz y Nisan (1997) daRc...
El lema de bombeo para los idiomas regulares se puede probar considerando un autómata de estado finito que reconoce el idioma estudiado, escogiendo una cadena con una longitud mayor que su número de estados y aplicando el principio del casillero. El lema de bombeo para lenguajes libres de contexto...
Me di cuenta de que los idiomas regulares sobre el alfabeto pueden considerarse naturalmente como un poset, y de hecho una red. Además, la concatenación junto con el lenguaje vacío ϵ define una estructura monoidal estricta en esta categoría que es distributiva sobre las uniones (no estoy seguro...
Defina la siguiente clase de idiomas "circulares" sobre un alfabeto finito Sigma. En realidad, el nombre ya existe para denotar una cosa diferente que parece, utilizada en el campo de la computación de ADN. AFAICT, esa es una clase diferente de idiomas. Un lenguaje L es circular si todas las...
con el número de palabras de longitud en un lenguaje (posiblemente ambiguo) libre de contexto.wnortewnortew_nnortenorten ¿Qué se sabe sobre ?wnortewnortew_n Estoy seguro de que esto se ha estudiado mucho, pero no pude encontrar nada en
Dadas las expresiones regulares , ¿existen límites no triviales en el tamaño de la gramática libre de contexto más pequeña para ?R 1R1, ... , RnorteR1,…,RnR_1, \dots, R_nR1∩ ⋯ ∩ RnorteR1∩⋯∩RnorteR_1 \cap \cdots \cap
Es bien sabido que el problema de equivalencia es indecidible para los lenguajes generales sin contexto. Sin embargo, todas las pruebas de este hecho que conozco parecen involucrar algunas gramáticas ambiguas sin contexto. Por esta razón, me gustaría preguntar si se sabe si el problema sigue siendo...
Hace poco tuve una discusión sobre las máquinas de Turing cuando me preguntaron: "¿La máquina de Turing se deriva de autómatas o es al revés"? No sabía la respuesta, por supuesto, pero tengo curiosidad por averiguarlo. La máquina de Turing es básicamente una versión un poco más sofisticada de un...
La pregunta es simple y directa: para un fijo , ¿cuántos idiomas (diferentes) son aceptados por un DFA de tamaño (es decir, estados)? Declararé formalmente esto:nortennnortennnortenn Defina un DFA como , donde todo está como de costumbre y es una función (posiblemente parcial). Necesitamos...
Un DFA tiene una palabra de sincronización si hay una cadena que envía cualquier estado del DFA a un solo estado. En 'La conjetura de Cerny para autómatas aperiódicos ”por AN Trahtman (Matemática discreta y ciencias de la computación teórica vol. 9: 2, 2007, pp.3-10), escribió: Cerny conjeturó...
La mayoría de las implementaciones modernas de expresiones regulares, como las de perl o .NET, van más allá de la definición informática clásica de REGEXes con características como mirar hacia adelante y mirar hacia atrás. ¿Estas características les permiten analizar declaraciones que no se pueden...
Me preguntaba si la especificación JSON definía un lenguaje regular. Parece bastante simple, pero no estoy seguro de cómo demostrarlo yo mismo. La razón por la que pregunto es porque me preguntaba si uno podría usar expresiones regulares para analizar JSON de manera efectiva. ¿Podría alguien con...
Pregunta principal / general Deja que LLL sea un idioma. Defina los idiomas LiLiL_i con L0=LL0=LL_0 = L y Li={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\} para i≥1i≥1i \geq 1 . Considere L = ⋃ L i . Por lo tanto, hacemos repetidamente "Insertar" L sobre sí misma...
Es un resultado bien conocido que la pregunta ¿Una gramática libre de contexto genera un lenguaje regular? Es indecidible. Sin embargo, se vuelve decidible en un alfabeto unario, simplemente porque en este caso, las clases de lenguajes libres de contexto y regulares coinciden. Mi pregunta es...
Estoy tratando de resolver un problema en particular, y pensé que podría resolverlo usando la teoría de autómatas. Me pregunto, ¿qué modelos de autómatas tienen una contención decidible en tiempo polinómico? es decir, si tiene máquinas , puede probar si eficiente. L ( M 1 ) ⊆ L ( M 2 )METRO1,...
El método de derivación de Brzozowski es una técnica muy bonita para construir autómatas deterministas a partir de expresiones regulares de una manera muy algebraica. He elaborado algunas generalizaciones lindas de esta técnica para manejar algunas clases más grandes de gramáticas, pero los...
¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el...