Cerca in:
Automi e linguaggi formali
Enciclopedia della Scienza e della Tecnica (2007)
Automi e linguaggi formali La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in [...] , e molti di essi si basano su idee che rientrano nel campo degli automi finiti e dei linguaggi formali. Uno dei più famosi è il metodo di Ziv-Lempel, che fattorizza l'ingresso in ... ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
La grande scienza. Automi e linguaggi formali
Storia della Scienza (2003)
Automi e linguaggi formali La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in [...] di questi algoritmi si basano su idee che rientrano nel campo degli automi finiti e dei linguaggi formali. Uno dei più famosi è il metodo di Ziv-Lempel che fattorizza l'input in ... ...
Leggi Tutto
semantica
Enciclopedia della Scienza e della Tecnica (2008)
semantica Studio delle proprietà delle teorie e dei linguaggi formali che, nella logica matematica, riguardano i rapporti tra espressioni linguistiche e loro interpretazioni. [...] del secolo scorso in cui vengono definite, per ampie classi di linguaggi, nozioni centrali come quelle di interpretazione, denotato, verità, soddisfazione, definibilità, modello ... ...
Leggi Tutto
linguàggio di programmazióne
Enciclopedia on line
linguàggio di programmazióne In informatica, insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un elaboratore affinché esegua compiti [...] e della Tecnica) concetti comuni a tutti i linguaggi Nonostante profonde differenze, formali e sostanziali, i linguaggi di programmazione si strutturano attorno a un certo insieme ... ...
Leggi Tutto
CATEGORIA:
PROGRAMMAZIONE E PROGRAMMI
semantica
Enciclopedia on line
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il [...] tarskiana è la s. classica a due valori (vero, falso). Un modello classico M per un linguaggio formale L è una coppia costituita da una funzione d’interpretazione I e da un ... ...
Leggi Tutto
lògica matemàtica
Enciclopedia on line
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. [...] fornito decisivi contributi all’unificazione dei diversi aspetti della ricerca logica. I linguaggi formali che la logica matematica utilizza hanno il ruolo di rendere esplicita la ... ...
Leggi Tutto
Italia
Enciclopedia on line
Italia Stato dell’Europa meridionale, corrispondente a una delle regioni naturali europee meglio individuate, data [...] anche in questo caso, se cambia il linguaggio dei critici e si allarga il loro orizzonte il segno è assunto come racconto puramente formale condotto con ritmi grafici. L’immagine ...
Leggi Tutto
Germania
Enciclopedia on line
Germania Stato dell’Europa centrale, confina a N con la Danimarca, [...] lo Hildebrandslied, carme eroico in un linguaggio misto sassone e bavarese. ● Un’ Jean Paul) prosatore ribelle a ogni costrizione formale; F. Hölderlin, di cui ricordiamo il ...
Leggi Tutto
logica
Enciclopedia on line
logica filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. [...] per una teoria è ottenuto assiomatizzando la teoria, trasformando il suo linguaggio in un linguaggio formale ed esplicitando gli assiomi e le regole logiche per costituire le ...
Leggi Tutto
Tarski, Alfred
Enciclopedia on line
Tarski 〈tàrsk'i〉, Alfred. - Logico, matematico e filosofo di origine polacca ( [...] della Scuola logica polacca, fu autore di fondamentali studi sulla semantica dei linguaggi formali, precisando i concetti di verità e di conseguenza logica e delimitandone il ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE