«Соңғы автоматтар және формальдік тілдер теориясы»

НКА бойынша М ДКА М’ құру керек

Кесте 2.2 - ДКА M^′ өту функциясын өзгерту

2.2 Қорытынды жиын автоматында M^′ элементтерді қосамыз Z′ = {(A, N), (B, N), N}.

2.3 Келесі жаңа автоматтарды құрамыз M^′: (A, B)=С, (A, N)=D, (B, N)=E.

2.4 ДСА келесі бестік объектілер арқылы анықталады:

Q^′ = {S, A, B, C, D,E,N}, Т = {a, b}, өту функциясы кестеде көрсетілген 2.3,
H = {S},Z^′ = {N,D,E}.

ДКА алынған граф 2.1 суретте оң жағында көрсетілген.

Кесте 2.3 - ДКА M^′ өту функциясы

№ 2 зертханалық жұмысқа орындау тапсырмалары

Программалық қамсыздандыру ,келесі функциялар анықталады:

1. 
   кіру формалды грамматикасы және оны тексеретін жүйелік грамматикалар;
   
2. 
   Жүйелік грамматикадағы соңғы автоматтар;
   
3. 
   детерминалды емес соңғы автоматтың детерминалды автоматқа ауысуы;
   

4) экранға шығару жүйелік соңғы автомат графы.
Жеке нұсқалар тапсырмалары 2.4 кестесінде көрсетілген.

2.4 кесте - № 2 лабораторялық жұмыстың индивидуалды тапсырмасы