Risultati della ricerca

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 ...'[[informatica teorica]] ed in particolare nella teoria dei [[linguaggi di programmazione]] e della loro implementazione. ...

{{S|programmazione}} ...della notazione matematica [[set-builder notation]] come distinta dall'uso di funzioni [[map (funzione)|map]] e [[filter (funzione)|filter]]. ...

...male]] in cui ogni regola sintattica è espressa sotto forma di derivazione di un simbolo a sinistra a partire da uno o più simboli a destra. Ciò può esse ...V è un [[grammatica formale|simbolo non terminale]] e ''w'' è una sequenza di [[grammatica formale|simboli terminali]] e non terminali. L'espressione "li ...

In [[linguaggio formale]] e [[Programmazione (informatica)|programmazione software]] il '''concatenamento''' (o '''concatenazione''') indica un proce ...di programmazione|linguaggi di programmazione]] per l'unione di [[Stringa (linguaggi formali)|stringhe]]. ...

...'modulo'' anche il [[valore assoluto]], pur non avendo legami con il resto di una divisione. Nella maggior parte dei [[Linguaggio di programmazione|linguaggi di programmazione]] l'[[Operatore (informatica)|operatore]] corrispondente è <code>%</code> o ...

...n piano cartesiano e un punto di coordinate <math>(x,y)</math> giacente su di esso. L'angolo è positivo se antiorario (semipiano delle ordinate positive, ...llo]] <math>(-\pi, \pi]</math>. La funzione è definita per tutte le coppie di valori reali <math>(x, y)</math> eccetto la coppia <math>(0, 0)</math>. ...

...degli argomenti o [[operando|operandi]] che richiede la funzione. L'arietà di una [[Relazione (matematica)|relazione]] è il numero dei domini nel [[prodo ...informatica)|programmazione]] pratica sia comune definire funzioni con più di 3 argomenti). ...

...ione funzionale]], una '''monade''' è una struttura che esprime una classe di computazioni concatenabili. ...o' come avviene nei [[Programmazione imperativa|linguaggi imperativi]] o [[Programmazione procedurale|procedurali]]. Infatti, possono essere espresse, con l'ausilio ...

{{S|linguaggi di programmazione}} ...matica]] il '''Three Address Code''' (abbreviato in TAC o 3AC) è una forma di rappresentazione del codice intermedio utilizzata dai [[compilatore|compila ...

...ale|grammatiche formali]] che generano [[linguaggi formali]]. La gerarchia di queste grammatiche, chiamate anche grammatiche a struttura sintagmatica ('' ...n il lato destro. Una derivazione è una sequenza di applicazioni di regole di produzione. In questo modo una grammatica definisce un linguaggio formale c ...

...se'', è una [[struttura di controllo]] che permette la verifica del valore di un'[[Espressione (informatica)|espressione]]. ...olo consiste nel distinguere più casi corrispondenti ad altrettanti valori di un'espressione. Risulta utile quando si devono controllare tanti valori per ...

{{F|linguaggi di programmazione|maggio 2015}} ...hanno lo stesso [[Computabilità|potere computazionale]] di una [[macchina di Turing universale]] (''MdTu''). ...

...mazione|linguaggi di programmazione]], ecc., l'ordine in cui le operazioni di un'[[Espressione matematica|espressione]] vengono svolte è stabilito per co ...ttoriale]], questa viene svolta dopo le operazioni tra parentesi, ma prima di qualsiasi altra operazione. ...

{{F|teorie dell'informatica|maggio 2012|Questa voce manca completamente di fonti}} ...r ottenere un determinato scopo in seguito all'introduzione di un metodo o di un processo più evoluto o più generale. ...

...[alfabeto (teoria dei linguaggi formali)|alfabeto]], cioè sopra un insieme di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o ...titolo definisce "un linguaggio in formule del pensiero puro, a imitazione di quello aritmetico". ...

{{F|programmazione|gennaio 2019}} Nei linguaggi di [[programmazione orientata agli oggetti]], il termine '''incapsulamento''' ({{Inglese|encaps ...

...ipletta di elementi di ''A'' e li combina in un ulteriore singolo elemento di ''A'' (che potrebbe anche coincidere con uno dei primi tre). Si può considerare come operatore ternario ogni funzioni di tre variabili in un dato insieme che assume i suoi valori nello stesso insi ...

...], e [[F Sharp|F#]]. Come sistema di riscrittura di termini, è [[Proprietà di normalizzazione (lambda-calcolo)|fortemente normalizzante]]. ...osto da variabili sulle funzioni e relativi binder, così il lambda calcolo di secondo ordine ha variabili sui ''tipi'' e relativi binder. ...

{{F|programmazione|febbraio 2013}} ...lori denotabili'', <code>'''DVal'''</code>), quali ad esempio le posizioni di memoria, le procedure, le [[funzione (informatica)|funzioni]]: ...

...lcolabili]] coincide con quella delle funzioni calcolabili da una macchina di Turing. La tesi di Church-Turing prende il nome dai matematici [[Alonzo Church]] e [[Alan Turi ...