Alfabetul concurentului

În teoria limbajelor formale , și în special în contextul limbajelor urme, un alfabet concurent este alcătuit dintr-o pereche $(\Sigma ,\theta )$ ${\ displaystyle (\ Sigma, \ theta)}$ ${\ displaystyle (\ Sigma, \ theta)}$ in care $\Sigma$ ${\ displaystyle \ Sigma}$ $\ Sigma$ reprezintă un alfabet generic și $\theta$ ${\ displaystyle \ theta}$ $\ theta$ reprezintă o relație binară pe $\Sigma$ ${\ displaystyle \ Sigma}$ $\ Sigma$ a spus raportul de independență . Având două simboluri $a,b\in \Sigma$ ${\ displaystyle a, b \ in \ Sigma}$ ${\ displaystyle a, b \ in \ Sigma}$ , de sine $(a,b)\in \theta$ ${\ displaystyle (a, b) \ in \ theta}$ ${\ displaystyle (a, b) \ in \ theta}$ se spune că $la$ ${\ displaystyle a}$ $la$ Și $b$ ${\ displaystyle b}$ $b$ sunt independenți.

Relația de independență $\theta$ ${\ displaystyle \ theta}$ $\ theta$ este definit ca o relație binară pe $\Sigma$ ${\ displaystyle \ Sigma}$ $\ Sigma$ antireflectiv și simetric . Faptul că, din punct de vedere al competiției, două simboluri $la$ ${\ displaystyle a}$ $la$ Și $b$ ${\ displaystyle b}$ $b$ independent poate fi procesat în orice ordine sau în paralel explică de ce $\theta$ ${\ displaystyle \ theta}$ $\ theta$ este definit astfel, de fapt:

un simbol nu poate fi elaborat concomitent cu el însuși (nereflectiv);
in caz $la$ ${\ displaystyle a}$ $la$ poate fi procesat concomitent cu $b$ ${\ displaystyle b}$ $b$ , același lucru trebuie să fie valabil și pentru $b$ ${\ displaystyle b}$ $b$ cu privire la $la$ ${\ displaystyle a}$ $la$ (simetrie).

Conceptul de alfabet concurent este o generalizare a conceptului de alfabet , care poate fi văzut ca un alfabet concurent cu o relație de independență goală.

Portal IT

Portalul de matematică