Risultati della ricerca

...on contestuali'') e contiene strettamente quella dei [[linguaggio regolare|linguaggi regolari]]. *Giorgio Ausiello, Fabrizio d'Amore, Giorgio Gambosi. ''Linguaggi, Modelli, Complessità''. Franco Angeli Editore, 2003 ISBN 88-464-4470-1 ...

Nella teoria dei [[linguaggi formali]], e in particolare nell'ambito dei linguaggi traccia, un '''alfabeto concorrente''' è costituito da una coppia <math>(\S [[Categoria:Teoria dei linguaggi formali]] ...

...ento]] delle classi delle [[grammatiche formali]] che genera i [[linguaggi formali]]. Questa gerarchia di grammatiche, dette anche ''grammatiche sintagmatiche == Grammatiche formali == ...

...accettati da un riconoscitore di Rabin e Scott (RSR), sono tutti e soli i linguaggi a stati finiti ottenuti con un'operazione di chiusura. ...do le operazioni di unione (∪), giustapposizione (⋅) e star chiusura (*) a linguaggi finiti su <math>A</math> (o anche a partire dalle semplici lettere di <math ...

...gi formali)|stringhe]] costruite sopra un [[alfabeto (teoria dei linguaggi formali)|alfabeto]], cioè sopra un insieme di oggetti tendenzialmente semplici che ...nell'ambito della linguistica, come modo di comprendere le regolarità dei linguaggi naturali. ...

L'insieme dei linguaggi liberi da contesto è equivalente all'insieme dei linguaggi che sono [[parsing|riconoscibili]] da un [[automa a pila|automa a pila non ...nteresse nell'[[informatica teorica]] ed in particolare nella teoria dei [[linguaggi di programmazione]] e della loro implementazione. ...

...crivere la sintassi della maggior parte dei [[linguaggio di programmazione|linguaggi di programmazione]]; al tempo stesso, sono abbastanza semplici da consentir ...espressione, un formalismo relativamente nuovo seguito particolarmente dai linguaggi di programmazione. ...

...ormali]] differente da quella generata da [[grammatica formale|grammatiche formali]] di Tipo 3. ...poiché l'automa possiede esattamente n stati distinti, per il [[principio dei cassetti]], uno degli stati <math>\left \{ q_z0, q_z1, q_z2, \cdots, q_zk \ ...

...th>A</math> un [[insieme]] che chiameremo [[Alfabeto (teoria dei linguaggi formali)|alfabeto]]. Si definisce universo linguistico di <math>A</math>, e si indi ...ossiamo definire la seguente operazione di prodotto (o concatenazione) tra linguaggi: ...

...i automi sono in grado di accettare i [[linguaggio dipendente dal contesto|linguaggi dipendenti dal contesto]] generati da [[grammatica dipendente dal contesto| {{Linguaggi formali e grammatiche}} ...

[[Categoria:Teoria dei linguaggi formali]] [[Categoria:Teoria degli insiemi]] ...

...nguaggio formale]], ossia costituito da un insieme di [[Stringa (linguaggi formali)|stringhe]] costruite con un alfabeto finito, che è descritto da un'[[espre == Linguaggi regolari basati su un alfabeto == ...

...ssi di [[grammatica formale|grammatiche formali]] che generano [[linguaggi formali]]. La gerarchia di queste grammatiche, chiamate anche grammatiche a struttu == Grammatiche formali == ...

Come le altre grammatiche formali, è una [[N-pla|quadrupla]] <math>\mathcal{G} = \left \langle N, \Sigma, P, Vengono chiamate ''regolari'' perché i linguaggi generati da queste grammatiche sono rappresentabili tramite [[espressione r ...

In [[informatica]] e nella teoria dei [[linguaggi formali]], una [[grammatica libera dal contesto]] è nella '''Forma normale di Greib [[Categoria:Teoria dei linguaggi formali]] ...

Nella teoria dei [[linguaggi formali]], una '''stringa''' è una sequenza composta da un certo numero di oggetti ...ssicali'' (dette anche ''token''), i ''frammenti di testo'' (come i titoli dei paragrafi o le citazioni bibliografiche) e le stringhe che rappresentano mo ...

...mazione|linguaggi di programmazione]] per l'unione di [[Stringa (linguaggi formali)|stringhe]]. ...th> due linguaggi costruiti su un dato un [[Alfabeto (teoria dei linguaggi formali)|alfabeto]] <math>\Sigma</math>. Il concatenamento <math>L_1L_2</math> rapp ...

Un '''[[Numero ordinale (teoria degli insiemi)|ω]]-linguaggio''' è un [[insieme]] di sequenze di simboli di ...do la definizione standard della teoria dei [[linguaggio formale|linguaggi formali]], <math>\Sigma^*</math> è l'insieme di tutte le parole ''finite'' su <math ...

Nella teoria dei [[linguaggi formali]] il '''teorema di Myhill-Nerode''' fornisce una [[condizione necessaria e * [[Pumping lemma per i linguaggi regolari]] ...

Nella teoria dei [[linguaggi formali]], la '''costruzione dei sottoinsiemi''' o '''costruzione per sottoinsiemi''' o '''subset constructi [[Categoria:Teoria degli automi]] ...