Stiamo lavorando per ripristinare l'app di Unionpedia nel Google Play Store
UscenteArrivo
🌟Abbiamo semplificato il nostro design per una migliore navigazione!
Instagram Facebook X LinkedIn

Lemma di Ogden

Indice Lemma di Ogden

Nella teoria dei linguaggi formali, il lemma di Ogden è una generalizzazione del pumping lemma per i linguaggi liberi dal contesto. Il lemma di Ogden afferma che se L è un linguaggio libero dal contesto, allora esiste un intero p > 0 tale che per ogni stringa z di lunghezza almeno p in L e ogni modo di "marcare" p o più posizioni all'interno di z, si può scrivere z come dove le stringhe u, v, w, x, e y soddisfano le seguenti condizioni.

Indice

  1. 6 relazioni: Jeffrey Ullman, Linguaggio formale, Linguaggio libero dal contesto, Pumping lemma per i linguaggi liberi dal contesto, Pumping lemma per i linguaggi regolari, Rajeev Motwani.

  2. Lemmi

Jeffrey Ullman

È professore di informatica presso l'Università di Stanford. Autore di testi su compilatori, teoria della calcolabilità e strutture dati, ha scritto alcuni libri insieme a John Hopcroft ed Alfred Aho.

Vedere Lemma di Ogden e Jeffrey Ullman

Linguaggio formale

Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe costruite sopra un alfabeto, cioè sopra un insieme di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere.

Vedere Lemma di Ogden e Linguaggio formale

Linguaggio libero dal contesto

Un linguaggio libero dal contesto (o non contestuale, o context-free) è un linguaggio formale generato da una grammatica che sia, appunto, non contestuale, ovvero tale che le cui regole agiscono su simboli non terminali a prescindere dal contesto in cui essi appaiono.

Vedere Lemma di Ogden e Linguaggio libero dal contesto

Pumping lemma per i linguaggi liberi dal contesto

Il pumping lemma per i linguaggi liberi dal contesto, detto anche lemma di Bar-Hillel, è un lemma che fornisce una proprietà comune a tutti i linguaggi liberi dal contesto.

Vedere Lemma di Ogden e Pumping lemma per i linguaggi liberi dal contesto

Pumping lemma per i linguaggi regolari

Nella teoria dei linguaggi formali il pumping lemma per i linguaggi regolari è una condizione necessaria affinché un linguaggio sia regolare.

Vedere Lemma di Ogden e Pumping lemma per i linguaggi regolari

Rajeev Motwani

Era professore di informatica presso l'Università di Stanford. Le sue ricerche erano concentrate sulle teorie avanzate dell'informatica. Motwani è conosciuto per essere uno dei padri, insieme a Larry Page e Sergey Brin, dell'algoritmo alla base di Google 8 giugno 2009 - consultato il 5 agosto 2010 e consulente di PayPal e del fondo d'investimenti Sequoia Capital.

Vedere Lemma di Ogden e Rajeev Motwani

Vedi anche

Lemmi