Progetto:Matematica/Elenco di voci sui linguaggi formali e sulle stringhe letterali
Questa pagina contiene un elenco di voci sui linguaggi formali e sulle stringhe letterali
Linguaggi formali modifica
- 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
Crittografia classica modifica
- 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