acces mai rapid decât browser-ul!
13 relaţii: Automat finit, Automat finit nedeterminist, Închidere Kleene, Dacă și numai dacă, Expresie regulată, Ierarhia Chomsky, Lema de pompare, Limbaj formal, Limbaje independente de context, Mașină Turing, Relație de echivalență, Reuniune (matematică), Singleton (matematică).
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 regulat și Automat finit · Vezi mai mult »
Automat finit nedeterminist
Un automat finit nedeterminist (notat și "AFN") este un 5-uplu A.
Nou!!: Limbaj regulat și Automat finit nedeterminist · 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 regulat și Închidere Kleene · Vezi mai mult »
Dacă și numai dacă
În logică și domeniile conexe, ca matematică și filosofie, dacă și numai dacă este o expresie care se referă la un conector logic între propoziții cognitive în funcție de două condiții, care trebuie să fie ambele adevărate sau false.
Nou!!: Limbaj regulat și Dacă și numai dacă · Vezi mai mult »
Expresie regulată
Rezultatele unui match al șablonului (?.
Nou!!: Limbaj regulat ș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 regulat și Ierarhia Chomsky · Vezi mai mult »
Lema de pompare
În teoria limbajelor formale, o lemă de pompare spune că orice limbaj dintr-o clasă dată, dacă este "pompat", rămâne neschimbat.
Nou!!: Limbaj regulat și Lema de pompare · Vezi mai mult »
Limbaj formal
În matematică, logică, informatică și lingvistică un limbaj formal este o mulțime de cuvinte de lungime finită (șiruri de caractere) bazate pe un alfabet finit, și teoria științifică ce tratează aceste entități se numește teoria limbajelor formale.
Nou!!: Limbaj regulat și Limbaj formal · Vezi mai mult »
Limbaje independente de context
Un limbaj independent de context este un limbaj formal acceptat de un automat cu stivă.
Nou!!: Limbaj regulat și Limbaje independente de context · 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 regulat și Mașină Turing · Vezi mai mult »
Relație de echivalență
O relație de echivalență este o relație binară \equiv pe o mulțime, relație ce îndeplinește următoarele proprietăți.
Nou!!: Limbaj regulat și Relație de echivalență · Vezi mai mult »
Reuniune (matematică)
Reuniunea a două mulțimi:~A \cup B Reuniunea a trei mulțimi:~A \cup B \cup C Reuniunea mulțimilor A, B, C, D și E este totul, mai puțin suprafața albă În teoria mulțimilor, reuniunea (notată cu ∪) a unei colecții de mulțimi este mulțimea tuturor elementelor din colecție.
Nou!!: Limbaj regulat și Reuniune (matematică) · Vezi mai mult »
Singleton (matematică)
În matematică un singleton, cunoscut și sub numele de mulțime cu un singur element, este o mulțime formată din exact un element.
Nou!!: Limbaj regulat și Singleton (matematică) · Vezi mai mult »
