Indice
14 relazioni: Automa a stati finiti, Automa di Büchi, Dottorato di ricerca, Indiana, Informatica teorica, Lafayette (Indiana), Linguaggio omega-regolare, Linguaggio regolare, Politecnico federale di Zurigo, Saunders Mac Lane, Svizzera, Teorema di Matijasevič, Teoria dei numeri, Università Purdue.
Automa a stati finiti
Un automa a stati finiti (ASF o FSA, dall'inglese finite state automaton, al plurale: f. s. automata) o macchina a stati finiti (FSM, dall'inglese finite state machine) è un modello matematico di calcolo: è un tipo di automa che permette di descrivere con precisione e in maniera formale il comportamento di molti sistemi.
Vedere Julius Richard Büchi e Automa a stati finiti
Automa di Büchi
In informatica teorica, un automa di Büchi è un ω-automa o automa finito che opera su parole di lunghezza infinita, con una particolare condizione di accettazione: una traccia ha successo se e solo se passa un numero infinito di volte per almeno uno stato accettante.
Vedere Julius Richard Büchi e Automa di Büchi
Dottorato di ricerca
Il dottorato di ricerca è il più alto grado di istruzione ed il massimo titolo di studio e ha come principale finalità quella di formare alla ricerca di alto livello e all'insegnamento accademico.
Vedere Julius Richard Büchi e Dottorato di ricerca
Indiana
L'Indiana (in lingua inglese) (sigla.
Vedere Julius Richard Büchi e Indiana
Informatica teorica
L'informatica teorica è una branca dell'informatica e della matematica che riguarda gli aspetti più astratti e matematici della computazione, come la teoria della computazione, la semantica della programmazione e la teoria della complessità computazionale.
Vedere Julius Richard Büchi e Informatica teorica
Lafayette (Indiana)
Lafayette è una città statunitense situata nello stato dell'Indiana, capoluogo della contea di Tippecanoe, a circa 101 chilometri a nord-ovest dalla capitale Indianapolis.
Vedere Julius Richard Büchi e Lafayette (Indiana)
Linguaggio omega-regolare
I linguaggi ω-regolari sono una classe di ω-linguaggi che generalizzano i linguaggi regolari a parole di lunghezza infinita. Richard Büchi dimostrò nel 1962 che i linguaggi ω-regolari sono precisamente quelle definibili in una particolare logica monadica del secondo ordine chiamata S1S.
Vedere Julius Richard Büchi e Linguaggio omega-regolare
Linguaggio regolare
In informatica teorica un linguaggio regolare è un linguaggio formale, ossia costituito da un insieme di stringhe costruite con un alfabeto finito, che è descritto da un'espressione regolare, generato da una grammatica generativa regolare (o di tipo 3, secondo la gerarchia di Chomsky) o accettato da un automa a stati finiti (automa a stati finiti deterministico o automa a stati finiti non deterministico).
Vedere Julius Richard Büchi e Linguaggio regolare
Politecnico federale di Zurigo
Il Politecnico federale di Zurigo, noto anche con la sigla ETH dalla denominazione ufficiale Eidgenössische Technische Hochschule Zürich, è considerato il più prestigioso istituto universitario politecnico della Svizzera e uno dei più importanti centri di ricerca al mondo.
Vedere Julius Richard Büchi e Politecnico federale di Zurigo
Saunders Mac Lane
Insieme a Samuel Eilenberg, ha fondato la teoria delle categorie, e si è distinto per i suoi contributi all'algebra astratta (in particolare l'algebra omologica) ed al suo insegnamento; viene da molti considerato uno dei più influenti matematici statunitensi del XX secolo.
Vedere Julius Richard Büchi e Saunders Mac Lane
Svizzera
La Svizzera (in tedesco Schweiz, in francese Suisse, in romancio Svizra), ufficialmente Confederazione Svizzera (in tedesco Schweizerische Eidgenossenschaft, in francese Confédération suisse, in romancio Confederaziun svizra) o Confederazione Elvetica (in latino Confœderatio HelveticaLa denominazione ufficiale latina Confœderatio Helvetica è stata adottata per non privilegiare una delle lingue ufficiali quando risulta difficoltoso riportare la denominazione ufficiale nelle quattro lingue ufficiali., abbreviata con l'acronimo CH), è uno Stato federale dell'Europa centrale, composto da 26 cantoni autonomi di cui 6 sono semicantoni.
Vedere Julius Richard Büchi e Svizzera
Teorema di Matijasevič
Il teorema di Matijasevič, dimostrato nel 1970 da Jurij Vladimirovič Matijasevič, implica che il decimo problema di Hilbert è irrisolvibile.
Vedere Julius Richard Büchi e Teorema di Matijasevič
Teoria dei numeri
Tradizionalmente, la teoria dei numeri è quel ramo della matematica pura che si occupa delle proprietà dei numeri interi e contiene molti problemi aperti la cui formulazione può essere compresa anche da chi non è un matematico.
Vedere Julius Richard Büchi e Teoria dei numeri
Università Purdue
L'Università Purdue (Purdue University) è un'università degli Stati Uniti, situata a West Lafayette, nello stato dell'Indiana. Fondata nel 1869 all'inizio della presidenza di Ulysses S. Grant, prende nome da John Purdue, che ha donato la terra e il denaro per la sua costituzione; iniziò l'attività accademica nel 1874, con 39 studenti e 6 professori, e l'insegnamento era dedicato alle attività meccaniche e agricole.