Progetto:Matematica/Elenco di voci sui linguaggi formali e sulle stringhe letterali
Vai alla navigazione
Vai alla ricerca
Questa pagina contiene un elenco di voci sui linguaggi formali e sulle stringhe letterali
Linguaggi formali[modifica wikitesto]
- Albero sintattico astratto
- Forma di Backus - Naur
- Gerarchia di Chomsky
- Concatenazione
- Grammatica acontestuale
- Grammatica sensibile al contesto
- Linguaggio sensibile al contesto
- Linguaggio decidibile
- Linguaggio finito
- Grammatica formale
- Linguaggio formale
- Sistema formale
- Problema generalizzato dell'altezza star
- Algebra di Kleene
- Star di Kleene
- Teorema di Myhill - Nerode
- Grammatica a prefissi
- Lemma di pompaggio
- Linguaggio ricorsivamente enumerabile
- Espressione regolare
- Grammatica regolare
- Linguaggio regolare
- Altezza star
- Problema dell'altezza star
- Monoide sintattico
- Sintassi (logica)
Stringhe letterali[modifica wikitesto]
- Anagramma
- Sensibilità maiuscola/minuscola
- Teorema delle infinite scimmie
- Analisi lessicale
- Lipogramma
- Biblioteca di Babele, di Jorge Luis Borges
- Palindroma
- Pangramma
- Allineamento delle sequenze
Crittografia classica[modifica wikitesto]
- Atbash
- Cifrario autochiave
- Cilindro di Bazeries
- Crittografie della Bibbia
- Cifratura bifida
- Cifrario di Cesare
- Griglia di Cardano
- Macchina Enigma
- Analisi delle frequenze
- Indice di coincidenza
- Playfair
- Sostituzione polialfabetica
- Quadrato di Polibio
- ROT13, ROT47
- Scytale
- Steganografia
- Cifratura per sostituzione
- Rete di sostituzione-permutazione
- Tabula recta
- Cifratura per trasposizione
- Cifrario di Vigénère