Discussione:Grammatica regolare

Vedi Discussione:Linguaggio formale - Twice25 15:54, Giu 28, 2004 (UTC)

Leggendo questo articolo noto una discordanza nella terminologia con la versione inglese dell'articolo, dovuta probabilmente a differenze nei termini usati in queste due lingue; la definizione data corrisponde a quella di grammatica regolare, ma non a quella di grammatica lineare. Una grammatica lineare (linear grammar, vedi voce in inglese) è una grammatica con al massimo un non terminale nella parte destra. Ad esempio, S-> aSb | c è una grammatica lineare ma non regolare, come si può ben notare. Tale definizione risulta anche da un libro di testo sul quale ho studiato. Soprattutto colui che ha scritto questo articolo può chiarire il perché abbia usato il termine "lineare" e non il termine "regolare"? . --Andrea.M 21:35, 11 feb 2006 (CET)

Concordo, vedi mia risposta in Discussione:Linguaggio regolare--Pavel_ius aka FutureTrunks 18:10, 23 giu 2008 (CEST)

Ho chiesto al professore di compilatori all'universita' di Pisa, e mi ha detto che la definizione non e' corretta. in realta' le grammatiche regolari sono quelle in cui possiamo ordinare i simboli non terminali.

cioe' data una grammatica G=<V,Σ,s∈V,P> allora se ∀ V::=e ∈ P , e∈ E_{Σ∪{v'< v}} allora la grammatica e' regolare. In particolare essendo un sottoinsieme delle ContextFree in ogni produzione a sinistra ci sono solo simboli non terminali. --deneb 00:13, 28 lug 2007 (CEST)

Fatto dovrei aver sistemato i contenuti errati riscrivendo quasi interamente la pagina --Pavel_ius aka FutureTrunks 19:37, 28 giu 2008 (CEST)