Derivace $\Rightarrow^*$Mějme gramatiku $G=(V,T,P,S)$. |
Derivační stromMějme gramatiku $G=(V,T,P,S)$. \pojem{Derivační strom} pro $G$ je strom, kde: |
deterministický konečný automatDeterministický konečný automat (DFA) A = (Q,Σ,δ,q0 ,F) sestává z: |
Dvousměrné (dvoucestné) konečné automaty\pojem{Dvousměrným (dvoucestným) konečným automatem} nazýváme pětici $A=(Q,\Sigma, \delta, q_0,F)$, kde |
Dyckův jazyk\pojem{Dyckův jazyk} $D_n$ je definován nad abecedou $Z_n=\{a_1, a^|_1,\ldots,a_n, a^|_n\}$ následující gramatikou: $S\rightarrow \lambda| SS| a_1Sa_1^| | \ldots |a_nSa_n^| $. |