Subcategorías
Esta categoría tiene las siguientes 12 subcategorías, de un total de 12.
A
- ► Algoritmos en cadenas (9 C, 12 P)
C
- ► Los lenguajes de programación (11 C, 20 P)
D
- ► idiomas Dependientemente mecanografiadas (14 P)
F
- ► teorías formales (3 C, 4 P)
GRAMO
- ► marcos de gramática (5 C, 65 P)
- ► Graph reescritura (10 P)
L
- ► sistemas-L (10 P)
- ► símbolos lógicos (2 C, 50 P)
METRO
- ► metalenguajes (7 P)
PAG
- ► de análisis (5 C, 35 P)
- ► La concordancia de patrones (5 C, 29 P)
- ► Los problemas en las cuerdas (11 P)
Páginas de la categoría "Idiomas formales"
Las siguientes 200 páginas pertenecen a esta categoría, de aproximadamente 202 en total. Es posible que esta lista no refleje los cambios recientes ( más información ).
(página anterior) ( página siguiente )A
- Familia abstracta de aceptadores
- Familia abstracta de lenguas
- Sistema de reescritura abstracta
- Gráfico semántico abstracto
- Árbol de sintaxis abstracta
- Álgebra de acción
- Gramática adaptativa
- Adjuntar gramática
- Idioma de comunicaciones del agente
- Teoría del aprendizaje algorítmico
- Alfabeto (idiomas formales)
- Gramática ambigua
- Antimatroide
- La regla de Arden
- Gramática de atributos
- Forma Backus-Naur aumentada
- Autocorrelación (palabras)
C
- Gramática categórica
- Jerarquía de Chomsky
- Forma normal de Chomsky
- Teorema de enumeración de Chomsky-Schützenberger
- Teorema de representación de Chomsky-Schützenberger
- Cadena más cercana
- Semigrupo compacto
- Lenguaje de descripción del compilador
- Concatenación
- Cono (lenguajes formales)
- Conferencia sobre Implementación y Aplicación de Autómatas
- Gramática conjuntiva
- Gramática libre de contexto
- Lenguaje libre de contexto
- Gramática sensible al contexto
- Lenguaje sensible al contexto
- Gramática controlada
- Convolución (informática)
- Exponente crítico de una palabra
- Dependencias entre series
- Lenguaje cíclico
D
- Gramática de cláusulas definidas
- Pedidos de Dershowitz – Manna
- Complejidad descriptiva de los sistemas formales
- Interpretación descriptiva
- Gramática determinista libre de contexto
- Lenguaje determinista libre de contexto
- Autómata de empuje determinista
- Diferencia
- Gramática de estructura de frases de constituyentes discontinuos
- Congruencia Dyck
- Lenguaje Dyck
- Árbol de sintaxis dinámica
mi
- Gramática atribuida a ECLR
- Problema de vacío
- Cuerda vacía
- Equivalencia (lenguajes formales)
- Problema de equivalencia
- Gramática extendida de afijos
- Formulario extendido Backus-Naur
F
- Espesor finito
- Gramática formal
- Palabra profinita
- Prueba formal
- Regla de formación
- Monoide libre
- Grupo libre parcialmente conmutativo
GRAMO
- Gramática generalizada sin contexto
- Problema generalizado de la altura de las estrellas
- Lenguaje de descripción de gestos
- Gramática de índice global
- Teoría de los sistemas gramaticales
- Forma normal de Greibach
- Teorema de greibach
- Creciente gramática sensible al contexto
H
- Palabra de pasillo
- Gramática de la cabeza
- Historia monoide
I
- Gramática indexada
- Lenguaje indexado
- Inducción de lenguajes regulares
- Lema de intercambio
- Conferencia Internacional sobre Desarrollos en Teoría del Lenguaje
- Interpretación (lógica)
- Introducción a la teoría, los lenguajes y la computación de los autómatas
J
- Gramática de la unión
K
- Álgebra de Kleene
- Estrella de Kleene
- Forma normal de Kuroda
L
- Gramática atribuida a L
- Ecuación del lenguaje
- Identificación del idioma en el límite
- Recursividad izquierda
- Gramática de izquierda
- Gramática léxica
- Gramática lineal
- Lista de temas de lenguaje formal y cadenas literales
- Gramática de movimiento literal
- Gramática LL
- Idioma local (idioma formal)
- Secuencia localmente catenativa
- Subsecuencia creciente más larga
- Problema de subcadena repetido más largo
- Gramática atribuida a LR
METRO
- Lenguaje de marcado
- Gramática matricial
- Par máximo
- Metacarácter
- Formalismo gramatical ligeramente sensible al contexto
- Gramática minimalista
- Factorización monoide
- Gramática de Montague
- Palabra mórfica
- Teorema de Muller-Schupp
- Teorema de Myhill-Nerode
norte
- Palabra anidada
- Símbolo no lógico
- Gramática sin contracciones
- Forma normal (reescritura de resúmenes)
O
- Lema de Ogden
- Lenguaje omega
- Lenguaje regular omega
- Gramática de precedencia de operadores
PAG
- Teorema de parikh
- Combinador de analizador
- Motor de gramática del analizador
- Analizar la gramática de la expresión
- Lenguaje de patrones (lenguajes formales)
- Lenguaje de imagen
- Sistema poscanónico
- Prefijo de gramática
- Producción (informática)
- Prueba (verdad)
- Bombeando lema para lenguajes libres de contexto
- Bombeo de lema para idiomas regulares
Q
- Cuasi-cotización
- Cociente de un lenguaje formal
R
- Gramática de concatenación de rangos
- Alfabeto clasificado
- Serie racional
- Palabra recurrente
- Gramática recursiva
- Lenguaje recursivo
- Lenguaje recursivamente enumerable
- Expresión regular
- Gramática regular
- Lengua regular
- Gramática regular del árbol
- Reescritura regulada
- Reescritura
S
- Gramática atribuida a
- SCIgen
- Codificación semántica
- Sistema Semi-Thue
- Sesquipower
- Establecer restricción
- Congruencia de Shamir
- Problema de supersecuencia común más corto
- Representación de dígitos con signo
- Gramática de precedencia simple
- Gramática SLR
- Problema de gramática más pequeño
- Lenguaje escaso
- Regla de empalme
- Palabra sin cuadrados
- Ludwig Staiger
- Altura de la estrella
- Problema de altura de estrella
- Lenguaje sin estrellas
- Gramática probabilística libre de contexto
- Lenguaje estocástico
- Gramática en línea recta
- String (informática)
- Operaciones de cadena
- Subcadena
- Símbolo (formal)
- Gramática sincrónica sin contexto
- Monoide sintáctico
- Predicado sintáctico
- Sintaxis (lógica)
- Diagrama de sintaxis
- Sistema formal
T
- Símbolos terminales y no terminales
- Rendimiento terminal
- Idioma de análisis de arriba hacia abajo
- Seguimiento de monoide
- Teoría de la traza
- Árbol (teoría de los autómatas)
- Autómata de árbol
- Transductor de árbol
- máquina de Turing
- Gramática de dos niveles
U
- Lenguaje unario
- Sistema de numeración unario
- Patrón inevitable
- Unión de dos idiomas regulares
- Gramática sin restricciones