Pārejas tabula būtībā ir pārejas funkcijas tabulas attēlojums. Tas aizņem divus argumentus (stāvokli un simbolu) un atgriež stāvokli (“nākamais stāvoklis”).
Pārejas tabulu attēlo šādas lietas:
- Kolonnas atbilst ievades simboliem.
- Rindas atbilst stāvokļiem.
- Ieraksti atbilst nākamajam stāvoklim.
- Sākuma stāvoklis ir apzīmēts ar bultiņu bez avota.
- Pieņemto stāvokli apzīmē ar zvaigznīti.
1. piemērs:
Risinājums:
Dotā DFA pārejas tabula ir šāda:
c
Pašreizējais stāvoklis | Nākamais statuss ievadei 0 | Nākamais 1. ievades stāvoklis |
---|---|---|
→q0 | q1 | q2 |
q1 | q0 | q2 |
*q2 | q2 | q2 |
Paskaidrojums:
- Iepriekš esošās tabulas pirmajā slejā ir norādīti visi pašreizējie stāvokļi. Zem kolonnas 0 un 1 tiek parādīti nākamie stāvokļi.
- Pāreju tabulas pirmo rindu var nolasīt kā, ja pašreizējais stāvoklis ir q0, ieejā 0 nākamais stāvoklis būs q1 un ievadei 1 nākamais stāvoklis būs q2.
- Otrajā rindā, kad pašreizējais stāvoklis ir q1, ieejā 0 nākamais stāvoklis būs q0, bet 1 ieejā nākamais stāvoklis būs q2.
- Trešajā rindā, kad pašreizējais stāvoklis ieejā 0 ir q2, nākamais stāvoklis būs q2, bet 1 ieejā nākamais stāvoklis būs q2.
- Bultiņa, kas apzīmēta ar q0, norāda, ka tas ir sākuma stāvoklis, un aplis, kas apzīmēts ar q2, norāda, ka tas ir beigu stāvoklis.
2. piemērs:
Risinājums:
Dotās NFA pārejas tabula ir šāda:
Pašreizējais stāvoklis | Nākamais statuss ievadei 0 | Nākamais 1. ievades stāvoklis |
---|---|---|
→q0 | q0 | q1 |
q1 | q1, q2 | q2 |
q2 | q1 | q3 |
*q3 | q2 | q2 |
Paskaidrojums:
jquery šo klikšķi
- Pāreju tabulas pirmo rindu var nolasīt kā, ja pašreizējais stāvoklis ir q0, ieejā 0 nākamais stāvoklis būs q0 un ievadei 1 nākamais stāvoklis būs q1.
- Otrajā rindā, kad pašreizējais stāvoklis ir q1, ieejā 0 nākamais stāvoklis būs vai nu q1, vai q2, un 1 ievadei nākamais stāvoklis būs q2.
- Trešajā rindā, kad pašreizējais stāvoklis ieejā 0 ir q2, nākamais stāvoklis būs q1, bet 1 ieejā nākamais stāvoklis būs q3.
- Ceturtajā rindā, kad pašreizējais stāvoklis ir q3 ieejā 0, nākamais stāvoklis būs q2, bet 1 ieejā nākamais stāvoklis būs q2.