acces mai rapid decât browser-ul!
14 relaţii: Alfabet, Automat finit, Închidere Kleene, Expresie regulată, Ierarhia Chomsky, Informatică, Lingvistică, Logică, Mașină Turing, Matematică, Mulțime, Mulțime infinită, Număr prim, Problema deciziei.
Alfabet
În scriere, un alfabet, în limba greacă veche ἀλφάβητος alphábētos, din numele primelor două litere ale alfabetului grec, alfa (α) și beta (β), este un sistem de scriere compus dintr-o serie de semne grafice numite litere, în care fiecare corespunde, de regulă, unui fonem sau sunet, uneori unei suite relativ scurte de sunete ale unei limbiBussmann 1998, p. 45-46.
Nou!!: Limbaj formal și Alfabet · Vezi mai mult »
Automat finit
Fig.1 Automat finit Un automat finit (AF) sau o "mașină cu un număr finit de stări" este un model de comportament compus din stări, tranziții și acțiuni.
Nou!!: Limbaj formal și Automat finit · Vezi mai mult »
Închidere Kleene
În logica matematică și în informatică, închiderea Kleene (engleză: Kleene star) este o operație unară pe mulțimi de șiruri de simboluri sau caractere.
Nou!!: Limbaj formal și Închidere Kleene · Vezi mai mult »
Expresie regulată
Rezultatele unui match al șablonului (?.
Nou!!: Limbaj formal și Expresie regulată · Vezi mai mult »
Ierarhia Chomsky
Ierarhia Chomsky este o ierarhie de incluziune a claselor de gramatici formale care generează limbaje formale.
Nou!!: Limbaj formal și Ierarhia Chomsky · Vezi mai mult »
Informatică
Termenul informatică desemnează știința procesării sistematice a informației, în special a procesării cu ajutorul calculatoarelor.
Nou!!: Limbaj formal și Informatică · Vezi mai mult »
Lingvistică
Lingvistica este știința care studiază varietățile de limbaj natural și caracteristicile lor sau limba ca sistem comunicațional.
Nou!!: Limbaj formal și Lingvistică · Vezi mai mult »
Logică
Prin logică (din greaca veche λογική, logike) se înțelege folosirea rațiunii în realizarea anumitor activități.
Nou!!: Limbaj formal și Logică · Vezi mai mult »
Mașină Turing
O reprezentare artistică a unei ''Mașini Turing''. Mașinile Turing sunt mecanisme extrem de elementare de dispozitive de prelucrare a simbolurilor care — în ciuda simplității lor — pot fi adaptate pentru a simula logica oricărui calculator ce poate fi construit.
Nou!!: Limbaj formal și Mașină Turing · Vezi mai mult »
Matematică
Euclid, matematician grec, secolul al III-lea î.Hr., așa cum este reprezentat de către Rafael într-un detaliu al lucrării „Școala din Atena” Matematica (și matematici) este în general definită ca știința ce studiază relațiile cantitative, modelele de structură (relații calitative), spațiul și schimbarea.
Nou!!: Limbaj formal și Matematică · Vezi mai mult »
Mulțime
Mulțimea este unul dintre cele mai importante concepte ale matematicii moderne.
Nou!!: Limbaj formal și Mulțime · Vezi mai mult »
Mulțime infinită
În teoria mulțimilor, o mulțime infinită este o mulțime care conține un număr infinit de elemente, deci care nu este o mulțime finită.
Nou!!: Limbaj formal și Mulțime infinită · Vezi mai mult »
Număr prim
Un număr prim este un număr natural, mai mare decât 1, care are exact doi divizori pozitivi: numărul 1 și numărul în sine.
Nou!!: Limbaj formal și Număr prim · Vezi mai mult »
Problema deciziei
În matematică și informatică, problema deciziei, denumită și Entscheidungsproblem (din germană) este o provocare lansată de David Hilbert în 1928.
Nou!!: Limbaj formal și Problema deciziei · Vezi mai mult »
