Preguntas etiquetadas con automata-theory

Teoría de autómatas, que incluye máquinas abstractas, gramáticas, análisis, inferencia gramatical, transductores y técnicas de estado finito

2
Autómatas Büchi con estrategia de aceptación
El problema Deje que A=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangle ser un autómata Büchi, reconociendo un lenguaje L⊆ΣωL⊆ΣωL\subseteq\Sigma^\omega . Suponemos que AAA tiene una estrategia de aceptación en el siguiente sentido: hay una función σ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to Q que puede ser utilizado para pruebas piloto de AAA . Lo formalizamos mediante las siguientes condiciones: …
4
Jerarquías en idiomas regulares
¿Hay alguna jerarquía "agradable" conocida L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (puede ser finita) dentro de la clase de lenguajes regulares LLL ? Por bueno aquí, las clases en cada jerarquía capturan diferente expresividad / poder / complejidad. Además, la membresía de cada clase está "bien" demostrada por algunos …
2
Regular versus TC0
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} ¿Hay un candidato para un problema en que no está en ?RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} ¿Hay un resultado condicional que implique que , por ejemplo, si entonces ?Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1} \not\subseteq \mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0}
4
¿Es la equivalencia eta para funciones compatible con la operación seq de Haskell?
Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq …
3
¿La importancia de la complejidad del estado en autómatas y lenguajes regulares?
Estoy leyendo " Concatenación de idiomas regulares y complejidad descriptiva " de Galina Jiraskova, 2009 sobre la complejidad del estado resultante de la concatenación de dos idiomas regulares (por Galina Jiraskova), pero no puedo entender cuáles serían las implicaciones prácticas de la complejidad del estado. . El primer pensamiento trivial …
2
Aprendizaje automático sin contraejemplos
En el marco de aprendizaje de autómatas de Angluin , un estudiante tiene como objetivo aprender un lenguaje regular L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* haciendo dos tipos de preguntas a su maestro: Consultas de palabras: dado w∈Σ∗w∈Σ∗w\in \Sigma^* , ¿es w∈Lw∈Lw\in L ? Consultas de equivalencia: dado un lenguaje K⊆Σ∗K⊆Σ∗K\subseteq \Sigma^* , ¿es …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.