Indice
14 relazioni: Automa di Büchi, Estremo superiore e estremo inferiore, Insieme, Linguaggio formale, Linguaggio omega-regolare, Numero naturale, Numero ordinale (teoria degli insiemi), Numero reale, Problema decisionale, Relazione simmetrica, Sottostringa, Spazio metrico, Star di Kleene, Stringa (informatica).
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 Omega linguaggio e Automa di Büchi
Estremo superiore e estremo inferiore
In matematica, l'estremo superiore di un insieme E contenuto in un insieme ordinato X è il più piccolo elemento dei maggioranti di E. In modo duale, l'estremo inferiore di E è definito come il più grande elemento dei minoranti di E. Estremo superiore e inferiore possono appartenere ad E oppure no.
Vedere Omega linguaggio e Estremo superiore e estremo inferiore
Insieme
In matematica, una collezione di elementi rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque elemento fa parte o no del raggruppamento.
Vedere Omega linguaggio e Insieme
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 Omega linguaggio e Linguaggio formale
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 Omega linguaggio e Linguaggio omega-regolare
Numero naturale
In matematica i numeri naturali sono quei numeri usati per contare e ordinare. Nel linguaggio comune i "numeri cardinali" sono quelli usati per contare e i "numeri ordinali" sono quelli usati per ordinare.
Vedere Omega linguaggio e Numero naturale
Numero ordinale (teoria degli insiemi)
In matematica, i numeri ordinali costituiscono un'estensione dei numeri naturali che tiene conto anche di successioni infinite, introdotta da Georg Cantor nel 1897.
Vedere Omega linguaggio e Numero ordinale (teoria degli insiemi)
Numero reale
In matematica, i numeri reali possono essere descritti in maniera non formale come numeri ai quali è possibile attribuire uno sviluppo decimale finito o infinito, come pi.
Vedere Omega linguaggio e Numero reale
Problema decisionale
Un problema decisionale nell'ambito della matematica riguarda un problema di scelta in cui si deve prendere una decisione tra un elevato numero di soluzioni (ammissibili) alternative, sulla base di uno o più criteri.
Vedere Omega linguaggio e Problema decisionale
Relazione simmetrica
In matematica, una relazione binaria R in un insieme X è simmetrica se e solo se, presi due elementi qualsiasi a e b, vale che se a è in relazione con b allora anche b è in relazione con a. In simboli: Ad esempio, "è sposato/a con" è una relazione simmetrica, mentre "è figlio di" non lo è.
Vedere Omega linguaggio e Relazione simmetrica
Sottostringa
Una sottostringa, sottosequenza, prefisso o suffisso di una stringa è un sottoinsieme di simboli in una stringa, in cui l'ordine degli elementi è preservato.
Vedere Omega linguaggio e Sottostringa
Spazio metrico
Uno spazio metrico è un insieme di elementi, detti punti, nel quale è definita una distanza, detta anche metrica. Lo spazio metrico più comune è lo spazio euclideo di dimensione 1, 2 o 3.
Vedere Omega linguaggio e Spazio metrico
Star di Kleene
In logica matematica e in informatica, la stella di Kleene (o chiusura di Kleene, o operatore di Kleene) è un'operazione unaria definita su un insieme di stringhe o su un insieme di simboli o caratteri.
Vedere Omega linguaggio e Star di Kleene
Stringa (informatica)
Una stringa in informatica è una sequenza di caratteri con un ordine prestabilito. Sequenze di altri tipi di dato vengono chiamati vettori o, in inglese, array.
Vedere Omega linguaggio e Stringa (informatica)
Conosciuto come Ω-linguaggio.