Preguntas etiquetadas con formal-languages

Convertir expresiones regulares en NFA (mínimo) que acepten el mismo lenguaje es fácil con algoritmos estándar, por ejemplo, el algoritmo de Thompson . Sin embargo, la otra dirección parece ser más tediosa, y a veces las expresiones resultantes son desordenadas. ¿Qué algoritmos existen para convertir NFA en expresiones regulares equivalentes? …

115 algorithms  formal-languages  finite-automata  regular-expressions  reference-question 

Aprendimos sobre la clase de lenguajes libres de contexto . Se caracteriza tanto por gramáticas libres de contexto como por autómatas pushdown, por lo que es fácil demostrar que un lenguaje determinado no tiene contexto.CFLCFL\mathrm{CFL} Sin embargo, ¿cómo muestro lo contrario? Mi TA ha insistido en que para hacerlo, tendríamos …

89 formal-languages  context-free  proof-techniques  reference-question 

Aprendimos sobre la clase de idiomas regulares . Se caracteriza por un concepto cualquiera entre expresiones regulares, autómatas finitos y gramáticas lineales izquierdas, por lo que es fácil mostrar que un lenguaje determinado es regular.REGREG\mathrm{REG} Sin embargo, ¿cómo muestro lo contrario? Mi TA ha insistido en que para hacerlo, tendríamos …

76 formal-languages  regular-languages  proof-techniques  reference-question 

La gente suele decir que los analizadores LR (k) son más potentes que los analizadores LL (k) . Estas declaraciones son vagas la mayor parte del tiempo; en particular, ¿deberíamos comparar las clases para una fija o la unión sobre todas las k ? Entonces, ¿cómo es realmente la situación? …

67 formal-languages  formal-grammars  parsers  reference-question 

Existen muchos métodos para demostrar que un idioma no es regular , pero ¿qué debo hacer para demostrar que un idioma es regular? Por ejemplo, si me dicen que LLL es regular, ¿cómo puedo probar que la siguiente L′L′L' es regular? L′: = { w ∈ L : u v …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

Consulte el final de esta publicación para obtener algunas aclaraciones sobre las definiciones de los autómatas min-heap. Uno puede imaginarse usando una variedad de estructuras de datos para almacenar información para uso de las máquinas de estado. Por ejemplo, los autómatas push-down almacenan información en una pila, y las máquinas …

44 formal-languages  automata 

Recuerdo haber encontrado la siguiente pregunta sobre un lenguaje que supuestamente no tiene contexto, pero no pude encontrar una prueba del hecho. ¿Acaso he recordado mal la pregunta? De todos modos, aquí está la pregunta: Demuestre que el idioma tiene contexto.L={xy∣|x|=|y|,x≠y}L={xy∣|x|=|y|,x≠y}L = \{xy \mid |x| = |y|, x\neq y\}

43 formal-languages  context-free 

Parece que en este sitio, las personas a menudo corrigen a otros por "algoritmos" y "problemas" confusos. ¿Cuál es la diferencia entre estos? ¿Cómo sé cuándo debería considerar algoritmos y problemas? ¿Y cómo se relacionan con el concepto de lenguaje en la teoría del lenguaje formal?

40 algorithms  complexity-theory  formal-languages  terminology  reference-question 

Llamemos a un lenguaje determinista sin contexto si y solo si puede ser aceptado por un autómata determinista de empuje hacia abajo, y no determinista de lo contrario. Llamemos a un lenguaje libre de contexto inherentemente ambiguo si y solo si todas las gramáticas libres de contexto que generan el …

36 formal-languages  automata  formal-grammars  pushdown-automata 

Al ver que en la Jerarquía de Chomsky, los lenguajes Tipo 3 pueden ser reconocidos por una máquina de estado sin memoria externa (es decir, un autómata finito), el Tipo 2 por una máquina de estado con una sola pila (es decir, un autómata pushdown) y el Tipo 0 una …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Acabo de completar el primer capítulo de Introducción a la teoría de la computación de Michael Sipser que explica los conceptos básicos de los autómatas finitos. Él define un lenguaje regular como cualquier cosa que pueda ser descrita por un autómata finito. Pero no pude encontrar dónde explica por qué …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Wikipedia, así como otras fuentes que he encontrado, enumeran el voidtipo de C como un tipo de unidad en lugar de un tipo vacío. Esto me parece confuso, ya que me parece que se voidajusta mejor a la definición de un tipo vacío / inferior. No habito valores void, por …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Para un lenguaje regular , deje que sea ​​el número de palabras en de longitud . Usando la forma canónica de Jordan (aplicada a la matriz de transición sin anotaciones de algunos DFA para L ), se puede demostrar que para n suficientemente grande , c_n (L) = \ sum_ …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

Tengo un conjunto de pares. Cada par tiene la forma (x, y) de modo que x, y pertenecen a enteros del rango [0,n). Entonces, si n es 4, entonces tengo los siguientes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ya tengo las parejas. Ahora, tengo que construir una combinación usando …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Existen muchas técnicas para demostrar que un idioma no está libre de contexto, pero ¿cómo pruebo que un idioma no tiene contexto? ¿Qué técnicas hay para probar esto? Obviamente, una forma es exhibir una gramática libre de contexto para el lenguaje. ¿Existen técnicas sistemáticas para encontrar una gramática libre de …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question