Читать книгу Teoria d'autòmats i llenguatges formals - Francesc Josep Ferri Rabasa - Страница 9
ОглавлениеSÍMBOLS UTILITZATS
| Relació binària d’equivalència. | |
| Classe d’equivalència de R que conté l’element a. | |
| Conjunt quocient del conjunt A induït per la relació R. | |
| Conjunt potència de A o conjunt parts de A. | |
| Ø | Conjunt buit, llenguatge buit. |
| ɛ | Cadena buida. |
| Símbol blanc. | |
| {ɛ} | Llenguatge format per la cadena buida. |
| Nombres enters: 0, 1, 2,. .. | |
| Congruència associada a un llenguatge L. | |
| Congruència associada a un autòmat A. | |
| Alfabets o vocacularis. | |
| Monoide lliure sobre X. | |
| Quocient (per la dreta) del llenguatge L1 pel llenguatge L2. | |
| a, b, c,... | Símbols terminals (en gramàtiques). |
| X, Y, Z,... | Símbols no terminals. |
| x, y, z,... | Cadenes de símbols no terminals. |
| u, v, w,... | Cadenes de símbols terminals. |
| α, β,... | Cadenes de símbols de qualsevol tipus. |
| q•, P• | Tancament èpsilon d’un estat o d’un conjunt d’estats. |
| x R | Inversió o reflexió de la cadena x. |
| α → β | Producció. |
| Derivació directa. | |
| Tancament i tancament transitiu de =K | |
| Implicació lògica. | |
| δ | Funció de transició. |
| Moviment. | |
| Computació (tancament transitiu de 1—). | |
| n-equivalència i equivalència entre estats. | |
| Reducció entre problemes. | |
| Reducció polinòmica entre problemes. | |
| Codificació (efectiva) de x. |
