Rezultatele căutării

...[[Limbaje formale|limbajele formale]], '''convoluția''' (câteodată numită și '''zip''') este o funcție care pune în corespondență o listă de caractere d Fie Σ un alfabet și # un simbol care nu aparține lui Σ. ...

Un '''limbaj independent de context''' este un [[limbaje formale|limbaj formal]] acceptat de un [[automat cu stivă]]. Limbajele independente ...ri. <math>L</math> este generat de gramatica <math>S\to aSb ~|~ ab</math>, și este acceptat de automatul cu stivă <math>M=(\{q_0,q_1,q_f\}, \{a\}, \{a,b, ...

și [[Categorie:Limbaje formale și automate]] ...

...ale care generează [[limbaje formale]]. Ierarhia acestor gramatici, numite și ''gramatici de structură a frazelor'', a fost descrisă de [[Noam Chomsky]] == Gramatici formale == ...

...ratează limbajele formale în sensul de limbaj studiat de teoria limbajelor formale. Un exemplu de alfabet poate fi <math>\left \{ a , b \right \}</math>, și un șir peste acest alfabet ar putea fi <math>ababba</math>. ...

...care a fost introdus de [[Stephen Kleene]] pentru a caracteriza anumite [[automate]]. ...te definit ca cel mai mic superset al lui ''V'' care conține ε (șirul vid) și este închis în raport cu operația de concatenare. Această mulțime poate fi ...

== Limbaje regulate peste un alfabet == ...narea) și <math>A^{*}</math> ([[Închidere Kleene|închiderea Kleene]]) sunt limbaje regulate. ...

...ul respectiv. Astfel, dacă există o lemă de pompare pentru o clasă dată de limbaje, majoritatea limbajelor din acea clasă va conține o mulțime infinită de șir ...losite pentru a determina dacă un limbaj '''face''' parte dintr-o clasă de limbaje, deoarece satisfacerea lemei de pompare este o condiție necesară, dar nu su ...

...], [[genetică]]. Un alfabet poate avea orice [[număr cardinal]] („mărime”) și, în funcție de scopul său, poate fi [[Mulțime finită|finit]] (de exemplu, a ...lfabetul binar]]''' și „00101111” este un exemplu de șir binar. Pot exista și [[Șir (matematică)|șiruri]] infinite de simboluri. ...

...ritm face parte din demonstrația faptului că ambele acceptă exact aceleași limbaje, [[Limbaj regulat|limbajele regulate]]. ...respunzător cu o expresie regulată dată. Cu toate acestea, un AFN poate fi și {{Ill-wd|Q617295|3=interpretat direct}}. ...

...care sunt legate de întrebarea: „''care sunt capabilitățile fundamentale și limitările calculatoarelor?”.''<ref name="Sipser-3rd">{{cite book|author={{ ...formulat, poate fi analizată și utilizată pentru a demonstra rezultatele, și pentru că ea reprezintă ceea ce mulți consideră a fi cel mai puternic posib ...

...atica teoretică, '''teoria automatelor''' este studiul mașinilor abstracte și al problemelor rezolvabile de acestea. Teoria automatelor este în legătură o mulțime nenumărabilă și infinită de stări, deoarece această mulțime este cea a punctelor din spațiu ...

...stemului până în momentul de față. O tranziție indică o schimbare de stare și este descrisă de o condiție care este nevoie să fie îndeplinită pentru a de ;Acțiune de intrare de date: acțiune executată în funcție de starea prezentă și de datele de intrare ...

Se caută cel puțin două spații, dar numai dacă apar imediat după un punct (.) și înainte de o literă mare.]] ...oritmii de căutare pe șiruri}} pentru operațiuni de „căutare” sau „căutare și înlocuire” pe {{Ill-wd|Q184754|3=șiruri de caractere}}. ...

...24|3=problemelor de calcul}} în funcție de resursele pe care le utilizează și pe analiza relațiilor dintre aceste clase. O problemă de calcul este un tas ...e a ceea ce pot și nu pot face calculatoarele. [[Clasele de complexitate P și NP|Problema P versus NP]], una dintre cele șapte {{Ill-wd|Q727000|3=problem ...