l'accesso più veloce di browser!
42 relazioni: Algebra di Boole, Anni 1940, Anni 1960, Anni 1980, Automa a stati finiti, De facto, Ed (Unix), Editor di testo, Funzione (matematica), Gerarchia di Chomsky, Grafo, Grammatica formale, Grep, Insieme vuoto, Interfaccia a riga di comando, Interprete (informatica), Intersezione (insiemistica), Java (linguaggio di programmazione), Ken Thompson, Libreria (software), Lingua inglese, Linguaggio di programmazione, Linguaggio formale, Linguaggio regolare, Metacarattere, Microsoft, Perl, POSIX, Posta elettronica, Programma (informatica), QED (editor di testo), Sed (Unix), Sintassi (informatica), Star di Kleene, Stringa (linguaggi formali), Tcl, Teorema di Kleene, Unicità, Unione (insiemistica), Unix, Wikipedia, ^txt2regex$.
Algebra di Boole
L'algebra di Boole (anche detta algebra booleana o reticolo booleano), in matematica e logica matematica, è il ramo dell'algebra in cui le variabili possono assumere solamente i valori vero e falso (valori di verità), generalmente denotati rispettivamente come 1 e 0.
Nuovo!!: Espressione regolare e Algebra di Boole · Mostra di più »
Anni 1940
Nessuna descrizione.
Nuovo!!: Espressione regolare e Anni 1940 · Mostra di più »
Anni 1960
Nessuna descrizione.
Nuovo!!: Espressione regolare e Anni 1960 · Mostra di più »
Anni 1980
Nessuna descrizione.
Nuovo!!: Espressione regolare e Anni 1980 · Mostra di più »
Automa a stati finiti
Un automa a stati finiti (ASF o FSA, dall'inglese Finite State Automata) o macchina a stati finiti (FSM dall'inglese Finite State Machine) è un tipo di automa che permette di descrivere con precisione e in maniera formale il comportamento di molti sistemi.
Nuovo!!: Espressione regolare e Automa a stati finiti · Mostra di più »
De facto
De facto ("di fatto", "in realtà") è una locuzione latina utilizzata nel linguaggio giuridico e in quello comune per indicare un elemento che è nella pratica in vigore (o in essere), pur non avendo un riconoscimento di carattere ufficiale.
Nuovo!!: Espressione regolare e De facto · Mostra di più »
Ed (Unix)
Ed è un editor di testo, standard originario per tale tipologia di programmi per il sistema operativo Unix.
Nuovo!!: Espressione regolare e Ed (Unix) · Mostra di più »
Editor di testo
Un editor di testo è un programma per la composizione di testi.
Nuovo!!: Espressione regolare e Editor di testo · Mostra di più »
Funzione (matematica)
In matematica, una funzione è una relazione tra due insiemi, chiamati dominio e codominio della funzione, che associa a ogni elemento del dominio uno e un solo elemento del codominio.
Nuovo!!: Espressione regolare e Funzione (matematica) · Mostra di più »
Gerarchia di Chomsky
La gerarchia di Chomsky è un insieme di classi di grammatiche formali che generano linguaggi formali.
Nuovo!!: Espressione regolare e Gerarchia di Chomsky · Mostra di più »
Grafo
Grafo (non orientato) con 6 nodi e 5 archi I grafi sono strutture matematiche discrete che rivestono interesse sia per la matematica che per un'ampia gamma di campi applicativi.
Nuovo!!: Espressione regolare e Grafo · Mostra di più »
Grammatica formale
In teoria dei linguaggi formali una grammatica formale è una struttura astratta che descrive un linguaggio formale in modo preciso, è cioè un sistema di regole che delineano matematicamente un insieme (di solito infinito) di sequenze finite di simboli (stringhe) appartenenti ad un alfabeto anch'esso finito.
Nuovo!!: Espressione regolare e Grammatica formale · Mostra di più »
Grep
In informatica grep (general regular expression print) è un comando dei sistemi Unix e Unix-like, e più in generale dei sistemi POSIX e GNU, che ricerca in uno o più file di testo le linee che corrispondono ad uno o più modelli specificati con espressioni regolari o stringhe letterali, e produce un elenco delle linee (o anche dei soli nomi di file) per cui è stata trovata corrispondenza.
Nuovo!!: Espressione regolare e Grep · Mostra di più »
Insieme vuoto
Nella teoria degli insiemi si indica con insieme vuoto quel particolare insieme che non contiene alcun elemento.
Nuovo!!: Espressione regolare e Insieme vuoto · Mostra di più »
Interfaccia a riga di comando
Una interfaccia a riga di comando (dall'inglese Command Line Interface, acronimo CLI) o anche console, a volte detta semplicemente riga di comando e, impropriamente, prompt dei comandi, in informatica indica una tipologia di interfaccia utente caratterizzata da un'interazione di tipo testuale tra utente ed elaboratore.
Nuovo!!: Espressione regolare e Interfaccia a riga di comando · Mostra di più »
Interprete (informatica)
Un interprete, in informatica e nella programmazione, è un programma in grado di eseguire altri programmi a partire direttamente dal relativo codice sorgente.
Nuovo!!: Espressione regolare e Interprete (informatica) · Mostra di più »
Intersezione (insiemistica)
In matematica, e in particolare in teoria degli insiemi, l'intersezione (simbolo \cap) di due insiemi A e B è l'insieme degli elementi che appartengono sia all'insieme A che all'insieme B contemporaneamente.
Nuovo!!: Espressione regolare e Intersezione (insiemistica) · Mostra di più »
Java (linguaggio di programmazione)
In informatica Java è un linguaggio di programmazione ad alto livello, orientato agli oggetti e a tipizzazione statica, specificatamente progettato per essere il più possibile indipendente dalla piattaforma di esecuzione.
Nuovo!!: Espressione regolare e Java (linguaggio di programmazione) · Mostra di più »
Ken Thompson
È un pioniere dell'informatica moderna, noto per il suo lavoro sul sistema operativo UNIX.
Nuovo!!: Espressione regolare e Ken Thompson · Mostra di più »
Libreria (software)
Una libreria, in Informatica, è un insieme di funzioni o strutture dati predefinite e predisposte per essere collegate ad un programma software attraverso un opportuno collegamento.
Nuovo!!: Espressione regolare e Libreria (software) · Mostra di più »
Lingua inglese
L'inglese (nome nativo English) è una lingua indoeuropea appartenente al ramo occidentale delle lingue germaniche, assieme all'olandese, all'alto e basso tedesco, al fiammingo e al frisone.
Nuovo!!: Espressione regolare e Lingua inglese · Mostra di più »
Linguaggio di programmazione
Un linguaggio di programmazione, in informatica, è un linguaggio formale che specifica un insieme di istruzioni che possono essere usate per produrre dati in output.
Nuovo!!: Espressione regolare e Linguaggio di programmazione · Mostra di più »
Linguaggio formale
Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito, cioè sopra un insieme finito di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere.
Nuovo!!: Espressione regolare e Linguaggio formale · Mostra di più »
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).
Nuovo!!: Espressione regolare e Linguaggio regolare · Mostra di più »
Metacarattere
Un metacarattere o carattere jolly o wild character o wildcard character è un carattere che, all'interno di una stringa, non rappresenta se stesso bensì un insieme di altri caratteri o sequenze di caratteri.
Nuovo!!: Espressione regolare e Metacarattere · Mostra di più »
Microsoft
Microsoft Corporation, (in precedenza Micro-soft Company e Microsoft Inc., detta comunemente per ellissi Microsoft) è una azienda d'informatica con sede a Redmond nello Stato di Washington (USA).
Nuovo!!: Espressione regolare e Microsoft · Mostra di più »
Perl
Perl è un linguaggio di programmazione ad alto livello, dinamico, procedurale e interpretato, creato nel 1987 da Larry Wall.
Nuovo!!: Espressione regolare e Perl · Mostra di più »
POSIX
In informatica, POSIX (o Posix: Portable Operating System Interface for Unix) è il nome che indica la famiglia degli standard definiti dall'IEEE denominati formalmente IEEE 1003.
Nuovo!!: Espressione regolare e POSIX · Mostra di più »
Posta elettronica
La posta elettronica (o e-mail, dall'inglese electronic mail) è un servizio Internet grazie al quale ogni utente abilitato può inviare e ricevere dei messaggi utilizzando un computer o altro dispositivo elettronico (es. palmare, smartphone, tablet, ecc.) connesso in rete attraverso un proprio account di posta registrato presso un provider del servizio.
Nuovo!!: Espressione regolare e Posta elettronica · Mostra di più »
Programma (informatica)
Un programma, in informatica,è un software che può essere eseguito da un elaboratore per ricevere in input determinati dati di un problema automatizzabile e restituirne in output le (eventuali) soluzioni.
Nuovo!!: Espressione regolare e Programma (informatica) · Mostra di più »
QED (editor di testo)
QED è un editor di testo orientato alla linea.
Nuovo!!: Espressione regolare e QED (editor di testo) · Mostra di più »
Sed (Unix)
sed (abbreviazione dalla lingua inglese di stream editor, editor di flusso) è un comando dei sistemi operativi Unix e Unix-like, e più in generale dei sistemi POSIX, che consente il filtraggio e la manipolazione di testi.
Nuovo!!: Espressione regolare e Sed (Unix) · Mostra di più »
Sintassi (informatica)
In informatica, la sintassi di un linguaggio di programmazione o di un altro linguaggio formale (di markup, di query e così via) è l'insieme delle regole che una porzione di codice deve seguire per essere considerata conforme a quel linguaggio.
Nuovo!!: Espressione regolare e Sintassi (informatica) · Mostra di più »
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.
Nuovo!!: Espressione regolare e Star di Kleene · Mostra di più »
Stringa (linguaggi formali)
Nella teoria dei linguaggi formali, una stringa è una sequenza composta da un certo numero di oggetti che ci si aspetta venga sottoposta ad elaborazioni come analisi, composizioni e trasformazioni in altre stringhe o strutture discrete come grafi o configurazioni numeriche, senza modificare gli oggetti componenti.
Nuovo!!: Espressione regolare e Stringa (linguaggi formali) · Mostra di più »
Tcl
In informatica Tcl (acronimo di Tool Command Language), è un linguaggio di scripting creato da John Ousterhout generalmente considerato di facile apprendimento (rispetto ai linguaggi della sua generazione), ma allo stesso tempo potente.
Nuovo!!: Espressione regolare e Tcl · Mostra di più »
Teorema di Kleene
Il Teorema di caratterizzazione degli automi finiti di Kleene afferma che i linguaggi regolari, cioè i linguaggi accettati da un riconoscitore di Rabin e Scott (RSR), sono tutti e soli i linguaggi a stati finiti ottenuti con una operazione di chiusura.
Nuovo!!: Espressione regolare e Teorema di Kleene · Mostra di più »
Unicità
In matematica e logica, l'unicità di un elemento nel soddisfare una certa proprietà sta nel fatto che qualunque oggetto che soddisfi tale proprietà è uguale all'elemento di partenza.
Nuovo!!: Espressione regolare e Unicità · Mostra di più »
Unione (insiemistica)
In matematica, e in particolare in teoria degli insiemi, esiste un'operazione detta unione (simbolo \cup) di insiemi.
Nuovo!!: Espressione regolare e Unione (insiemistica) · Mostra di più »
Unix
Unix (registrato ufficialmente come UNIX) è un sistema operativo portabile per computer inizialmente sviluppato da un gruppo di ricerca dei laboratori AT&T e Bell Laboratories, nel quale figurarono sulle prime anche Ken Thompson e Dennis Ritchie.
Nuovo!!: Espressione regolare e Unix · Mostra di più »
Wikipedia
Wikipedia (pronuncia: vedi sotto) è un'enciclopedia online a contenuto libero, collaborativa, multilingue e gratuita, nata nel 2001, sostenuta e ospitata dalla Wikimedia Foundation, un'organizzazione non a scopo di lucro statunitense.
Nuovo!!: Espressione regolare e Wikipedia · Mostra di più »
^txt2regex$
^txt2regex$ è un programma che, tramite una procedura guidata, permette di creare espressioni regolari semplicemente ponendo una sequenza di domande.
Nuovo!!: Espressione regolare e ^txt2regex$ · Mostra di più »
Riorienta qui:
Espressioni regolari, RegExp, Regex, Regexp, Regular expression.
