Cose la reggente in grammatica esempi

Subregente

Questa immagine mostra la relazione tra stringhe di caratteri, formule ben formate e teoremi. In alcuni sistemi formali, tuttavia, l’insieme dei teoremi coincide con l’insieme delle formule ben formate.

Una grammatica formale è un insieme di regole per la riscrittura di stringhe di caratteri, insieme a un simbolo iniziale da cui la riscrittura deve partire. Pertanto, una grammatica formale è generalmente pensata come un generatore di linguaggio. Tuttavia, a volte può anche essere usato come base per un “riconoscitore”: una funzione che determina se una data stringa appartiene a una lingua o è grammaticalmente scorretta.

Vediamo che ci sono definizioni speciali come SENTENZA, SOGGETTO, ecc. che non appaiono nella frase finale formata. Si tratta di entità astratte chiamate “categorie sintattiche” che non sono utilizzabili in una frase (hanno un ruolo simile a quello delle categorie grammaticali nelle lingue naturali). E anche lo stesso sistema permette di derivare altre frasi simili usando le forme lessicali tra parentesi: