Categoria:Teoria dei linguaggi formali

• Linguaggio formale
• Teoria dei linguaggi formali

A

• Albero sintattico
• Albero sintattico astratto
• Alfabeto (teoria dei linguaggi formali)
• Alfabeto concorrente
• Algoritmo di Thompson
• Altezza star
• Augmented transition network
• Automa (informatica)
• Automa a pila
• Automa a stati finiti
• Automa a stati finiti deterministico
• Automa a stati finiti non deterministico
• Automa a stati finiti quantistico
• Automa lineare limitato
• Autoreferenza

B

• Backus-Naur Form

C

• Chiusura induttiva
• Compilatore
• Costruzione dei sottoinsiemi

D

• Dicotomia di Ousterhout
• Distribuzionalismo

E

• EBNF
• Errore di sintassi
• Esponente critico
• Espressione regolare

F

• Flex (software)
• Forma normale di Chomsky
• Forma normale di Greibach
• Forma normale di Kuroda
• Formula aperta
• Formula ben formata
• Funzione proposizionale

G

• Gellish
• Gerarchia di Chomsky
• Grammatica a struttura sintagmatica generalizzata
• Grammatica ad attributi
• Grammatica ambigua
• Grammatica dipendente dal contesto
• Grammatica formale
• Grammatica generativa
• Grammatica libera dal contesto
• Grammatica lineare
• Grammatica regolare
• Grammatica sintagmatica
• Grammatica trasformazionale

I

• Interpretazione (logica)

L

• Lemma di Ogden
• Linguaggio di specifica
• Linguaggio dipendente dal contesto
• Linguaggio libero dal contesto
• Linguaggio lineare
• Linguaggio omega-regolare
• Linguaggio regolare
• Linguaggio ricorsivo

M

• Massima sottosequenza crescente
• Metalinguaggio
• Modello (logica matematica)

O

• Object Constraint Language
• Omega linguaggio

P

• Parola di Dyck
• Pluridigrafo
• Pumping lemma
• Pumping lemma per i linguaggi liberi dal contesto
• Pumping lemma per i linguaggi regolari

R

• Riscrittura

S

• Scuola modista
• Simbolo non logico
• Sistema di Lindenmayer
• Specification and Description Language
• Star di Kleene
• Stringa (linguaggi formali)

T

• Teorema di Kleene
• Teorema di Myhill-Nerode
• Traduttore (informatica)