logo

Pārejas tabula

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:

Pārejas tabula

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:

Pārejas tabula

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.