Please enable JavaScript.

Coggle requires JavaScript to display documents.

ALF, Gramática tipo 0 de Chomsky (sin restricciones), Máquina autómatas…

- - - - Potencias de un alfabeto
      - Lenguaje universal
      - Lenguaje
        
        Especificación por comprensión
        
        Especificación por extensión
        
        Operaciones
        
        Concatenación
        
        Cerrada
        
        Asociativa
        
        Elemento neutro
        
        Unión
        
        Cerrada
        
        Asociativa
        
        Elemento neutro
        
        Conmutativa
        
        idempotente
        
        Intersección
        
        Cerrada
        
        Asociativa
        
        Elemento neutro
        
        Conmutativa
        
        Idempotente
        
        Diferencia
        
        Cerrada
        
        Elemento neutro
        
        Complementación
        
        Lenguaje reflejo
        
        Potencia
        
        Clausura o cierre positivo
        
        Clausura, Cierre o Cerradura de Kleene
        
        L*
    - - Cadena vacía
      - Longitud
      - Operaciones
        
        Concatenación
        
        Cerrada
        
        Asociativa
        
        Elemento neutro
        
        Longitud
        
        Cancelación por izquierda
        
        Cancelación por derecha
        
        Potencia
        
        Reflexión, cadena refleja o inversa
  - - - Quíntupla M = {Q, Σ, δ, q0 , F}
      - Sí o no, no hay cadenas de salida
      - δ determinista
    - - Cuádrupla M = {Q, O, δ, q0}
      - No hay entradas
      - δ no determinista
    - - δ determinista
      - Quíntupla M = {Q, Σ, O, δ, q0}
  - - - Morfología
      - Sintaxis
        
        Reglas léxicas
        
        Reglas sintácticas
      - Fonética
    - - Regla compresora
    - - Derivación directa
      - Derivación más a la izquierda
      - Derivación más a la derecha
    - - Sentencia
        
        Lenguaje generado por una gramática L(G)
    - - Gramáticas Tipo 0: Sin Restricciones
        
        Gramáticas Tipo 1: Dependientes o
        Sensibles al Contexto
        
        Gramáticas Tipo 2: Independientes o
        Libres de Contexto
        
        Gramáticas Tipo 3: Regulares o Lineales
        
        Lineales por izquierda
        
        Lineales por derecha
    - - BNF
        
        EBNF
      - Grafos o diagramas sintácticos
      - Árboles de derivación
        
        Ambigüedad
        
        Sentencia
        
        Gramática
        
        Lenguaje
      - Recursividad
        
        Producción recursiva
        
        Gramática recursiva
- - - - Kurt Gödel
        
        Alan Turing
        
        Procedimiento efectivo
        
        Máquina de Turing
        
        MT = (Q, Σ, Γ, δ, q0 , □, F)
        
        Lenguajes aceptados
        
        Lenguajes recursivamente enumerables
        
        1 more item...
        
        Restricciones
        
        MT con cinta limitada en un solo sentido
        
        MT con capacidad de acción restringida
        
        MT con alfabeto binario
        
        Extensiones
        
        MT con n cintas
        
        MT no deterministas
        
        3 more items...
        
        Alonzo Church
  - - - 1945
        
        EDVAC
        
        Idea para construir una computadora basada en la MUT, con la noción de programa almacenado
        
        1948
        
        SSEM - Baby Machine
    - - Tesis de Turing
        
        Procedimiento efectivo
        
        Máquina de Turing
      - Tesis de Church
        
        Procedimiento efectivo
        
        Funciones recursivas parciales
    - - Soluble
      - Parcialmente soluble
      - Insoluble
        
        Problema de Detención de MT
    - - Equivalencia con las funciones Turing Computables
      - Elementos
        
        Una base recursiva
        
        Una o más reglas recursivas
        
        Afirmación de que los valores quedan determinados por los anteriores
      - Funciones recursivas primitivas
        
        Funciones iniciales
        
        Cero
        
        Sucesor
        
        Identidad generalizada
        
        2 reglas de construcción
        
        Composición
        
        Recursión primitiva
- - - - Programa fuente
        
        Fase de reconocimiento del programa fuente
        
        Analizador léxico
        
        Analizador sintáctico
        
        Analizador semántico
        
        Optimizador
        
        2 more items...
        
        Código intermedio
        
        Semántica estática
        
        Semántica dinámica
        
        Gramáticas de atributos
        
        4 more items...
        
        Árbol del análisis sintáctico
        
        Análisis jerárquico
        
        Reglas recursivas
        
        Autómata a pila
        
        Gramática independiente del contexto
        
        Componentes léxicos
        
        Tokens/lexemas
        
        Autómata finito
        
        Lenguaje regular
        
        Análisis lineal
- - - - Lenguajes regulares